Marco Schaerf

MaRDI QIDQ202173zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On compact representations of propositional circumscription STACS 95	2017-12-04	Paper
Compilability of propositional abduction ACM Transactions on Computational Logic	2017-07-12	Paper
The Size of BDDs and Other Data Structures in Temporal Logics Model Checking IEEE Transactions on Computers	2017-05-16	Paper
On the complexity of second-best abductive explanations International Journal of Approximate Reasoning	2015-12-21	Paper
scientific article; zbMATH DE number 5215803 (Why is no real title available?)	2007-11-29	Paper
AI*IA 2005: Advances in Artificial Intelligence Lecture Notes in Computer Science	2006-06-27	Paper
scientific article; zbMATH DE number 2140435 (Why is no real title available?)	2005-03-03	Paper
Reducing belief revision to circumscription (and vice versa) Artificial Intelligence	2003-08-28	Paper
Tractable reasoning via approximation Artificial Intelligence	2003-02-04	Paper
Preprocessing of intractable problems Information and Computation	2003-01-14	Paper
An algorithm to evaluate quantified Boolean formulae and its experimental evaluation Journal of Automated Reasoning	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 Journal of Computer and System Sciences	2001-09-09	Paper
scientific article; zbMATH DE number 1509480 (Why is no real title available?)	2000-09-19	Paper
The size of a revised knowledge base Artificial Intelligence	2000-06-04	Paper
Is intractability of nonmonotonic reasoning a real drawback? Artificial Intelligence	1998-07-23	Paper
On compact representations of propositional circumscription Theoretical Computer Science	1998-07-22	Paper
On the complexity of entailment in propositional multivalued logics Annals of Mathematics and Artificial Intelligence	1998-04-22	Paper
Negation and minimality in disjunctive databases The Journal of Logic Programming	1997-03-17	Paper
scientific article; zbMATH DE number 762062 (Why is no real title available?)	1995-06-08	Paper
scientific article; zbMATH DE number 611096 (Why is no real title available?)	1994-08-29	Paper
A survey of complexity results for non-monotonic logics The Journal of Logic Programming	1994-01-13	Paper
Reasoning about reasoning in a meta-level architecture Applied Intelligence	1992-06-28	Paper
scientific article; zbMATH DE number 3347730 (Why is no real title available?)	1968-01-01	Paper
scientific article; zbMATH DE number 3230789 (Why is no real title available?)	1966-01-01	Paper

Research outcomes over time

This page was built for person: Marco Schaerf