( en | de | ru )

 

Disambiguation of "Denecker, Marc"

Author of the publication

copydeleteadd this publication to your clipboard
A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation.

, , and . CoRR, (2017)

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

Translation of Aggregate Programs to Normal Logic Programs., , and . Answer Set Programming, volume 78 of CEUR Workshop Proceedings, CEUR-WS.org, (2003)FO(FD): Extending classical logic with rule-based fixpoint definitions., , and . Theory Pract. Log. Program., 10 (4-6): 581-596 (2010)Extending Classical Logic with Inductive Definitions. CoRR, (2000)Complexity of First Order ID-Logic., and . ISAIM, (2008)Abduction in Logic Programming., and . Computational Logic: Logic Programming and Beyond, volume 2407 of Lecture Notes in Computer Science, page 402-436. Springer, (2002)Logic programming revisited: Logic programs as inductive definitions., , and . ACM Trans. Comput. Log., 2 (4): 623-654 (2001)Database Repair by Signed Formulae., , , and . FoIKS, volume 2942 of Lecture Notes in Computer Science, page 14-30. Springer, (2004)SLDNFA: An Abductive Procedure for Abductive Logic Programs., and . J. Log. Program., 34 (2): 111-167 (1998)Knowledge representation analysis of graph mining., , , and . Ann. Math. Artif. Intell., 86 (1-3): 21-60 (2019)IDP-Z3: a reasoning engine for FO(.)., , , and . CoRR, (2022)