( en | de | ru )

 

Disambiguation of "Schwind, Camilla"

Author of the publication

copydeleteadd this publication to your clipboard
Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus

, , and . CoRR, (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. You can also use the button next to the name to display some publications already assigned to the person.

Camilla Schwind

Camilla Rothe

Camilla Weltsch

Camilla Kirchhübel

Camilla Münchhausen

 

Other publications of authors with the same name

Non-classical logics for knowledge representation and reasoning., , , , and . Intelligenza Artificiale, 5 (1): 127-131 (2011)Natural Language Access to PROLOG Database Systems.. GWAI, volume 58 of Informatik-Fachberichte, page 237-246. Springer, (1982)From Inconsistency to Consistency: Knowledge Base Revision by Tableaux Opening.. IBERAMIA, volume 6433 of Lecture Notes in Computer Science, page 120-132. Springer, (2010)Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus., , and . TABLEAUX, volume 5607 of Lecture Notes in Computer Science, page 17-31. Springer, (2009)Tableau Calculi for Preference-Based Conditional Logics., , , and . TABLEAUX, volume 2796 of Lecture Notes in Computer Science, page 81-101. Springer, (2003)Analytic Tableaux and Database Repairs: Foundations., and . FoIKS, volume 2284 of Lecture Notes in Computer Science, page 32-48. Springer, (2002)A Theorem Prover for Action Performance., and . ECAI, page 541-546. Pitmann Publishing, London, (1988)Verifying Communicating Agents by Model Checking in a Temporal Action Logic., , and . JELIA, volume 3229 of Lecture Notes in Computer Science, page 57-69. Springer, (2004)A State Logic for the Representation of Natural Language Based Intelligent Systems.. IJCAI, page 228. William Kaufmann, (1977)Semantikkonzepte in der Künstlichen Intelligenz.. KIFS, volume 93 of Informatik-Fachberichte, page 94-158. Springer, (1984)