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