| 2009 |
|---|
| 45 | EE | 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) |
| 44 | EE | Régis Alenda,
Nicola Olivetti,
Camilla Schwind:
Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus
CoRR abs/0902.0899: (2009) |
| 2007 |
|---|
| 43 | EE | 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) |
| 42 | EE | Camilla Schwind:
A first-order Temporal Logic for Actions
CoRR abs/0705.1999: (2007) |
| 41 | EE | Laura Giordano,
Alberto Martelli,
Camilla Schwind:
Specifying and verifying interaction protocols in a temporal action logic.
J. Applied Logic 5(2): 214-234 (2007) |
| 2006 |
|---|
| 40 | EE | Laura Giordano,
Alberto Martelli,
Camilla Schwind:
Specialization of Interaction Protocols in a Temporal Action Logic.
Electr. Notes Theor. Comput. Sci. 157(4): 3-22 (2006) |
| 2004 |
|---|
| 39 | EE | Laura Giordano,
Alberto Martelli,
Camilla Schwind:
Verifying Communicating Agents by Model Checking in a Temporal Action Logic.
JELIA 2004: 57-69 |
| 38 | | Leopoldo E. Bertossi,
Camilla Schwind:
Database Repairs and Analytic Tableaux.
Ann. Math. Artif. Intell. 40(1-2): 5-35 (2004) |
| 37 | EE | Laura Giordano,
Camilla Schwind:
Conditional logic of actions and causation.
Artif. Intell. 157(1-2): 239-279 (2004) |
| 36 | EE | Nicola Olivetti,
Gian Luca Pozzato,
Camilla Schwind:
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics
CoRR cs.LO/0407064: (2004) |
| 2003 |
|---|
| 35 | EE | Laura Giordano,
Alberto Martelli,
Camilla Schwind:
Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic.
AI*IA 2003: 262-274 |
| 34 | EE | Laura Giordano,
Valentina Gliozzi,
Nicola Olivetti,
Camilla Schwind:
Tableau Calculi for Preference-Based Conditional Logics.
TABLEAUX 2003: 81-101 |
| 2002 |
|---|
| 33 | EE | Leopoldo E. Bertossi,
Camilla Schwind:
Analytic Tableaux and Database Repairs: Foundations.
FoIKS 2002: 32-48 |
| 32 | EE | Laura Giordano,
Camilla Schwind:
Towards a Conditional Logic of Actions and Causation.
JELIA 2002: 382-393 |
| 31 | | Laura Giordano,
Camilla Schwind:
Towards a conditional logic of actions and causation.
NMR 2002: 333-342 |
| 30 | EE | Leopoldo E. Bertossi,
Camilla Schwind:
Database Repairs and Analytic Tableaux
CoRR cs.DB/0211042: (2002) |
| 2001 |
|---|
| 29 | EE | Laura Giordano,
Alberto Martelli,
Camilla Schwind:
Reasoning about Actions in a Multiagent Domain.
AI*IA 2001: 237-248 |
| 28 | EE | Nicola Olivetti,
Camilla Schwind:
A Calculus and Complexity Bound for Minimal Conditional Logic.
ICTCS 2001: 384-404 |
| 27 | EE | Laura Giordano,
Alberto Martelli,
Camilla Schwind:
Reasoning about Actions in Dynamic Linear Time Temporal Logic.
Logic Journal of the IGPL 9(2): (2001) |
| 2000 |
|---|
| 26 | | Laura Giordano,
Alberto Martelli,
Camilla Schwind:
Ramification and causality in a modal action logic.
J. Log. Comput. 10(5): 625-662 (2000) |
| 1999 |
|---|
| 25 | EE | Camilla Schwind:
A Theory for Causal Reasoning.
KI 1999: 285-288 |
| 24 | EE | Camilla Schwind:
Causality in Action Theories.
Electron. Trans. Artif. Intell. 3(A): 27-50 (1999) |
| 1998 |
|---|
| 23 | | Laura Giordano,
Alberto Martelli,
Camilla Schwind:
Dealing with Concurrent Actions in Modal Action Logics.
ECAI 1998: 537-541 |
| 1997 |
|---|
| 22 | EE | Philippe Chatalic,
Christine Froidevaux,
Camilla Schwind:
Graded Hypothesis Theories.
Theor. Comput. Sci. 171(1-2): 247-280 (1997) |
| 1994 |
|---|
| 21 | | Camilla Schwind,
Pierre Siegel:
A Modal Logic for Hypothesis Theory.
Fundam. Inform. 21(1/2): 89-101 (1994) |
| 20 | | Vincent Risch,
Camilla Schwind:
Tableaux-Based Characterization and Theorem Proving for default Logic.
J. Autom. Reasoning 13(2): 223-242 (1994) |
| 1993 |
|---|
| 19 | | Pierre Siegel,
Camilla Schwind:
Modal logic based theory for non-monotonic reasoning.
Journal of Applied Non-Classical Logics 3(1): (1993) |
| 1992 |
|---|
| 18 | | Vincent Risch,
Camilla Schwind:
Tableaux-Based Theorem Proving and Non-Standard Reasoning.
TABLEAUX 1992: 76-78 |
| 1991 |
|---|
| 17 | | Camilla Schwind,
Vincent Risch:
A Tableau-Based Characterisation for Default Logic.
ECSQARU 1991: 310-317 |
| 1990 |
|---|
| 16 | | Camilla Schwind:
A Tableau-Based Theorem Prover for a Decidable Subset of Default Logic.
CADE 1990: 528-542 |
| 15 | | Camilla Schwind:
Feature grammars for semantic analysis.
Computational Intelligence 6: 172-178 (1990) |
| 14 | | Camilla Schwind:
An Intelligent Language Tutoring System.
International Journal of Man-Machine Studies 33(5): 557-579 (1990) |
| 1988 |
|---|
| 13 | | Camilla Schwind:
Sensitive parsing: error analysis and explanation in an intelligent language tutoring system.
COLING 1988: 608-613 |
| 12 | | Emmanuel Lafon,
Camilla Schwind:
A Theorem Prover for Action Performance.
ECAI 1988: 541-546 |
| 1984 |
|---|
| 11 | | Camilla Schwind:
Temporal Logic in Artificial Intelligence.
GWAI 1984: 238-264 |
| 10 | | Camilla Schwind:
Semantikkonzepte in der Künstlichen Intelligenz.
KIFS 1984: 94-158 |
| 9 | | Camilla Schwind:
Logic Based Natural Language Processing.
Natural Language Understanding and Natural Language Understanding Workshop 1984: 207-219 |
| 1983 |
|---|
| 8 | EE | Camilla Schwind:
Semantic trees for natural language representation.
Inf. Process. Manage. 19(4): 223-235 (1983) |
| 1982 |
|---|
| 7 | | Camilla Schwind:
Natural Language Access to PROLOG Database Systems.
GWAI 1982: 237-246 |
| 1978 |
|---|
| 6 | | Camilla Schwind:
Representing Actions by State Logic.
AISB/GI (ECAI) 1978: 304-308 |
| 5 | | Frank M. Brown,
Camilla Schwind:
Analysing and Representing Natural Language in Logic.
AISB/GI (ECAI) 1978: 66-70 |
| 4 | | Camilla Schwind:
A Formalism for the Description of Question Answering Systems.
Natural Language Communication with Computers 1978: 1-48 |
| 1977 |
|---|
| 3 | | Camilla Schwind:
A State Logic for the Representation of Natural Language Based Intelligent Systems.
IJCAI 1977: 228 |
| 1976 |
|---|
| 2 | EE | Stephan Braun,
Camilla Schwind:
Automatic, semantics-based indexing of natural language texts for information retrieval systems.
Inf. Process. Manage. 12(2): 147-153 (1976) |
| 1975 |
|---|
| 1 | | Camilla Schwind:
Generating Hierarchical Semantic Networks Froma Natural Language Discourse.
IJCAI 1975: 429-435 |
