Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning

Logic programming revisited: logic programs as inductive definitions

ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski

Ultimate Well-Founded and Stable Semantics for Logic Programs with Aggregates

Proceedings of the 17th International Conference on Logic Programming

Antitonic Logic Programs

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning

The Well-Founded Semantics Is a Stratified Fitting Semantics

KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence

Ultimate approximation and its application in nonmonotonic knowledge representation systems

Information and Computation

A uniform approach to logic programming semantics

Theory and Practice of Logic Programming

Graphs and colorings for answer set programming

Theory and Practice of Logic Programming

Splitting an operator: Algebraic modularity results for logics with fixpoint semantics

ACM Transactions on Computational Logic (TOCL)

Well-founded and stable semantics of logic programs with aggregates

Theory and Practice of Logic Programming

A logic of nonmonotone inductive definitions

ACM Transactions on Computational Logic (TOCL)

Logic programs with monotone abstract constraint atoms*

Theory and Practice of Logic Programming

Algebraic and logical study of constructive processes in knowledge representation

AI Communications

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

Fundamenta Informaticae

Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic

Fundamenta Informaticae

Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Reasoning Web

Logic programs with abstract constraint atoms

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence

Properties and applications of programs with monotone and convex constraints

Journal of Artificial Intelligence Research

Approximate well-founded semantics, query answering and generalized normal logic programs over lattices

Annals of Mathematics and Artificial Intelligence

Well-founded semantics and the algebraic theory of non-monotone inductive definitions

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning

Logic programming for knowledge representation

ICLP'07 Proceedings of the 23rd international conference on Logic programming

An algebraic account of modularity in ID-logic

LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning

Nonmonotonic logics and their algebraic foundations

CSL'06 Proceedings of the 20th international conference on Computer Science Logic

LP with flexible grouping and aggregates using modes

LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation

Approximation fixpoint theory and the semantics of logic and answers set programs

Correct Reasoning

Connecting first-order ASP and the logic FO(ID) through reducts

Correct Reasoning

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

Fundamenta Informaticae

Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic

Fundamenta Informaticae

Approximating operators and semantics for abstract dialectical frameworks

Artificial Intelligence