Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
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
Copyright © 2012-2025 easychair.org. All rights reserved.