( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation.

, и . ICCS, том 5113 из Lecture Notes in Computer Science, стр. 119-132. Springer, (2008)

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.

Marie-Laure Potet

Marie-Laure Louillat Habermeyer

Stefan Laure

Laure Aeschimann

Laure Amate

 

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

Obi-Wan: Ontology-Based RDF Integration of Heterogeneous Data., , , и . Proc. VLDB Endow., 13 (12): 2933-2936 (2020)A Single Approach to Decide Chase Termination on Linear Existential Rules., , , и . ICDT, том 127 из LIPIcs, стр. 18:1-18:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints, и . CoRR, (2011)Translations between RDF(S) and Conceptual Graphs, , , , и . Proceedings of the 18th International Conference on Conceptual Structures (ICCS 2010), том 6208 из Lecture Notes in Computer Science, стр. 28-41. Springer, (2010)An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation, и . Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008), том 5113 из Lecture Notes in Computer Science, стр. 119-132. Springer, (2008)Parallelisable Existential Rules: a Story of Pieces., , и . KR, стр. 162-173. (2021)Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints., и . J. Artif. Intell. Res., (2002)Sound and Complete Forward and backward Chainingd of Graph Rules., и . ICCS, том 1115 из Lecture Notes in Computer Science, стр. 248-262. Springer, (1996)An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation., и . ICCS, том 5113 из Lecture Notes in Computer Science, стр. 119-132. Springer, (2008)Représenter des connaissances et raisonner avec des graphes, и . Revue d'Intelligence Artificielle, 10 (1): 7--56 (1996)