Camilla B. Schwind

Available identifiers

zbMath Open schwind.camilla-bMaRDI QIDQ1344884

List of research outcomes

Publication	Date of Publication	Type
Automated deduction	2024-09-11	Paper
A tableaux-based theorem prover for a decidable subset of default logic	2023-04-28	Paper
A sequent calculus and a theorem prover for standard conditional logics	2017-07-12	Paper
Tableau calculus for preference-based conditional logics	2015-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q2852084	2013-10-07	Paper
Tableau Calculi for $\mathcal{CSL}$ over minspaces	2010-09-03	Paper
Automated Reasoning with Analytic Tableaux and Related Methods	2010-03-09	Paper
AI*IA 2003: Advances in Artificial Intelligence	2010-03-05	Paper
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus	2009-12-01	Paper
Specifying and verifying interaction protocols in a temporal action logic	2007-07-25	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
Conditional logic of actions and causation	2006-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q4472208	2004-08-04	Paper
Database repairs and analytic tableaux	2004-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4448378	2004-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4708933	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4799264	2003-03-18	Paper
Reasoning about actions in dynamic linear time temporal logic	2001-05-16	Paper
Ramification and causality in a modal action logic	2000-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q4511320	2000-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q4494329	2000-08-10	Paper
Graded hypothesis theories	1997-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4298364	1995-06-20	Paper
Tableau-based characterization and theorem proving for default logic	1995-02-22	Paper
Revision and action	1994-07-07	Paper
Modal logic based theory for non-monotonic reasoning	1994-06-05	Paper
Embedding deductive capabilities in relational database systems	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4190131	1979-01-01	Paper
Automatic, semantics-based indexing of natural language texts for information retrieval systems	1976-01-01	Paper

Research outcomes over time

This page was built for person: Camilla B. Schwind