( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Prototype of a Knowledge-Based Programming Environment.

, , и . INAP/WLP, том 7773 из Lecture Notes in Computer Science, стр. 279-286. Springer, (2011)

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

 

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

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