Maarten Mariën

CoRR, 2011

2010

Grounding FO and FO(ID) with Bounds.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2010

2009

Model Generation for ID-Logic (Modelgeneratie voor ID-logica) ; Model Generation for ID-Logic.

[BibT_eX]

[DOI]

PhD thesis, 2009

2008

SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

Approximate Reasoning in First-Order Logic Theories.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Grounding with Bounds.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

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

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

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

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

Integrating Inductive Definitions in SAT.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2007

2006

Predicate Introduction Under Stable and Well-Founded Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 22nd International Conference, 2006

2005

Satisfiability Checking for PC(ID).

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2005

2004

On the Relation Between ID-Logic and Answer Set Programming.

[BibT_eX]

[DOI]

David Gilis