Camilla Schwind

Publication Activity (10 Years)

Years Active: 1975-2011
Publications (10 Years): 0

Publications

Camilla Schwind
Belief Base Change on Implicant Sets: How to Give Up Elements of a Belief Based on Literal Level. CIS (2011)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
Non-classical logics for knowledge representation and reasoning. Intelligenza Artificiale 5 (1) (2011)
Camilla Schwind
From Inconsistency to Consistency: Knowledge Base Revision by Tableaux Opening. IBERAMIA (2010)
Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky
\mathcal{CSL} over minspaces. CSL (2010)
Régis Alenda, Nicola Olivetti, Camilla Schwind
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. TABLEAUX (2009)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind
Tableau calculus for preference-based conditional logics: PCL and its extensions. ACM Trans. Comput. Log. 10 (3) (2009)
Régis Alenda, Nicola Olivetti, Camilla Schwind
Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus CoRR (2009)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
Non-Classical Logics for Knowledge Representation and Reasoning. Il Milione (2008)
Camilla Schwind
A first-order Temporal Logic for Actions CoRR (2007)
Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
A sequent calculus and a theorem prover for standard conditional logics. ACM Trans. Comput. Log. 8 (4) (2007)
Laura Giordano, Alberto Martelli, Camilla Schwind
Specifying and verifying interaction protocols in a temporal action logic. J. Appl. Log. 5 (2) (2007)
Laura Giordano, Alberto Martelli, Camilla Schwind
Specialization of Interaction Protocols in a Temporal Action Logic. Electron. Notes Theor. Comput. Sci. 157 (4) (2006)
Laura Giordano, Camilla Schwind
Conditional logic of actions and causation. Artif. Intell. 157 (1-2) (2004)
Laura Giordano, Alberto Martelli, Camilla Schwind
Verifying Communicating Agents by Model Checking in a Temporal Action Logic. JELIA (2004)
Leopoldo E. Bertossi, Camilla Schwind
Database Repairs and Analytic Tableaux. Ann. Math. Artif. Intell. 40 (1-2) (2004)
Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics CoRR (2004)
Laura Giordano, Alberto Martelli, Camilla Schwind
Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. AI*IA (2003)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind
Tableau Calculi for Preference-Based Conditional Logics. TABLEAUX (2003)
Laura Giordano, Camilla Schwind
Towards a conditional logic of actions and causation. NMR (2002)
Laura Giordano, Camilla Schwind
Towards a Conditional Logic of Actions and Causation. JELIA (2002)
Leopoldo E. Bertossi, Camilla Schwind
Analytic Tableaux and Database Repairs: Foundations. FoIKS (2002)
Leopoldo E. Bertossi, Camilla Schwind
Database Repairs and Analytic Tableaux CoRR (2002)
Nicola Olivetti, Camilla Schwind
A Calculus and Complexity Bound for Minimal Conditional Logic. ICTCS (2001)
Laura Giordano, Alberto Martelli, Camilla Schwind
Reasoning about Actions in a Multiagent Domain. AI*IA (2001)
Laura Giordano, Alberto Martelli, Camilla Schwind
Reasoning about Actions in Dynamic Linear Time Temporal Logic. Log. J. IGPL 9 (2) (2001)
Laura Giordano, Alberto Martelli, Camilla Schwind
Ramification and causality in a modal action logic. J. Log. Comput. 10 (5) (2000)
Camilla Schwind
Causality in Action Theories. Electron. Trans. Artif. Intell. 3 (A) (1999)
Camilla Schwind
A Theory for Causal Reasoning. KI (1999)
Laura Giordano, Alberto Martelli, Camilla Schwind
Dealing with Concurrent Actions in Modal Action Logics. ECAI (1998)
Philippe Chatalic, Christine Froidevaux, Camilla Schwind
Graded Hypothesis Theories. Theor. Comput. Sci. 171 (1-2) (1997)
Camilla Schwind, Pierre Siegel
A Modal Logic for Hypothesis Theory. Fundam. Informaticae 21 (1/2) (1994)
Camilla Schwind
Revision and action. Int. J. Intell. Syst. 9 (1) (1994)
Vincent Risch, Camilla Schwind
Tableaux-Based Characterization and Theorem Proving for default Logic. J. Autom. Reason. 13 (2) (1994)
Pierre Siegel, Camilla Schwind
Modal logic based theory for non-monotonic reasoning. J. Appl. Non Class. Logics 3 (1) (1993)
Vincent Risch, Camilla Schwind
Tableaux-Based Theorem Proving and Non-Standard Reasoning. TABLEAUX (1992)
Camilla Schwind, Vincent Risch
A Tableau-Based Characterisation for Default Logic. ECSQARU (1991)
Camilla Schwind
Feature grammars for semantic analysis. Comput. Intell. 6 (1990)
Camilla Schwind
A Tableau-Based Theorem Prover for a Decidable Subset of Default Logic. CADE (1990)
Camilla Schwind
An Intelligent Language Tutoring System. Int. J. Man Mach. Stud. 33 (5) (1990)
Camilla Schwind
Sensitive parsing: error analysis and explanation in an intelligent language tutoring system. COLING (1988)
Emmanuel Lafon, Camilla Schwind
A Theorem Prover for Action Performance. ECAI (1988)
Camilla Schwind
Semantikkonzepte in der Künstlichen Intelligenz. KIFS (1984)
Camilla Schwind
Logic Based Natural Language Processing. Natural Language Understanding and Natural Language Understanding Workshop (1984)
Camilla Schwind
Embedding deductive capabilities in relational database systems. Int. J. Parallel Program. 13 (5) (1984)
Camilla Schwind
Temporal Logic in Artificial Intelligence. GWAI (1984)
Camilla Schwind
Semantic trees for natural language representation. Inf. Process. Manag. 19 (4) (1983)
Camilla Schwind
Natural Language Access to PROLOG Database Systems. GWAI (1982)
Camilla Schwind
A Formalism for the Description of Question Answering Systems. Natural Language Communication with Computers (1978)
Frank M. Brown, Camilla Schwind
Analysing and Representing Natural Language in Logic. AISB/GI (ECAI) (1978)
Camilla Schwind
Representing Actions by State Logic. AISB/GI (ECAI) (1978)
Camilla Schwind
A State Logic for the Representation of Natural Language Based Intelligent Systems. IJCAI (1977)
Camilla Schwind, Jürgen M. Janas
Automatic thesaurus construction from natural language definitions. SIGART Newsl. 61 (1977)
Stephan Braun, Camilla Schwind
Automatic, semantics-based indexing of natural language texts for information retrieval systems. Inf. Process. Manag. 12 (2) (1976)
Camilla Schwind
Generating Hierarchical Semantic Networks Froma Natural Language Discourse. IJCAI (1975)