Searching for authors named Camilla Schwind – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
