Marco Schaerf

Available identifiers

zbMath Open schaerf.marcoMaRDI QIDQ202173

List of research outcomes

Publication	Date of Publication	Type
On compact representations of propositional circumscription	2017-12-04	Paper
Compilability of propositional abduction	2017-07-12	Paper
The Size of BDDs and Other Data Structures in Temporal Logics Model Checking	2017-05-16	Paper
On the complexity of second-best abductive explanations	2015-12-21	Paper
https://portal.mardi4nfdi.de/entity/Q5428936	2007-11-29	Paper
AI*IA 2005: Advances in Artificial Intelligence	2006-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4654271	2005-03-03	Paper
Reducing belief revision to circumscription (and vice versa)	2003-08-28	Paper
Tractable reasoning via approximation	2003-02-04	Paper
Preprocessing of intractable problems	2003-01-14	Paper
An algorithm to evaluate quantified Boolean formulae and its experimental evaluation	2002-08-20	Paper
https://portal.mardi4nfdi.de/entity/Q2751045	2002-02-27	Paper
Belief revision and update: Complexity of model checking	2001-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4506459	2000-09-19	Paper
The size of a revised knowledge base	2000-06-04	Paper
Is intractability of nonmonotonic reasoning a real drawback?	1998-07-23	Paper
On compact representations of propositional circumscription	1998-07-22	Paper
On the complexity of entailment in propositional multivalued logics	1998-04-22	Paper
Negation and minimality in disjunctive databases	1997-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q4835906	1995-06-08	Paper
https://portal.mardi4nfdi.de/entity/Q4298365	1994-08-29	Paper
A survey of complexity results for non-monotonic logics	1994-01-13	Paper
Reasoning about reasoning in a meta-level architecture	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q5623334	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5518824	1966-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: Marco Schaerf