Keyword:logic programming

Publications
(Higher -Order ) Equational Unification as Logic Programming Murat Si̇nan Aygün EasyChair Preprint 15677
Artificial Intelligence Programming with Prolog Poli Venkatasubba Reddy EasyChair Preprint 11748
Natural Language Processing for Sanskrit Language Using Logic Programming Venkata Subba Reddy Poli EasyChair Preprint 10186
Towards Legally and Ethically Correct Online HTN Planning for Data Transfer Hisashi Hayashi and Ken Satoh EasyChair Preprint 8550
Fuzzy Temporal Predicate Logic for Incomplete Information Venkata Subba Reddy Poli EasyChair Preprint 3558
Logic Programming with Bounded Quantifiers Andrei Voronkov EasyChair Preprint 3169
Epistemic Logic Programs with World View Constraints Patrick Kahl and Anthony Leclerc EasyChair Preprint 231
A Survey of Advances in Epistemic Logic Program Solvers Anthony Leclerc and Patrick Kahl EasyChair Preprint 220
Top-down and Bottom-up Evaluation Procedurally Integrated David Scott Warren EasyChair Preprint 206
Syntactic Conditions for Antichain Property in Consistency Restoring Prolog Vu Phan EasyChair Preprint 176
Automated Theorem Provers Help Improve Large Language Model Reasoning Lachlan McGinness and Peter Baumgartner In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Automated Theorem Proving for Prolog Verification Fred Mesnard, Thierry Marianne and Etienne Payet In:LPAR 2024 Complementary Volume
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
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 Saldanha, Steffen Hölldobler, Sibylle Schwarz and Lim Yohanes Stefanus In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
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