The relationship between stable, supported, default and autoepistemic semantics for general logic programs

Mixed integer programming methods for computing nonmonotonic deductive databases

Journal of the ACM (JACM)

Flexible support for multiple access control policies

ACM Transactions on Database Systems (TODS)

Extending and implementing the stable model semantics

Artificial Intelligence

The logic of totally and partially ordered plans: a deductive database approach

Annals of Mathematics and Artificial Intelligence

A Correct Logic Programming Computation of Default Logic Extensions

Journal of Automated Reasoning

Nonmonotonic Logic Programming

IEEE Transactions on Knowledge and Data Engineering

A Deductive Database Approach to A.I. Planning

Journal of Intelligent Information Systems

On Verification in Logic Database Languages

CL '00 Proceedings of the First International Conference on Computational Logic

Stable models and difference logic

Annals of Mathematics and Artificial Intelligence

Computing Stable Models via Reductions to Difference Logic

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning

Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs

Artificial Intelligence

Compact translations of non-disjunctive answer set programs to propositional clauses

Logic programming, knowledge representation, and nonmonotonic reasoning

Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs

Theory and Practice of Logic Programming

Analyzing pathways using ASP-based approaches

ANB'10 Proceedings of the 4th international conference on Algebraic and Numeric Biology

Conflict-driven answer set solving: From theory to practice

Artificial Intelligence

Logic programming for Boolean networks

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)

Oscillating behavior of logic programs

Correct Reasoning

On a Logical Basis of Normal Logic Programs

Fundamenta Informaticae

Learning from interpretation transition

Machine Learning