Keyword:logic programming

Papers
Fuzzy Temporal Predicate Logic for Incomplete Information Venkata Subba Reddy Poli EasyChair Preprint no. 3558
Towards Legally and Ethically Correct Online HTN Planning for Data Transfer Hisashi Hayashi and Ken Satoh EasyChair Preprint no. 8550
An ASP-based Approach for Boolean Networks Representation and Attractor Detection Tarek Khaled and Belaid Benhamou In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Decision levels are stable: towards better SAT heuristics Robert Nieuwenhuis, Adrià Lozano, Albert Oliveras and Enric Rodríguez-Carbonell In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Logic Programming with Bounded Quantifiers Andrei Voronkov EasyChair Preprint no. 3169
Symmetry breaking in a new stable model search method Tarek Khaled and Belaid Benhamou In:LPAR-22 Workshop and Short Paper Proceedings
The Weak Completion Semantics and Equality Emmanuelle-Anna Dietz, Steffen Hölldobler, Sibylle Schwarz and L. Yohanes Stefanus In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Epistemic Logic Programs with World View Constraints Patrick Kahl and Anthony Leclerc EasyChair Preprint no. 231
A Survey of Advances in Epistemic Logic Program Solvers Anthony Leclerc and Patrick Kahl EasyChair Preprint no. 220
Top-down and Bottom-up Evaluation Procedurally Integrated David Scott Warren EasyChair Preprint no. 206
Syntactic Conditions for Antichain Property in Consistency Restoring Prolog Vu Phan EasyChair Preprint no. 176
On Conditionals Emmanuelle-Anna Dietz, Steffen Hölldobler and Luís Moniz Pereira In:GCAI 2015. Global Conference on Artificial Intelligence
An Operational Semantics for Network Datalog Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo and Andre Scedrov In:LAM'10. 3rd International Workshop on Logics, Agents, and Mobility