| Publication | Date of Publication | Type |
|---|
ASP-Core-2 input language format
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Incremental maintenance of overgrounded logic programs with tailored simplifications
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Incremental answer set programming with overgrounding
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
A model building framework for answer set programming with external computations
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Computational properties of metaquerying problems
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Well-founded semantics for description logic programs in the semantic web
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
| scientific article; zbMATH DE number 6139984 (Why is no real title available?) | 2013-02-28 | Paper |
| HEX programs with action atoms | 2012-05-11 | Paper |
Finitely recursive programs: decidability and bottom-up computation
AI Communications | 2012-04-16 | Paper |
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Combining nonmonotonic knowledge bases with external sources
Frontiers of Combining Systems | 2010-01-07 | Paper |
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Answer Set Programming: A Primer
Lecture Notes in Computer Science | 2009-10-28 | Paper |
Efficiently Querying RDF(S) Ontologies with Answer Set Programming
Journal Of Logic And Computation | 2009-08-24 | Paper |
Combining answer set programming with description logics for the semantic web
Artificial Intelligence | 2009-07-17 | Paper |
Exploiting conjunctive queries in description logic programs
Annals of Mathematics and Artificial Intelligence | 2009-07-06 | Paper |
Computable Functions in ASP: Theory and Implementation
Logic Programming | 2009-01-22 | Paper |
Decidable Fragments of Logic Programming with Value Invention
Logics in Artificial Intelligence | 2008-10-30 | Paper |
External sources of knowledge and value invention in logic programming
Annals of Mathematics and Artificial Intelligence | 2007-10-23 | Paper |
| scientific article; zbMATH DE number 5079838 (Why is no real title available?) | 2006-12-12 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Metaqueries: Semantics, complexity, and efficient algorithms
Artificial Intelligence | 2006-02-07 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
On the complexity of inducing categorical and quantitative association rules
Theoretical Computer Science | 2004-10-27 | Paper |
| scientific article; zbMATH DE number 1931693 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1836279 (Why is no real title available?) | 2002-11-27 | Paper |
NP-SPEC: An executable specification language for solving all problems in NP
Computer Languages | 2001-11-08 | Paper |
