Johan Wittocx
According to our database1,
Johan Wittocx
authored at least 18 papers
between 2006 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2013
ACM Trans. Comput. Log., 2013
2012
LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions
CoRR, 2012
2011
AI Commun., 2011
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
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
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
2008
Proceedings of the Theory and Applications of Satisfiability Testing, 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
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
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the Logic for Programming, 2007
2006
Proceedings of the Logic Programming, 22nd International Conference, 2006