The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Johan Wittocx" ( http://dblp.L3S.de/Authors/Johan_Wittocx )

  Author page on DBLP  Author page in RDF  Community of Johan Wittocx in ASPL-2

Publication years (Num. hits)
2006-2011 (17) 2012-2014 (3)
Publication types (Num. hits)
article(9) inproceedings(11)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 21 publication records. Showing 20 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Johan Wittocx, Maarten Mariën, Marc Denecker Grounding FO and FO(ID) with Bounds. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Johan Wittocx, Marc Denecker, Maurice Bruynooghe Constraint Propagation for First-Order Logic and Inductive Definitions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ping Hou, Johan Wittocx, Marc Denecker LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Johan Wittocx Finite domain and symbolic inference methods for extensions of first-order logic. Search on Bibsonomy AI Commun. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stef De Pooter, Johan Wittocx, Marc Denecker A prototype of a knowledge-based programming environment Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Stef De Pooter, Johan Wittocx, Marc Denecker A Prototype of a Knowledge-Based Programming Environment. Search on Bibsonomy INAP/WLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johan Wittocx, Maarten Mariën, Marc Denecker Grounding FO and FO(ID) with Bounds. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johan Wittocx, Marc Denecker, Maurice Bruynooghe Constraint Propagation for Extended First-Order Logic Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johan Wittocx, Broes De Cat, Marc Denecker Towards Computing Revised Models for FO Theories. Search on Bibsonomy INAP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Johan Wittocx, Hanne Vlaeminck, Marc Denecker Debugging for Model Expansion. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Johan Wittocx, Maarten Mariën, Marc Denecker Grounding with Bounds. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Maarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. Search on Bibsonomy SAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Johan Wittocx, Maarten Mariën, Marc Denecker Approximate Reasoning in First-Order Logic Theories. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1Maarten Mariën, Johan Wittocx, Marc Denecker Integrating Inductive Definitions in SAT. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ping Hou, Johan Wittocx, Marc Denecker A Deductive System for PC(ID). Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe Predicate Introduction Under Stable and Well-Founded Semantics. Search on Bibsonomy ICLP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #20 of 20 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license