( en | de | ru )

 

Disambiguation of "Denecker, Marc"

Author of the publication

copydeleteadd this publication to your clipboard
Detecting Unsolvable Queries for Definite Logic Programs.

, , , and . PLILP/ALP, volume 1490 of Lecture Notes in Computer Science, page 118-133. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefanie Marczoch

Langzeitverlauf von 200 Patienten mit kraniofazialen und zervikalen Dystonien bis zu 12 Jahre nach der ersten Botulinumtoxin-Behandlung. TU München, (2009)

Valerian Marcinkowski

Moritz Daniel Marcinowski

Ivan Marchesini

André Marchand

 

Other publications of authors with the same name

Complexity of First Order ID-Logic., and . ISAIM, (2008)SLDNFA: An Abductive Procedure for Abductive Logic Programs., and . J. Log. Program., 34 (2): 111-167 (1998)A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification., , , , and . JICSLP, page 170-184. MIT Press, (1996)Translation of Aggregate Programs to Normal Logic Programs., , and . Answer Set Programming, volume 78 of CEUR Workshop Proceedings, CEUR-WS.org, (2003)Using Event Calculus for Protocol Specification: An Experiment., , , , and . Deductive Databases / Abduction in Deductive Databases, volume 266 of GMD-Studien, page 187-201. Gesellschaft für Mathematik und Datenverarbeitung MbH, (1995)Abduction in Logic Programming., and . Computational Logic: Logic Programming and Beyond, volume 2407 of Lecture Notes in Computer Science, page 402-436. Springer, (2002)Extending Classical Logic with Inductive Definitions.. Computational Logic, volume 1861 of Lecture Notes in Computer Science, page 703-717. Springer, (2000)Database Repair by Signed Formulae., , , and . FoIKS, volume 2942 of Lecture Notes in Computer Science, page 14-30. Springer, (2004)On the Transformation of Object-Oriented Conceptual Models to Logical Theories., , , , and . ER, volume 2503 of Lecture Notes in Computer Science, page 152-166. Springer, (2002)Accuracy and Efficiency of Fixpoint Methods for Approximate Query Answering in Locally Complete Databases., , , and . KR, page 81-91. AAAI Press, (2008)