( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Relevance for SAT(ID).

, , , , и . IJCAI, стр. 596-602. IJCAI/AAAI Press, (2016)

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

 

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

A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification., , , , и . JICSLP, стр. 170-184. MIT Press, (1996)Complexity of First Order ID-Logic., и . ISAIM, (2008)SLDNFA: An Abductive Procedure for Abductive Logic Programs., и . J. Log. Program., 34 (2): 111-167 (1998)Database Repair by Signed Formulae., , , и . FoIKS, том 2942 из Lecture Notes in Computer Science, стр. 14-30. Springer, (2004)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)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)Translation of Aggregate Programs to Normal Logic Programs., , и . Answer Set Programming, том 78 из CEUR Workshop Proceedings, CEUR-WS.org, (2003)The KB Paradigm and Its Application to Interactive Configuration., , , и . PADL, том 9585 из Lecture Notes in Computer Science, стр. 13-29. Springer, (2016)An Exercise in Declarative Modeling for Relational Query Mining., , , и . ILP, том 9575 из Lecture Notes in Computer Science, стр. 166-182. Springer, (2015)