( en | de | ru )

 

Disambiguation of "Schwind, Camilla"

Author of the publication

copydeleteadd this publication to your clipboard
Analytic Tableaux and Database Repairs: Foundations.

, and . FoIKS, volume 2284 of Lecture Notes in Computer Science, page 32-48. Springer, (2002)

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 Weltsch

Camilla Rothe

Camilla Münchhausen

Camilla Kirchhübel

 

Other publications of authors with the same name

Embedding deductive capabilities in relational database systems.. Int. J. Parallel Program., 13 (5): 327-338 (1984)A State Logic for the Representation of Natural Language Based Intelligent Systems.. IJCAI, page 228. William Kaufmann, (1977)A Calculus and Complexity Bound for Minimal Conditional Logic., and . ICTCS, volume 2202 of Lecture Notes in Computer Science, page 384-404. Springer, (2001)Reasonning about concept similarity in ontologies: a first step, , and . (2009)submitted.Preferential Semantics for the Logic of Comparative Concepts Similarity, , , and . Topology, Algebra and Category in Logic, (2010)Causality in Action Theories. Electronic Transactions on Artificial Intelligence (ETAI), 3 (A): 27-50 (1999)Conditional logic of actions and causation, and . Artif. Intell., 157 (1-2): 239-279 (2004)Semantikkonzepte in der Künstlichen Intelligenz.. KIFS, volume 93 of Informatik-Fachberichte, page 94-158. Springer, (1984)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)Non-classical logics for knowledge representation and reasoning., , , , and . Intelligenza Artificiale, 5 (1): 127-131 (2011)