Camilla Schwind

55 papers A* 2A 3B 7C 2Misc 1Journal 24Unranked 15

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