Showing 21 - 40 of 1,800

21

A decision support model for handling customer orders in business chain
Paweł Sitek ; Jarosław Wikarek ; Grzegorz Bocewicz ; et al.
Sitek, P, Wikarek, J, Bocewicz, G & Nielsen, I 2022, 'A decision support model for handling customer orders in business chain', Neurocomputing, vol. 482, pp. 298-309. https://doi.org/10.1016/j.neucom.2021.06.099

Dedicated genetic algori... Constraint logic program... Business chain 0211 other engineering a... 0202 electrical engineer... Constraint handling proc...
Academic journal
Save to List
22

An Enhanced Memetic Algorithm for Feature Selection in Big Data Analytics with MapReduce
Nandhagopal Nachimuthu ; Umanesan Ramakrishnan
Intelligent Automation & Soft Computing. 31:1547-1559

FOS: Computer and inform... Artificial intelligence Hyperparameter Optimizat... Support vector machine Learning and Inference i... Economics
Academic journal
Save to List
23

A Hybrid Smart Quantum Particle Swarm Optimization for Multimodal Electromagnetic Design Problems
Shah Fahad ; Shiyou Yang ; Shafi Ullah Khan ; et al.
IEEE Access, Vol 10, Pp 72339-72347 (2022)

Optimization Artificial intelligence Economics Wireless Energy Harvesti... Premature convergence Stochastic programming
Academic journal
Save to List
24

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
Joseph W. N. Paulus ; Daniele Nantes-Sobrinho ; Jorge A. Pérez
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)

FOS: Computer and inform... Computer Science - Logic... Artificial intelligence Logic Linear logic 0102 computer and inform...
Academic journal
Save to List
25

Deep ST
Thomas Macaulay Ferguson ; Elisángela Ramírez-Cámara
Journal of Philosophical Logic. 51:1261-1293

Artificial intelligence Separation Logic Economics Abstract Interpretation 0603 philosophy, ethics... 01 natural sciences
Academic journal
Save to List
26

Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra
Cristiá, Maximiliano ; Katz, Ricardo David ; Rossi, Gianfranco
The Computer Journal. 65:1891-1903

FOS: Computer and inform... Computer Science - Logic... AUTOMATED PROOFS CONSTRAINT LOGIC PROGRAM... 0202 electrical engineer... SET THEORY
Academic journal
Save to List
27

An island-based hybrid evolutionary algorithm for caloric-restricted diets
Carolina Ribeiro Xavier ; João Gabriel R. Silva ; Grasiele Regina Duarte ; et al.
Evolutionary Intelligence. 16:553-564

Artificial intelligence Weight loss Variety (cybernetics) Geometry 02 engineering and techn... Constraint satisfaction
Academic journal
Save to List
28

A hybrid FJA-ALNS algorithm for solving the multi-compartment vehicle routing problem with a heterogeneous fleet of vehicles for the fuel delivery problem
Seekharin Sukto ; Wasana Chowmali
Decision Science Letters, Vol 10, Iss 4, Pp 497-510 (2021)

Vehicle Routing Problem... Hybrid Algorithms 0211 other engineering a... FOS: Mechanical engineer... Social Sciences Stochastic programming
Academic journal
Save to List
29

Multi-Robot Space Exploration: An Augmented Arithmetic Approach
Faiza Gul ; Imran Mir ; Laith Abualigah ; et al.
IEEE Access, Vol 9, Pp 107738-107750 (2021)

Artificial intelligence Computer Networks and Co... Robot Robot Navigation Astronomy FOS: Political science
Academic journal
Save to List
30

Towards an Inductive Logic Programming Approach for Explaining Black-Box Preference Learning Systems
D'Asaro, Fabio A. ; Spezialetti, Matteo ; Raggioli, Luca ; et al.
Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning. :855-859

0202 electrical engineer... Explainable AI, Logic pr... 02 engineering and techn...
Academic journal
Save to List
31

SMT solving for the validation of B and Event-B models
Schmidt, Joshua ; Leuschel, Michael
International Journal on Software Tools for Technology Transfer. 24(6):1043-1077

Academic journal
Save to List
32

Reason to Explain: Interactive Contrastive Explanations (REASONX)
Laura State ; Salvatore Ruggieri ; Franco Turini
Communications in Computer and Information Science ISBN: 9783031440632
Communications in Computer and Information Science, Explainable Artificial Intelligence
Communications in Computer and Information Science
Communications in Computer and Information Science-Explainable Artificial Intelligence

Computer Science - Symbo... FOS: Computer and inform... Computer Science - Compu... Computer Science - Machi... Artificial Intelligence... explainable AI
Book
Save to List
33

DefTab : A Tableaux System for Sceptical Consequence in Default Modal Logics
Carlos Areces ; Valentín Cassano ; Raul Fervari ; et al.
Lecture Notes in Computer Science ISBN: 9783031435126

Multimodal logic Quantum mechanics Description Logics Database Theoretical computer sci... Logic Programming and Kn...
Book
Save to List
34

Automated Tail Bound Analysis for Probabilistic Recurrence Relations
Yican Sun ; Hongfei Fu ; Krishnendu Chatterjee ; et al.
Lecture Notes in Computer Science ISBN: 9783031377082

FOS: Computer and inform... Artificial intelligence Regular Expressions Automata Theory and Form... Runtime Verification Computer science
Book
Save to List
35

A Non-Termination Criterion for Binary Constraint Logic Programs
Payet, Etienne ; Mesnard, Frédéric ; Laboratoire d'Informatique et de Mathématiques (LIM) ; et al.
Theory and Practice of Logic Programming. 9(2):145-164

constraints constraint logic program... non-termination [MATH]Mathematics [math] [INFO]Computer Science [...
Journal
Save to List
36

Dischargeable Obligations in the 𝒮CIFF Framework
Alberti M. ; Gavanelli M. ; Lamma E. ; et al.
Fundamenta Informaticae. 176:321-348

Abductive Logic Programm... Constraint Logic Program... Dischargement of expecta... Normative reasoning 0102 computer and inform... 16. Peace & justice
Academic journal
Save to List
37

When the Decomposition Meets the Constraint Satisfaction Problem
Youcef Djenouri ; Djamel Djenouri ; Zineb Habbas ; et al.
IEEE Access, Vol 8, Pp 207034-207043 (2020)
207034-207043
IEEE Access

Artificial intelligence Decomposition method (qu... Data Stream Management S... GPU Distributed Constraint O... 0211 other engineering a...
Academic journal
Save to List
38

A Two-Loop Hybrid Method for Optimal Placement and Scheduling of Switched Capacitors in Distribution Networks
Amirreza Jafari ; Hamed Ganjeh Ganjehlou ; Tohid Khalili ; et al.
IEEE Access, Vol 8, Pp 38892-38906 (2020)

Optimization Artificial intelligence Exchange market algorith... General Computer Science AC power Control (management)
Academic journal
Save to List
39

Hybrid Nature-Inspired Optimization Algorithm: Hydrozoan and Sea Turtle Foraging Algorithms for Solving Continuous Optimization Problems
Daranat Tansui ; Arit Thammano
IEEE Access, Vol 8, Pp 65780-65800 (2020)

Artificial intelligence 0209 industrial biotechn... nature-inspired algorith... Turtle (robot) 02 engineering and techn... Constraint satisfaction
Academic journal
Save to List
40

Proactive and reactive approach to employee competence configuration problem in planning and scheduling processes
Wikarek, Jarosław ; Sitek, Paweł
Applied Intelligence: The International Journal of Research on Intelligent Systems for Real Life Complex Problems. 52(3):3445-3464

Academic journal
Save to List

Filter