Marco Schaerf

From MaRDI portal
Person:202173

Available identifiers

zbMath Open schaerf.marcoMaRDI QIDQ202173

List of research outcomes





PublicationDate of PublicationType
On compact representations of propositional circumscription2017-12-04Paper
Compilability of propositional abduction2017-07-12Paper
The Size of BDDs and Other Data Structures in Temporal Logics Model Checking2017-05-16Paper
On the complexity of second-best abductive explanations2015-12-21Paper
https://portal.mardi4nfdi.de/entity/Q54289362007-11-29Paper
AI*IA 2005: Advances in Artificial Intelligence2006-06-27Paper
https://portal.mardi4nfdi.de/entity/Q46542712005-03-03Paper
Reducing belief revision to circumscription (and vice versa)2003-08-28Paper
Tractable reasoning via approximation2003-02-04Paper
Preprocessing of intractable problems2003-01-14Paper
An algorithm to evaluate quantified Boolean formulae and its experimental evaluation2002-08-20Paper
An algorithm to evaluate quantified Boolean formulae and its experimental evaluation2002-02-27Paper
Belief revision and update: Complexity of model checking2001-09-09Paper
https://portal.mardi4nfdi.de/entity/Q45064592000-09-19Paper
The size of a revised knowledge base2000-06-04Paper
Is intractability of nonmonotonic reasoning a real drawback?1998-07-23Paper
On compact representations of propositional circumscription1998-07-22Paper
On the complexity of entailment in propositional multivalued logics1998-04-22Paper
Negation and minimality in disjunctive databases1997-03-17Paper
https://portal.mardi4nfdi.de/entity/Q48359061995-06-08Paper
https://portal.mardi4nfdi.de/entity/Q42983651994-08-29Paper
A survey of complexity results for non-monotonic logics1994-01-13Paper
Reasoning about reasoning in a meta-level architecture1992-06-28Paper
https://portal.mardi4nfdi.de/entity/Q56233341968-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55188241966-01-01Paper

Research outcomes over time

This page was built for person: Marco Schaerf