|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Johan Wittocx |
Finite domain and symbolic inference methods for extensions of first-order logic.  |
AI Commun.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stef De Pooter, Johan Wittocx, Marc Denecker |
A prototype of a knowledge-based programming environment |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marc Denecker, Joost Vennekens, Hanne Vlaeminck, Johan Wittocx, Maurice Bruynooghe |
Answer Set Programming's Contributions to Classical Logic - An Analysis of ASP Methodology. |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Wittocx, Marc Denecker, Maurice Bruynooghe |
Constraint Propagation for Extended First-Order Logic |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Johan Wittocx, Maarten Mariën, Marc Denecker |
Grounding FO and FO(ID) with Bounds. |
J. Artif. Intell. Res. (JAIR) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, Maurice Bruynooghe |
An Approximative Inference Method for Solving THERE EXISTS FOR ALL SO Satisfiability Problems. |
JELIA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Wittocx, Hanne Vlaeminck, Marc Denecker |
Debugging for Model Expansion. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Wittocx, Broes de Cat, Marc Denecker |
Towards Computing Revised Models for FO Theories. |
INAP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Mariën, Johan Wittocx, Marc Denecker, Maurice Bruynooghe |
SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions. |
SAT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Wittocx, Maarten Mariën, Marc Denecker |
Approximate Reasoning in First-Order Logic Theories. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Johan Wittocx, Maarten Mariën, Marc Denecker |
Grounding with Bounds. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker |
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Joost Vennekens, Johan Wittocx, Maarten Mariën, Marc Denecker |
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Maarten Mariën, Johan Wittocx, Marc Denecker |
Integrating Inductive Definitions in SAT. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ping Hou, Johan Wittocx, Marc Denecker |
A Deductive System for PC(ID). |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Wittocx, Joost Vennekens, Maarten Mariën, Marc Denecker, Maurice Bruynooghe |
Predicate Introduction Under Stable and Well-Founded Semantics. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")