dblp.uni-trier.dewww.uni-trier.de

Camilla Schwind Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
46EERégis Alenda, Nicola Olivetti, Camilla Schwind: Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. TABLEAUX 2009: 17-31
45EELaura 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)
44EERégis Alenda, Nicola Olivetti, Camilla Schwind: Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus CoRR abs/0902.0899: (2009)
2007
43EENicola Olivetti, Gian Luca Pozzato, Camilla Schwind: A sequent calculus and a theorem prover for standard conditional logics. ACM Trans. Comput. Log. 8(4): (2007)
42EECamilla Schwind: A first-order Temporal Logic for Actions CoRR abs/0705.1999: (2007)
41EELaura Giordano, Alberto Martelli, Camilla Schwind: Specifying and verifying interaction protocols in a temporal action logic. J. Applied Logic 5(2): 214-234 (2007)
2006
40EELaura 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
39EELaura 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)
37EELaura Giordano, Camilla Schwind: Conditional logic of actions and causation. Artif. Intell. 157(1-2): 239-279 (2004)
36EENicola Olivetti, Gian Luca Pozzato, Camilla Schwind: A Sequent Calculus and a Theorem Prover for Standard Conditional Logics CoRR cs.LO/0407064: (2004)
2003
35EELaura Giordano, Alberto Martelli, Camilla Schwind: Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. AI*IA 2003: 262-274
34EELaura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind: Tableau Calculi for Preference-Based Conditional Logics. TABLEAUX 2003: 81-101
2002
33EELeopoldo E. Bertossi, Camilla Schwind: Analytic Tableaux and Database Repairs: Foundations. FoIKS 2002: 32-48
32EELaura 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
30EELeopoldo E. Bertossi, Camilla Schwind: Database Repairs and Analytic Tableaux CoRR cs.DB/0211042: (2002)
2001
29EELaura Giordano, Alberto Martelli, Camilla Schwind: Reasoning about Actions in a Multiagent Domain. AI*IA 2001: 237-248
28EENicola Olivetti, Camilla Schwind: A Calculus and Complexity Bound for Minimal Conditional Logic. ICTCS 2001: 384-404
27EELaura 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
25EECamilla Schwind: A Theory for Causal Reasoning. KI 1999: 285-288
24EECamilla 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
22EEPhilippe 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
16EECamilla 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
8EECamilla 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
2EEStephan 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

Coauthor Index

1Régis Alenda [44] [46]
2Leopoldo E. Bertossi [30] [33] [38]
3Stephan Braun [2]
4Frank M. Brown [5]
5Philippe Chatalic [22]
6Christine Froidevaux [22]
7Laura Giordano [23] [26] [27] [29] [31] [32] [34] [35] [37] [39] [40] [41] [45]
8Valentina Gliozzi [34] [45]
9Emmanuel Lafon [12]
10Alberto Martelli [23] [26] [27] [29] [35] [39] [40] [41]
11Nicola Olivetti [28] [34] [36] [43] [44] [45] [46]
12Gian Luca Pozzato [36] [43]
13Vincent Risch [17] [18] [20]
14Pierre Siegel [19] [21]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)