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
An algorithm to evaluate quantified Boolean formulae and its experimental evaluation	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

This page was built for person: Marco Schaerf