( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
FO(ID) as an Extension of DL with Rules.

, и . ESWC, том 5554 из Lecture Notes in Computer Science, стр. 384-398. Springer, (2009)

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.

Stefanie Marczoch

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

Hans-Peter Marchal

Erna Marcus

Friedrich Marcus

Paul March

 

Другие публикации лиц с тем же именем

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