Johan Wittocx

According to our database1, Johan Wittocx authored at least 18 papers between 2006 and 2013.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Constraint Propagation for First-Order Logic and Inductive Definitions.
ACM Trans. Comput. Log., 2013

2012
LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions
CoRR, 2012

2011
Finite domain and symbolic inference methods for extensions of first-order logic.
AI Commun., 2011

A Prototype of a Knowledge-Based Programming Environment.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010
Grounding FO and FO(ID) with Bounds.
J. Artif. Intell. Res., 2010

Constraint Propagation for Extended First-Order Logic
CoRR, 2010

An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems.
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009
Towards Computing Revised Models for FO Theories.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009

Debugging for Model Expansion.
Proceedings of the Logic Programming, 25th International Conference, 2009

2008
SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions.
Proceedings of the Theory and Applications of Satisfiability Testing, 2008

Approximate Reasoning in First-Order Logic Theories.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Grounding with Bounds.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic.
Fundam. Informaticae, 2007

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming.
Fundam. Informaticae, 2007

A Deductive System for PC(ID).
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Integrating Inductive Definitions in SAT.
Proceedings of the Logic for Programming, 2007

2006
Predicate Introduction Under Stable and Well-Founded Semantics.
Proceedings of the Logic Programming, 22nd International Conference, 2006


  Loading...