Strongly equivalent logic programs
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Nested expressions in logic programs
Annals of Mathematics and Artificial Intelligence
Encodings for Equilibrium Logic and Logic Programs with Nested Expressions
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Strong Equivalence for Logic Programs and Default Theories (Made Easy)
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Tableau Calculi for the Logics of Finite k-Ary Trees
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Computing Equilibrium Models Using Signed Formulas
CL '00 Proceedings of the First International Conference on Computational Logic
A three-valued characterization for strong equivalence of logic programs
Eighteenth national conference on Artificial intelligence
Characterization of strongly equivalent logic programs in intermediate logics
Theory and Practice of Logic Programming
Weight constraints as nested expressions
Theory and Practice of Logic Programming
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming
Strongly Equivalent Temporal Logic Programs
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Meta Level Reasoning and Default Reasoning
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Rule Calculus: Semantics, Axioms and Applications
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Twelve Definitions of a Stable Model
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Partial Functions and Equality in Answer Set Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Quantified Equilibrium Logic and Foundations for Answer Set Programs
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Strong equivalence of logic programs under the infinite-valued semantics
Information Processing Letters
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
On Reductive Semantics of Aggregates in Answer Set Programming
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Well-Founded and Partial Stable Semantics Logical Aspects
CSR '09 Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications
The modal logic S4F, the default logic, and the logic here-and-there
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Generalizing Boolean satisfiability I: background and survey of existing work
Journal of Artificial Intelligence Research
A new perspective on stable models
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
From answer set logic programming to circumscription via logic of GK
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2
Theory and Practice of Logic Programming
Answer Sets in a Fuzzy Equilibrium Logic
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
A characterization of strong equivalence for logic programs with variables
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Quantified equilibrium logic and hybrid rules
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Temporal equilibrium logic: a first approach
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Annals of Mathematics and Artificial Intelligence
A normal form for linear temporal equilibrium logic
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Stable models and circumscription
Artificial Intelligence
From answer set logic programming to circumscription via logic of GK
Artificial Intelligence
Formalising the Fisherman's Folly puzzle
Artificial Intelligence
Logic programs with propositional connectives and aggregates
ACM Transactions on Computational Logic (TOCL)
A logical characterisation of ordered disjunction
AI Communications - Answer Set Programming
Functional answer set programming
Theory and Practice of Logic Programming
Thirteen definitions of a stable model
Fields of logic and computation
Loop formulas for splitable temporal logic programs
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Back and forth between rules and SE-models
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Contingency-based equilibrium logic
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
STeLP: a tool for temporal answer set programming
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
The modal logic of equilibrium models
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
On modular translations and strong equivalence
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Answer sets for propositional theories
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Nested epistemic logic programs
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Routley semantics for answer sets
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
On the logic and computation of partial equilibrium models
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Reducing propositional theories in equilibrium logic to logic programs
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Ordered completion for first-order logic programs on finite structures
Artificial Intelligence
Strong negation in well-founded and partial stable semantics for logic programs
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
Analysing and extending well-founded and partial stable semantics using partial equilibrium logic
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Datalog programs and their stable models
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Interpolable formulas in equilibrium logic and answer set programming
Journal of Artificial Intelligence Research
Conflict-driven answer set solving: From theory to practice
Artificial Intelligence
First-order extension of the FLP stable model semantics via modified circumscription
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains
ACM Transactions on Computational Logic (TOCL)
Automata-Based computation of temporal equilibrium models
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
To vladimir lifschitz on his 65th birthday
Correct Reasoning
Here and there among logics for logic programming
Correct Reasoning
Strong equivalence of RASP programs
Correct Reasoning
Correct Reasoning
Connecting first-order ASP and the logic FO(ID) through reducts
Correct Reasoning
Tableau Calculi for Logic Programs under Answer Set Semantics
ACM Transactions on Computational Logic (TOCL)
Forgetting for answer set programs revisited
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Strong equivalence of qualitative optimization problems
Journal of Artificial Intelligence Research
| Hi-index | 0.00 |