- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j19 |      | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind: Non-classical logics for knowledge representation and reasoning. Intelligenza Artificiale 5(1): 127-131 (2011) |
| c28 | | Camilla Schwind: Belief Base Change on Implicant Sets: How to Give Up Elements of a Belief Based on Literal Level. CIS 2011: 239-243 |
| 2010 | ||
| c27 | | Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky: Tableau Calculi for CSL\mathcal{CSL} over minspaces. CSL 2010: 52-66 |
| c26 | | Camilla Schwind: From Inconsistency to Consistency: Knowledge Base Revision by Tableaux Opening. IBERAMIA 2010: 120-132 |
| 2009 | ||
| j18 | | 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) |
| c25 | | Régis Alenda, Nicola Olivetti, Camilla Schwind: Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. TABLEAUX 2009: 17-31 |
| i4 | | Régis Alenda, Nicola Olivetti, Camilla Schwind: Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus. CoRR abs/0902.0899 (2009) |
| 2007 | ||
| j17 | | Laura Giordano, Alberto Martelli, Camilla Schwind: Specifying and verifying interaction protocols in a temporal action logic. J. Applied Logic 5(2): 214-234 (2007) |
| j16 | | 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) |
| i3 | | |
| 2006 | ||
| j15 | | 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 | ||
| j14 | | Laura Giordano, Camilla Schwind: Conditional logic of actions and causation. Artif. Intell. 157(1-2): 239-279 (2004) |
| j13 | | Leopoldo E. Bertossi, Camilla Schwind: Database Repairs and Analytic Tableaux. Ann. Math. Artif. Intell. 40(1-2): 5-35 (2004) |
| c24 | | Laura Giordano, Alberto Martelli, Camilla Schwind: Verifying Communicating Agents by Model Checking in a Temporal Action Logic. JELIA 2004: 57-69 |
| i2 | | Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind: A Sequent Calculus and a Theorem Prover for Standard Conditional Logics. CoRR cs.LO/0407064 (2004) |
| 2003 | ||
| c23 | | Laura Giordano, Alberto Martelli, Camilla Schwind: Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. AI*IA 2003: 262-274 |
| c22 | | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind: Tableau Calculi for Preference-Based Conditional Logics. TABLEAUX 2003: 81-101 |
| 2002 | ||
| c21 | | Leopoldo E. Bertossi, Camilla Schwind: Analytic Tableaux and Database Repairs: Foundations. FoIKS 2002: 32-48 |
| c20 | | Laura Giordano, Camilla Schwind: Towards a Conditional Logic of Actions and Causation. JELIA 2002: 382-393 |
| c19 |  | Laura Giordano, Camilla Schwind: Towards a conditional logic of actions and causation. NMR 2002: 333-342 |
| i1 | | Leopoldo E. Bertossi, Camilla Schwind: Database Repairs and Analytic Tableaux. CoRR cs.DB/0211042 (2002) |
| 2001 | ||
| j12 | | Laura Giordano, Alberto Martelli, Camilla Schwind: Reasoning about Actions in Dynamic Linear Time Temporal Logic. Logic Journal of the IGPL 9(2): 273-288 (2001) |
| c18 | | Laura Giordano, Alberto Martelli, Camilla Schwind: Reasoning about Actions in a Multiagent Domain. AI*IA 2001: 237-248 |
| c17 | | Nicola Olivetti, Camilla Schwind: A Calculus and Complexity Bound for Minimal Conditional Logic. ICTCS 2001: 384-404 |
| 2000 | ||
| j11 | | Laura Giordano, Alberto Martelli, Camilla Schwind: Ramification and causality in a modal action logic. J. Log. Comput. 10(5): 625-662 (2000) |
| 1999 | ||
| j10 | | |
| c16 | | |
| 1998 | ||
| c15 | | Laura Giordano, Alberto Martelli, Camilla Schwind: Dealing with Concurrent Actions in Modal Action Logics. ECAI 1998: 537-541 |
| 1997 | ||
| j9 | | Philippe Chatalic, Christine Froidevaux, Camilla Schwind: Graded Hypothesis Theories. Theor. Comput. Sci. 171(1-2): 247-280 (1997) |
| 1994 | ||
| j8 | | Camilla Schwind, Pierre Siegel: A Modal Logic for Hypothesis Theory. Fundam. Inform. 21(1/2): 89-101 (1994) |
| j7 | | Vincent Risch, Camilla Schwind: Tableaux-Based Characterization and Theorem Proving for default Logic. J. Autom. Reasoning 13(2): 223-242 (1994) |
| 1993 | ||
| j6 | | Pierre Siegel, Camilla Schwind: Modal logic based theory for non-monotonic reasoning. Journal of Applied Non-Classical Logics 3(1): 73-92 (1993) |
| 1992 | ||
| c14 | | Vincent Risch, Camilla Schwind: Tableaux-Based Theorem Proving and Non-Standard Reasoning. TABLEAUX 1992: 76-78 |
| 1991 | ||
| c13 | | Camilla Schwind, Vincent Risch: A Tableau-Based Characterisation for Default Logic. ECSQARU 1991: 310-317 |
| 1990 | ||
| j5 | | Camilla Schwind: Feature grammars for semantic analysis. Computational Intelligence 6: 172-178 (1990) |
| j4 | | Camilla Schwind: An Intelligent Language Tutoring System. International Journal of Man-Machine Studies 33(5): 557-579 (1990) |
| c12 | | Camilla Schwind: A Tableau-Based Theorem Prover for a Decidable Subset of Default Logic. CADE 1990: 528-542 |
| 1988 | ||
| c11 | | Camilla Schwind: Sensitive parsing: error analysis and explanation in an intelligent language tutoring system. COLING 1988: 608-613 |
| c10 | | |
| 1984 | ||
| j3 | | Camilla Schwind: Embedding deductive capabilities in relational database systems. International Journal of Parallel Programming 13(5): 327-338 (1984) |
| c9 | | |
| c8 | | |
| c7 | | Camilla Schwind: Logic Based Natural Language Processing. Natural Language Understanding and Natural Language Understanding Workshop 1984: 207-219 |
| 1983 | ||
| j2 | | Camilla Schwind: Semantic trees for natural language representation. Inf. Process. Manage. 19(4): 223-235 (1983) |
| 1982 | ||
| c6 | | |
| 1978 | ||
| c5 | | Camilla Schwind: A Formalism for the Description of Question Answering Systems. Natural Language Communication with Computers 1978: 1-48 |
| c4 | | Frank M. Brown, Camilla Schwind: Analysing and Representing Natural Language in Logic. AISB/GI (ECAI) 1978: 66-70 |
| c3 | | |
| 1977 | ||
| c2 | | Camilla Schwind: A State Logic for the Representation of Natural Language Based Intelligent Systems. IJCAI 1977: 228 |
| 1976 | ||
| j1 | | 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 | ||
| c1 | | Camilla Schwind: Generating Hierarchical Semantic Networks Froma Natural Language Discourse. IJCAI 1975: 429-435 |
Colors in the list of coauthors
Last update Thu May 23 21:20:06 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page