Searching for authors named Camilla Schwind – sorted by Relevance.
-
A first-order temporal logic for actions
- arXiv:0705.1999v1 [cs.AI] 14 May 2007 A first-order Temporal Logic for Actions Camilla Schwind LIF
- Cited by 1 (1 self) – Add To MetaCart
-
Causality in Action Theories
- Theories Camilla Schwind Faculte des Sciences de Luminy Laboratoire d'Informatique de Marseille, CNRS 16
- Cited by 2 (0 self) – Add To MetaCart
-
Modal Logic
- Modal Logic Camilla Schwind Laboratoire d'Informatique de Marseille CNRS Faculte des Sciences de
- Cited by 1 (1 self) – Add To MetaCart
-
A Logic Based Framework for Action Theories
- 19 A Logic Based Framework for Action Theories Camilla Schwind abstract. We present a theory
- Cited by 16 (4 self) – Add To MetaCart
-
Tableaux-Based Theorem Proving for Common-Sense Reasoning
- Tableaux-Based Theorem Proving for Common-Sense Reasoning Nicol`a Olivetti and Camilla Schwind
- Add To MetaCart
-
A Deductive Methodology to Handle Inconsistency in Databases
- A deductive methodology to handle inconsistency in databases Leopoldo Bertossi y and Camilla
- Add To MetaCart
-
Conditional logic of actions and causation
- @(email omitted); Camilla Schwind MAP- CNRS, Luminy École d’architecture de Marseille 187 Avenue de Luminy, Case 901 13288
- Cited by 5 (1 self) – Add To MetaCart
-
An Analytic Tableaux based Characterization of Data Base Repairs for Consistent Query Answering
- (Preliminary Report) Leopoldo Bertossi y and Camilla Schwind z Abstract In this article, we characterize
- Cited by 2 (2 self) – Add To MetaCart
-
Analytic Tableaux and Database Repairs: Foundations
- Analytic Tableaux and Database Repairs: Foundations Leopoldo Bertossi 1 and Camilla Schwind 2 1
- Cited by 3 (2 self) – Add To MetaCart
-
Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic
- 1 , Alberto Martelli 2 , and Camilla Schwind 3 1 Dipartimento di Informatica, Università del
- Cited by 8 (6 self) – Add To MetaCart

