Searching for authors named "Marco Schaerf" – sorted by Relevance.
28 documents found, showing 1 through 10.
Next 10 →
-
Negation And Minimality In Disjunctive Databases
- …J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 NEGATION AND MINIMALITY IN DISJUNCTIVE DATABASES MARCO…
- Cited by 3 (0 self) – Add To MetaCart
-
Logic Programming and Autoepistemic Logics: New Relations and Complexity Results
- …Logic Programming and Autoepistemic Logics: New Relations and Complexity Results ? Marco Schaerf…
- Cited by 6 (1 self) – Add To MetaCart
-
On the Complexity of Entailment in Propositional Multivalued Logics
- …On the Complexity of Entailment in Propositional Multivalued Logics Marco Cadoli Marco Schaerf…
- Cited by 9 (0 self) – Add To MetaCart
-
Compilability of Abduction
- …Compilability of Abduction Paolo Liberatore and Marco Schaerf Dipartimento di Informatica e…
- Cited by 2 (0 self) – Add To MetaCart
-
Relating Belief Revision and Circumscription
- …Relating Belief Revision and Circumscription Paolo Liberatore and Marco Schaerf Dipartimento di…
- Cited by 6 (3 self) – Add To MetaCart
-
Approximate Inference in Default Logic and Circumscription
- …Approximate Inference in Default Logic and Circumscription y Marco Cadoli, Marco Schaerf…
- Cited by 7 (0 self) – Add To MetaCart
-
The Complexity of Model Checking for Propositional Default Logics
- …The Complexity of Model Checking for Propositional Default Logics Paolo Liberatore and Marco…
- Cited by 5 (1 self) – Add To MetaCart
-
The Compactness of Belief Revision and Update Operators
- …The Compactness of Belief Revision and Update Operators Paolo Liberatore and Marco Schaerf…
- Cited by 1 (0 self) – Add To MetaCart
-
Arbitration: A Commutative Operator for Belief Revision
- …Arbitration: A Commutative Operator for Belief Revision Paolo Liberatore, Marco Schaerf…
- Cited by 17 (2 self) – Add To MetaCart
-
BReLS: A System for the Integration of Knowledge Bases
- …brels: A System for the Integration of Knowledge Bases Paolo Liberatore and Marco Schaerf…
- Cited by 21 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
