A Logical Study of Some Common Principles of Inductive Definition (Under Review).
Propagators and Solvers for the Algebra of Modular Systems Proceedings of the 21st International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-21), 2017, (accepted).
Predicate Logic as a Modelling Language: The IDP System 2017, (Accepted).
SAT-to-SAT in QBFEval 2016 Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016), p. 63-70, 2016.
On Well-Founded Set-Inductions and Locally Monotone Operators ACM Transactions on Computational Logic Volume 17 Issue 4, p. 27:1-27:32, 2016.
BreakID: Static Symmetry Breaking for ASP Proceedings of the ninth workshop on answer set programming and other computing paradigms, p. 25-39, 2016.
Implementing a Relevance Tracker Module Proceedings of the ninth workshop on answer set programming and other computing paradigms, p. 77-91, 2016.
Bootstrapping Inference in the IDP Knowledge Base System New Generation Computing Volume 34, Number 3, p. 193-220, 2016.
A Compositional Framework for Building Typed Higher-Order Logics Technical communications of ICLP, p. 14.1-14.14, 2016.
Stable-Unstable Semantics: Beyond NP with Normal Logic Programs Theory and Practice of Logic Programming Volume 16, Number 5-6, p. 570-586, 2016.
On Local Domain Symmetry for Model Expansion Theory and Practice of Logic Programming Volume 16, Number 5-6, p. 632-652, 2016.
Distributed Autoepistemic Logic and its Application to Access Control Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI), p. 1286-1292, 2016.
Relevance for SAT(ID) Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI), p. 596-602, 2016.
Improved Static Symmetry Breaking for SAT Theory and Applications of Satisfiability Testing - SAT 2016, Proceedings, p. 104-122, 2016.
Declarative Solver Development: Case Studies Principles of Knowledge Representation and Reasoning: Proceedings (KR), p. 74-83, 2016.
Solving QBF Instances With Nested SAT Solvers Proceedings of the first workshop on Beyond NP, p. 307-313, 2016.
Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3 Theory and Practice of Logic Programming Volume 15, Number 6, p. 783-817, 2015.
Groundedness in Logics With a Fixpoint Semantics PhD thesis, 2015.
Knowledge Compilation of Logic Programs Using Approximation Fixpoint Theory Theory and Practice of Logic Programming Volume 15, Number 4-5, p. 464-480, 2015.
Partial Grounded Fixpoints Proceedings of the twenty-fourth international conference on artificial intelligence (IJCAI), p. 2784-2790, 2015.
Grounded Fixpoints and Their Applications in Knowledge Representation Artificial Intelligence Volume 224, p. 51-71, 2015.
Grounded Fixpoints Proceedings of the twenty-ninth AAAI conference on artificial intelligence, p. 1453-1459, 2015.
MiniSat(ID) for Satisfiability Checking and Constraint Solving ALP Newsletter, 2014.
Meta-level Representations in the IDP Knowledge Base System: Towards Bootstrapping Inference Engine Development Workshop on Logic and Search - LaSh, 2014.
BreakIDGlucose: On The Importance of Row Symmetry in SAT Fourth International Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT), 1-17, 2014.
Inference in the FO(C) Modelling Language European Conference on Artificial Intelligence (ECAI), p. 111-116, 2014.
FO(C) and Related Modelling Paradigms 15th International Workshop on Non-Monotonic Reasoning, p. 90-96, 2014.
FO(C): A Knowledge Representation Language of Causality (ICLP'14 technical communication), Theory and Practice of Logic Programming Volume 14, Number (4-5)-Online-Supplement, p. 60-69, 2014.
Simulating Dynamic Systems Using Linear Time Calculus Theories Theory and Practice of Logic Programming Volume 14, Number 4-5, p. 477-492, 2014.
The Effects of Buying a New Car: An Extension of the IDP Knowledge Base System (ICLP'13 technical communication), Theory and Practice of Logic Programming Volume 13, Number (4-5)-Online-Supplement, 2013.
Model Expansion in the Presence of Function Symbols Using Constraint Programming IEEE 25th International Conference on Tools with Artificial Intelligence, p. 1068-1075, 2013.
Analyzing Manuscript Traditions Using Constraint-Based Data Mining First Workshop on Combining Constraint Solving with Mining and Learning, 2012.
Modeling Machine Learning and Data Mining Problems with FO(.) Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, p. 14-25, 2012.
Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT IEEE 24th International Conference on Tools with Artificial Intelligence, p. 49-56, 2012.