Camilla B. Schwind

Available identifiers

zbMath Open schwind.camilla-bMaRDI QIDQ1344884

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Camilla B. Schwind