Showing 1 - 20 of 19,248

1

Recurrent Pairs Revisited
Payet, Etienne ; Laboratoire d'Informatique et de Mathématiques (LIM) ; Université de La Réunion (UR) ; et al.
35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR). :154-164

Rende, Italy Logic Programming Term Rewriting Non-Looping Non-Termination [INFO.INFO-LO]Computer S...
Conference
Save to List
2

No Cliques Allowed: The Next Step Towards BDD/FC Conjecture
Larroque, Lucas ; Ostropolski-Nalewaja, Piotr ; Thomazo, Michaël ; et al.
PODS 2025 - ACM SIGMOD/PODS International Conference on Management of Data. :1-20

Berlin, Germany FUS CCS Concepts: Theory of... Existential Rules Finite unification sets Bounded Derivation Depth...
Conference
Save to List
3

Non-Termination of Logic Programs Using Patterns
Payet, Etienne ; Laboratoire d'Informatique et de Mathématiques (LIM) ; Université de La Réunion (UR)
Theory and Practice of Logic Programming. :1-17

Unfolding Logic Programming Non-Loops Non-Termination Non-Termination Non-Loop... Non-Termination, Non-Loo...
Journal
Save to List
4

On the Trap Space Semantics of Normal Logic Programs
Trinh, Van-Giang ; Soliman, Sylvain ; Fages, François ; et al.
ICLP 2025 - 41st International Conference on Logic Programming, Sep 2025, Rende, Italy

Rende, Italy trap space semantics of negation canonical model infinite structure three-valued model
Conference
Save to List
5

Counterfactual Explanations for Dynamic Multi-Valued Logic
Ribeiro, Tony ; Folschette, Maxime ; Magnin, Morgan ; et al.
Special Interest Group on Fundamental Problems in Artificial Intelligence 2025 (SIG-FPAI), Aug 2025, Toyama, Japan

Toyama, Japan counterfactual explanati... dynamic systems logical modeling inductive logic programm... Explainable artificial i...
Conference
Save to List
6

A new Constraint Programming model for the Multiple Constant Multiplication
Cantaloube, Théo ; Peng, Xiao ; Solnon, Christine ; et al.

Glasgow, United Kingdom Constraint and logic pro... Constraint Programming Theory of computation Multiple Constant Multip... Hardware Optimization
Conference
Save to List
7

Graphical conditions for the existence, unicity and number of regular models
Trinh, Van-Giang ; Benhamou, Belaid ; Soliman, Sylvain ; et al.
ICLP 2024 - 40th International Conference on Logic Programming. :175-187

Dallas, United States semantics of negation canonical model three-valued model Datalog abstract argumentation
Conference
Save to List
8

Computing Thermodynamically Consistent Elementary Flux Modes with Answer Set Programming
Crisci, Emma ; Mahout, Maxime ; Peres, Sabine ; et al.
CMSB 2024 - 22nd International Conference Computational Methods in Systems Biology. :80-88

Pise, Italy Metabolic Networks Elementary flux modes Logic programming Thermodynamics [INFO.INFO-BI]Computer S...
Conference
Save to List
9

Higher-Order unification for free!
Higher-Order unification for free!: Reusing the meta-language unification for the object language

Fissore, Davide ; Tassi, Enrico ; Sûreté du logiciel et Preuves Mathématiques Formalisées (STAMP) ; et al.
PPDP 2024: 26th International Symposium on Principles and Practice of Declarative Programming. :1-13

Milan, Italy Logic Programming Meta-Programming Higher-Order Unification [INFO]Computer Science [...
Conference
Save to List
10

Finite Groundings for ASP with Functions: A Journey through Consistency
Gerlach, Lukas ; Carral, David ; Hecher, Markus ; et al.
IJCAI 2024 - 33rd International Joint Conference on Artificial Intelligence. :3386-3394

Jeju, South Korea Decidability ASP Non-monotonic reasoning Logic programming Knowledge representation...
Conference
Save to List
11

Programming Directional Strand Polymerization on DNA Origami for Logic Computing.
Li, Zimu ; Hao, Yaya ; Tang, Yuqing ; et al.
Small Structures. Oct2025, Vol. 6 Issue 10, p1-11. 11p.

DNA nanotechnology LOGIC programming SINGLE molecule detectio... BIOSENSORS MOLECULAR self-assembly REACTION mechanisms (Che...
Academic journal
Save to List
12

Semantic Analysis of Normalisation for Directional Logic Programming
Choudhury, Vikraman ; Krishnaswami, Neel ; Suo, Ariadne, Si ; et al.
WITS 2025 - Fourth Workshop on the Implementation of Type Systems, ACM, Jan 2025, Denver (Colorado), United States

Denver (Colorado), Unite... classical linear logic categorical semantics directional logic progra... bidirectional typechecki... [INFO.INFO-PL]Computer S...
Conference
Save to List
13

Counterfactual Explanations Under Learning From Interpretation Transitions
Ribeiro, Tony ; Folschette, Maxime ; Magnin, Morgan ; et al.

Explainable artificial i... inductive logic programm... logical modeling dynamic systems counterfactual explanati... [INFO]Computer Science [...
Electronic Resource
Save to List
14

Counterfactual Explanations for Learning From Interpretation Transitions
Ribeiro, Tony ; Folschette, Maxime ; Magnin, Morgan ; et al.

Explainable artificial i... inductive logic programm... logical modeling dynamic systems counterfactual explanati... [INFO]Computer Science [...
Electronic Resource
Save to List
15

A novel object-oriented Petri net framework with logic programming for discrete and continuous event simulations.
Hocaoğlu, Mehmet Fatih
Simulation. Sep2025, Vol. 101 Issue 9, p951-979. 29p.

PETRI nets LOGIC programming SCHEDULING SIMULATION methods & mod... DISCRETE event simulatio... MODULAR design
Academic journal
Save to List
16

Program Synthesis Using Inductive Logic Programming for the Abstraction and Reasoning Corpus.
Marinho Rocha, Filipe ; Dutra, Inês ; Santos Costa, Vítor ; et al.
Intelligenza Artificiale. Aug2025, Vol. 19 Issue 2, p85-101. 17p.

LOGIC programming GENERALIZATION ARTIFICIAL intelligence INDUCTION (Logic) DOMAIN-specific programm... COGNITIVE ability
Academic journal
Save to List
17

Integration of Multi-Agent Simulation and Logic Programming Language: Initial Challenges in Traffic Simulation
Yoshizoe, Mamoru ; Hattori, Hiromitsu ; College of Information Science and Engineering, Ritsumeikan University ; et al.
GAMA Days 2024, Nov 2024, Online, France

Online, France Logic Programming Fine-Grained Agent Model... Traffic Simulation [INFO]Computer Science [... [INFO.INFO-AI]Computer S...
Conference
Save to List
18

Comment gagner : expliquer les bonnes trajectoires
Kazi Aoual, Malik ; Rouveirol, Céline ; Soldano, Henry ; et al.
CNIA 2023 - Conférence Nationale en Intelligence Artificielle. :20-30

Strasbourg, France Explanation Inductive Logic Programm... Abduction Explications Programmation Logique In...
Conference
Save to List
19

An intelligent data-driven model for sustainable-resilient supplier scrutiny and selection in sustainable reconfigurable manufacturing systems
Gholami, Hamed ; Delorme, Xavier ; Dolgui, Alexandre ; et al.
International Journal of Production Research. :1-25

fuzzy logic programming artificial intelligence data-driven decision-mak... supplier selection sustainable supply chain... Reconfigurable manufactu...
Journal
Save to List
20

Versioning Virtual Reconstruction Hypotheses: Revealing Counterfactual Trajectories of the Fallen Voussoirs of Notre-Dame de Paris using Reasoning and 2D/3D Visualization ⋆
Guillem, Anaïs ; Samuel, John ; Gesquière, Gilles ; et al.
ESWC 2024, May 2024, Hersonisos - Crète, Greece

Hersonisos - Crète, Gree... Virtual reconstruction N... Virtual reconstruction Notre-Dame de Paris argumentation scientific narrative
Conference
Save to List

Filter