• Search: "constraint logic programming"

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
Search Tools: Get RSS Feed Email this Search Save Search

Filter