| 2011 | CIS | Belief Base Change on Implicant Sets: How to Give Up Elements of a Belief Based on Literal Level. | Camilla Schwind |
| 2010 | CSL | Tableau Calculi for | Rgis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky |
| 2009 | TABLEAUX | Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. | Rgis Alenda, Nicola Olivetti, Camilla Schwind |
| 2004 | JELIA | Verifying Communicating Agents by Model Checking in a Temporal Action Logic. | Laura Giordano, Alberto Martelli, Camilla Schwind |
| 2003 | TABLEAUX | Tableau Calculi for Preference-Based Conditional Logics. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind |
| 2002 | JELIA | Towards a Conditional Logic of Actions and Causation. | Laura Giordano, Camilla Schwind |
| 1999 | KI | A Theory for Causal Reasoning. | Camilla Schwind |
| 1998 | ECAI | Dealing with Concurrent Actions in Modal Action Logics. | Laura Giordano, Alberto Martelli, Camilla Schwind |
| 1992 | TABLEAUX | Tableaux-Based Theorem Proving and Non-Standard Reasoning. | Vincent Risch, Camilla Schwind |
| 1991 | ECSQARU | A Tableau-Based Characterisation for Default Logic. | Camilla Schwind, Vincent Risch |
| 1990 | CADE | A Tableau-Based Theorem Prover for a Decidable Subset of Default Logic. | Camilla Schwind |
| 1988 | COLING | Sensitive parsing: error analysis and explanation in an intelligent language tutoring system. | Camilla Schwind |
| 1988 | ECAI | A Theorem Prover for Action Performance. | Emmanuel Lafon, Camilla Schwind |
| 1984 | KI | Semantikkonzepte in der Knstlichen Intelligenz. | Camilla Schwind |
| 1984 | KI | Temporal Logic in Artificial Intelligence. | Camilla Schwind |
| 1982 | KI | Natural Language Access to PROLOG Database Systems. | Camilla Schwind |
| 1978 | ECAI | Analysing and Representing Natural Language in Logic. | Frank M. Brown, Camilla Schwind |
| 1978 | ECAI | Representing Actions by State Logic. | Camilla Schwind |
| 1977 | IJCAI | A State Logic for the Representation of Natural Language Based Intelligent Systems. | Camilla Schwind |
| 1975 | IJCAI | Generating Hierarchical Semantic Networks Froma Natural Language Discourse. | Camilla Schwind |