( 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 Rothe

Camilla Weltsch

Camilla Kirchhübel

Camilla Münchhausen

 

Other publications of authors with the same name

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)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)Semantikkonzepte in der Künstlichen Intelligenz.. KIFS, volume 93 of Informatik-Fachberichte, page 94-158. Springer, (1984)A State Logic for the Representation of Natural Language Based Intelligent Systems.. IJCAI, page 228. William Kaufmann, (1977)Embedding deductive capabilities in relational database systems.. Int. J. Parallel Program., 13 (5): 327-338 (1984)A Calculus and Complexity Bound for Minimal Conditional Logic., and . ICTCS, volume 2202 of Lecture Notes in Computer Science, page 384-404. Springer, (2001)Non-classical logics for knowledge representation and reasoning., , , , and . Intelligenza Artificiale, 5 (1): 127-131 (2011)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)