A sequent calculus and a theorem prover for standard conditional logics von Olivetti, Nicola, Pozzato, Gian Luca, Schwind, Camilla B.

Volltext

Specifying and verifying interaction protocols in a temporal action logic von Giordano, Laura, Martelli, Alberto, Schwind, Camilla

Volltext

From Inconsistency to Consistency: Knowledge Base Revision by Tableaux Opening von Schwind, Camilla

Volltext

Conditional logic of actions and causation von Giordano, Laura, Schwind, Camilla

Volltext

ERROR ANALYSIS AND EXPLANATION IN KNOWLEDGE BASED LANGUAGE TUTORING von Schwind, Camilla B.

Volltext

Tableau-based characterization and theorem proving for default logic von Risch, Vincent, Schwind, Camilla B.

Volltext

Tableau calculus for preference-based conditional logics: PCL and its extensions von Giordano, Laura, Gliozzi, Valentina, Olivetti, Nicola, Schwind, Camilla

Volltext

Verifying Communicating Agents by Model Checking in a Temporal Action Logic von Giordano, Laura, Martelli, Alberto, Schwind, Camilla

Volltext

A Calculus and Complexity Bound for Minimal Conditional Logic von Olivetti, Nicola, Schwind, Camilla B.

Volltext

Schließen bei unsicherem Wissen in der Künstlichen Intelligenz: Vergleich von Formalismen anhand eines Beispiels von Sombé, Léa, Seidenspinner, Peter, Schwind, Camilla

Volltext

A tableaux-based theorem prover for a decidable subset of default logic von Schwind, Camilla B.

Volltext

Schließen Bei Unsicherem Wissen in der Künstlichen Intelligenz: Vergleich Von Formalismen Anhand Eines Beispiels von Sombé, Léa

Volltext

Database Repairs and Analytic Tableaux von Bertossi, Leopoldo, Schwind, Camilla

Volltext

Ramification and causality in a modal action logic von Giordano, L, Martelli, A, Schwind, C

Volltext

Towards a Conditional Logic of Actions and Causation von Giordano, Laura, Schwind, Camilla

Volltext

A tableau-based characterisation for default logic von Schwind, Camilla B., Risch, Vincent

Volltext

A Theory for Causal Reasoning von Schwind, Camilla

Volltext

Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus von Alenda, Régis, Olivetti, Nicola, Schwind, Camilla

Volltext

A first-order Temporal Logic for Actions von Schwind, Camilla

Volltext bestellen

Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic von Giordano, Laura, Martelli, Alberto, Schwind, Camilla

Volltext