The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Marc Denecker" ( http://dblp.L3S.de/Authors/Marc_Denecker )

URL (Homepage):  http://www.cs.kuleuven.ac.be/~marcd/  Author page on DBLP  Author page in RDF  Community of Marc Denecker in ASPL-2

Publication years (Num. hits)
1992-1995 (15) 1996-2000 (28) 2001-2003 (17) 2004-2005 (20) 2006-2007 (16) 2008-2009 (17) 2010-2012 (22) 2013-2014 (16) 2015-2016 (25) 2017-2019 (10)
Publication types (Num. hits)
article(82) incollection(3) inproceedings(101)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 13 occurrences of 10 keywords

Results
Found 187 publication records. Showing 186 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens The informal semantics of Answer Set Programming: A Tarskian perspective. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Matthias van der Hallen, Sergey Paramonov 0001, Gerda Janssens, Marc Denecker Knowledge representation analysis of graph mining. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Bart Bogaerts 0001, Joost Vennekens Explaining Actual Causation in Terms of Possible Causal Processes. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker Safe inductions and their applications in knowledge representation. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ingmar Dasseville, Marc Denecker Transpiling Programmable Computable Functions to Answer Set Programs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Broes De Cat, Bart Bogaerts 0001, Maurice Bruynooghe, Gerda Janssens, Marc Denecker Predicate logic as a modeling language: the IDP system. Search on Bibsonomy Declarative Logic Programming The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ingmar Dasseville, Marc Denecker Transpiling Programming Computable Functions to Answer Set Programs. Search on Bibsonomy WFLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Bart Bogaerts 0001, Joost Vennekens A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker The KB paradigm and its application to interactive configuration. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker Safe Inductions: An Algebraic Study. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Marc Denecker, Miroslaw Truszczynski First Order Logic with Inductive Definitions for Model-Based Problem Solving. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker On Local Domain Symmetry for Model Expansion. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker The KB paradigm and its application to interactive configuration. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Joachim Jansen, Jo Devriendt, Bart Bogaerts 0001, Gerda Janssens, Marc Denecker Implementing a Relevance Tracker Module. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker On Well-Founded Set-Inductions and Locally Monotone Operators. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker On local domain symmetry for model expansion. Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joachim Jansen, Broes De Cat, Gerda Janssens, Maurice Bruynooghe, Marc Denecker Bootstrapping Inference in the IDP Knowledge Base System. Search on Bibsonomy New Generation Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Marcos Cramer, Pieter Van Hertum, Ruben Lapauw, Ingmar Dasseville, Marc Denecker Resilient Delegation Revocation with Precedence for Predecessors Is NP-Complete. Search on Bibsonomy CSF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ingmar Dasseville, Laurent Janssens, Gerda Janssens, Jan Vanthienen, Marc Denecker Combining DMN and the Knowledge Base Paradigm for Flexible Decision Enactment. Search on Bibsonomy RuleML (Supplement) The full citation details ... 2016 DBLP  BibTeX  RDF
1Ingmar Dasseville, Matthias van der Hallen, Bart Bogaerts 0001, Gerda Janssens, Marc Denecker A Compositional Typed Higher-Order Logic with Definitions. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker Improved Static Symmetry Breaking for SAT. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Laurent Janssens, Ekaterina Bazhenova, Johannes De Smedt, Jan Vanthienen, Marc Denecker Consistent Integration of Decision (DMN) and Process (BPMN) Models. Search on Bibsonomy CAiSE Forum The full citation details ... 2016 DBLP  BibTeX  RDF
1Pieter Van Hertum, Ingmar Dasseville, Gerda Janssens, Marc Denecker The KB Paradigm and Its Application to Interactive Configuration. Search on Bibsonomy PADL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pieter Van Hertum, Marcos Cramer, Bart Bogaerts 0001, Marc Denecker Distributed Autoepistemic Logic and its Application to Access Control. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Joachim Jansen, Bart Bogaerts 0001, Jo Devriendt, Gerda Janssens, Marc Denecker Relevance for SAT(ID). Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker Grounded fixpoints and their applications in knowledge representation. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Broes De Cat, Marc Denecker, Maurice Bruynooghe, Peter J. Stuckey Lazy Model Expansion: Interleaving Grounding with Search. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker Semantics of templates in a compositional framework for building logics. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Ruben Lapauw, Ingmar Dasseville, Marc Denecker Visualising interactive inferences with IDPD3. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens, Marc Denecker Semantics of templates in a compositional framework for building logics. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts 0001, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Gerhard Brewka, Hannes Strass A Formal Theory of Justifications. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sergey Paramonov 0001, Matthijs van Leeuwen, Marc Denecker, Luc De Raedt An Exercise in Declarative Modeling for Relational Query Mining. Search on Bibsonomy ILP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker Grounded Fixpoints. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker Partial Grounded Fixpoints. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
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
1Broes De Cat, Marc Denecker, Peter J. Stuckey, Maurice Bruynooghe Lazy Model Expansion: Interleaving Grounding with Search. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker, Jan Van den Bussche FO(C) and Related Modelling Paradigms. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker, Jan Van den Bussche Inference in the FO(C) Modelling Language. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker, Jan Van den Bussche FO(C): A Knowledge Representation Language of Causality. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker Simulating dynamic systems using Linear Time Calculus theories. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Broes De Cat, Bart Bogaerts 0001, Maurice Bruynooghe, Marc Denecker Predicate Logic as a Modelling Language: The IDP System. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Marcos Cramer, Pieter Van Hertum, Diego Agustín Ambrossio, Marc Denecker Modelling Delegation and Revocation Schemes in IDP. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joachim Jansen, Maurice Bruynooghe, Broes De Cat, Joost Vennekens, Marc Denecker Simulating Dynamic Systems Using Linear Time Calculus Theories. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Joost Vennekens The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Bart Bogaerts 0001, Joost Vennekens, Marc Denecker, Jan Van den Bussche Inference in the FO(C) Modelling Language. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts 0001, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Joost Vennekens, Marc Denecker Extending FO(ID) with Knowledge Producing Definitions: Preliminary Results Search on Bibsonomy CoRR The full citation details ... 2013 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
1Pieter Van Hertum, Joost Vennekens, Bart Bogaerts 0001, Jo Devriendt, Marc Denecker The effects of buying a new car: an extension of the IDP Knowledge Base System. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Broes De Cat, Bart Bogaerts 0001, Jo Devriendt, Marc Denecker Model Expansion in the Presence of Function Symbols Using Constraint Programming. Search on Bibsonomy ICTAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hanne Vlaeminck, Joost Vennekens, Marc Denecker, Maurice Bruynooghe An approximative inference method for solving ∃∀SO satisfiability problems. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2012 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
1Marc Denecker, Maurice Bruynooghe, Joost Vennekens Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jo Devriendt, Bart Bogaerts 0001, Broes De Cat, Marc Denecker, Christopher Mears Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT. Search on Bibsonomy ICTAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hanne Vlaeminck, Joost Vennekens, Marc Denecker A General Representation and Approximate Inference Algorithm for Sensing Actions. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker Ordered Epistemic Logic: Semantics, Complexity and Applications. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens A Tarskian Informal Semantics for Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hendrik Blockeel, Bart Bogaerts 0001, Maurice Bruynooghe, Broes De Cat, Stef De Pooter, Marc Denecker, Anthony Labarre, Jan Ramon, Sicco Verwer Modeling Machine Learning and Data Mining Problems with FO(·). Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Broes De Cat, Marc Denecker, Peter J. Stuckey Lazy Model Expansion by Incremental Grounding. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 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
1Ofer Arieli, Maurice Bruynooghe, Marc Denecker, Bert Van Nuffelen Coherent Integration of Databases by Abductive Logic Programming Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Marc Denecker, Victor W. Marek, Miroslaw Truszczynski Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too 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
1Marc Denecker, Alvaro Cortés-Calabuig, Maurice Bruynooghe, Ofer Arieli Towards a logical reconstruction of a theory for locally closed databases. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2010 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
1Ping Hou, Broes De Cat, Marc Denecker FO(FD): Extending classical logic with rule-based fixpoint definitions Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Joost Vennekens, Marc Denecker, Maurice Bruynooghe FO(ID) as an extension of DL with rules. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ping Hou, Broes De Cat, Marc Denecker FO(FD): Extending classical logic with rule-based fixpoint definitions. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  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
1Joost Vennekens, Maurice Bruynooghe, Marc Denecker Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Joost Vennekens, Marc Denecker, Maurice Bruynooghe CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Joost Vennekens, Marc Denecker, Maurice Bruynooghe CP-logic: A language of causal probabilistic events and its relation to logic programming. Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ping Hou, Marc Denecker A Deductive System for FO(ID) Based on Least Fixpoint Logic. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Joost Vennekens Using Lightweight Inference to Solve Lightweight Problems. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski The Second Answer Set Programming Competition. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Joost Vennekens, Marc Denecker FO(ID) as an Extension of DL with Rules. Search on Bibsonomy ESWC The full citation details ... 2009 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
1Marc Denecker A Knowledge Base System Project for FO(.). Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hanne Vlaeminck, Joost Vennekens, Marc Denecker A logical framework for configuration software. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software engineering, knowledge representation, product configuration
1Marc Denecker, Eugenia Ternovska A logic of nonmonotone inductive definitions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logic programming, classical logic, Inductive definitions
1Johan Wittocx, Maarten Mariën, Marc Denecker Grounding with Bounds. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  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
1Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Marc Denecker, Joost Vennekens Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1John S. Schlipf, Marc Denecker Complexity of First Order ID-Logic. Search on Bibsonomy ISAIM 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
1Marc Denecker, Eugenia Ternovska Inductive situation calculus. Search on Bibsonomy Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Joost Vennekens, David Gilis, Marc Denecker Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Marc Denecker, Maurice Bruynooghe Distance semantics for database repair. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T37, 68P15, 68T30
1Nikolay Pelov, Marc Denecker, Maurice Bruynooghe Well-founded and stable semantics of logic programs with aggregates. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  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
1Marc Denecker, Joost Vennekens Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions. Search on Bibsonomy LPNMR 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
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
1Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Maurice Bruynooghe Approximate Query Answering in Locally Closed Databases. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 186 (100 per page; Change: )
Pages: [1][2][>>]
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