 | 2007 |
|---|
| 56 |       | Andrea Ferrara,
Paolo Liberatore,
Marco Schaerf:
Model Checking and Preprocessing.
AI*IA 2007: 48-59 |
| 55 | | Paolo Liberatore,
Marco Schaerf:
Compilability of propositional abduction.
ACM Trans. Comput. Log. 8(1): (2007) |
| 54 | | Marco Schaerf:
Obituary: Marco Cadoli (1965-2006) Dipartimento di Informatica e Sistemistica, Antonio Ruberti Sapienza Universitá di Roma.
AI Commun. 20(2): 69-70 (2007) |
| 53 | | Marco Fratarcangeli,
Marco Schaerf,
Robert Forchheimer:
Facial motion cloning with radial basis functions in MPEG-4 FBA.
Graphical Models 69(2): 106-118 (2007) |
| 2006 |
|---|
| 52 |  | Oliviero Stock,
Marco Schaerf:
Reasoning, Action and Interaction in AI Theories and Systems, Essays Dedicated to Luigia Carlucci Aiello
Springer 2006 |
| 51 | | Marco Cadoli,
Marco Schaerf:
Partial Solutions with Unique Completion.
Reasoning, Action and Interaction in AI Theories and Systems 2006: 101-115 |
| 50 | | Marco Cadoli,
Francesco M. Donini,
Paolo Liberatore,
Marco Schaerf:
k-Approximating Circuits.
IEEE Trans. Computers 55(7): 913-917 (2006) |
| 2005 |
|---|
| 49 | | Andrea Ferrara,
Paolo Liberatore,
Marco Schaerf:
The Complexity of Action Redundancy.
AI*IA 2005: 1-12 |
| 48 | | Paolo Liberatore,
Marco Schaerf:
The complexity of model checking for propositional default logics.
Data Knowl. Eng. 55(2): 189-202 (2005) |
| 2004 |
|---|
| 47 | | Gwen Salaün,
Lucas Bordeaux,
Marco Schaerf:
Describing and Reasoning on Web Services using Process Algebra.
ICWS 2004: 43- |
| 46 | | Paolo Liberatore,
Marco Schaerf:
The Compactness of Belief Revision and Update Operators.
Fundam. Inform. 62(3-4): 377-393 (2004) |
| 2002 |
|---|
| 45 | | Francesco M. Donini,
Paolo Liberatore,
Fabio Massacci,
Marco Schaerf:
Solving QBF by SMV.
KR 2002: 578-592 |
| 44 | | Paolo Liberatore,
Marco Schaerf:
Compilability of Abduction
CoRR cs.AI/0210007: (2002) |
| 43 | | Marco Cadoli,
Francesco M. Donini,
Paolo Liberatore,
Marco Schaerf:
k-Approximating Circuits
Electronic Colloquium on Computational Complexity (ECCC)(067): (2002) |
| 42 | | Marco Cadoli,
Francesco M. Donini,
Paolo Liberatore,
Marco Schaerf:
Preprocessing of Intractable Problems.
Inf. Comput. 176(2): 89-120 (2002) |
| 41 | | Marco Cadoli,
Marco Schaerf,
Andrea Giovanardi,
Massimo Giovanardi:
An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation.
J. Autom. Reasoning 28(2): 101-142 (2002) |
| 2001 |
|---|
| 40 | | Paolo Liberatore,
Marco Schaerf:
Belief Revision and Update: Complexity of Model Checking.
J. Comput. Syst. Sci. 62(1): 43-72 (2001) |
| 2000 |
|---|
| 39 | | Paolo Liberatore,
Marco Schaerf:
Compilability of Abduction.
AAAI/IAAI 2000: 349-354 |
| 38 | | Raffaella Colaci,
Marco Schaerf:
ICARUS: Intelligent Content-Based Retrieval of 3D Scene.
AAAI/IAAI 2000: 996-1001 |
| 37 | | Paolo Liberatore,
Marco Schaerf:
BReLS: A System for the Integration of Knowledge Bases.
KR 2000: 145-152 |
| 36 | | Marco Cadoli,
Francesco M. Donini,
Paolo Liberatore,
Marco Schaerf:
Space Efficiency of Propositional Knowledge Representation Formalisms.
J. Artif. Intell. Res. (JAIR) 13: 1-31 (2000) |
| 1999 |
|---|
| 35 | | Emilio Domenicucci,
Francesco M. Donini,
Marco Schaerf:
ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes.
Description Logics 1999 |
| 34 | | Marco Schaerf,
Alessandro Tessicini:
JubilEasy: Build a Personalized 3D Visit of Rome.
VRML 1999: 105-112 |
| 33 | | Marco Cadoli,
Francesco M. Donini,
Paolo Liberatore,
Marco Schaerf:
The Size of a Revised Knowledge Base.
Artif. Intell. 115(1): 25-64 (1999) |
| 1998 |
|---|
| 32 | | Marco Cadoli,
Andrea Giovanardi,
Marco Schaerf:
An Algorithm to Evaluate Quantified Boolean Formulae.
AAAI/IAAI 1998: 262-267 |
| 31 | | Paolo Liberatore,
Marco Schaerf:
The Complexity of Model Checking for Propositional Default Logics.
ECAI 1998: 18-22 |
| 30 | | Paolo Liberatore,
Marco Schaerf:
Arbitration (or How to Merge Knowledge Bases).
IEEE Trans. Knowl. Data Eng. 10(1): 76-90 (1998) |
| 1997 |
|---|
| 29 | | Marco Cadoli,
Andrea Giovanardi,
Marco Schaerf:
Experimental Analysis of the Computational Cost of Evaluating Quantified Boolean Formulae.
AI*IA 1997: 207-218 |
| 28 | | Paolo Liberatore,
Marco Schaerf:
Reducing Belief Revision to Circumscription (and Vice Versa).
Artif. Intell. 93: 261-296 (1997) |
| 27 | | Marco Cadoli,
Francesco M. Donini,
Marco Schaerf,
Riccardo Silvestri:
On Compact Representations of Propositional Circumscription.
Theor. Comput. Sci. 182(1-2): 183-202 (1997) |
| 1996 |
|---|
| 26 | | Paolo Liberatore,
Marco Schaerf:
The Complexity of Model Checking for Belief Revision and Update.
AAAI/IAAI, Vol. 1 1996: 556-561 |
| 25 | | Marco Cadoli,
Francesco M. Donini,
Paolo Liberatore,
Marco Schaerf:
Feasibility and Unfeasibility of Off-Line Processing.
ISTCS 1996: 100-109 |
| 24 | | Marco Cadoli,
Francesco M. Donini,
Paolo Liberatore,
Marco Schaerf:
Comparing Space Efficiency of Propositional Knowledge Representation Formalisms.
KR 1996: 364-373 |
| 23 | | Marco Cadoli,
Marco Schaerf:
On the complexity of Entailment in Propositional Multivalued Logics.
Ann. Math. Artif. Intell. 18(1): 29-50 (1996) |
| 22 | | Marco Cadoli,
Francesco M. Donini,
Marco Schaerf:
Is Intractability of Nonmonotonic Reasoning a Real Drawback?
Artif. Intell. 88(1-2): 215-251 (1996) |
| 1995 |
|---|
| 21 | | Paolo Liberatore,
Marco Schaerf:
Relating Belief Revision and Circumscription.
IJCAI 1995: 1557-1566 |
| 20 | | Marco Cadoli,
Francesco M. Donini,
Paolo Liberatore,
Marco Schaerf:
The Size of a Revised Knowledge Base.
PODS 1995: 151-162 |
| 19 | | Marco Cadoli,
Francesco M. Donini,
Marco Schaerf:
On Compact Representations of Propositional Circumscription.
STACS 1995: 205-216 |
| 18 | | Paolo Liberatore,
Marco Schaerf:
Arbitration: A Commutative Operator for Belief Revision.
WOCFAI 1995: 217-228 |
| 17 | | Marco Schaerf,
Marco Cadoli:
Tractable Reasoning via Approximation.
Artif. Intell. 74(2): 249-310 (1995) |
| 16 | | Marco Cadoli,
Marco Schaerf:
Approximate Inference in Default Logic and Circumscription.
Fundam. Inform. 23(1): 123-143 (1995) |
| 15 | | Marco Schaerf:
Negation and Minimality in Disjunctive Databases.
J. Log. Program. 23(1): 63-86 (1995) |
| 1994 |
|---|
| 14 | | Marco Cadoli,
Francesco M. Donini,
Marco Schaerf:
Is Intractability of Non-Monotonic Reasoning a Real Drawback?
AAAI 1994: 946-951 |
| 13 | | Marco Cadoli,
Marco Schaerf:
Approximate Inference in Default Logic and Circumscription.
Fundam. Inform. 21(1/2): 103-112 (1994) |
| 1993 |
|---|
| 12 | | Marco Schaerf:
Logic Programming and Autoepistemic Logics: New Relations and Complexity Results.
AI*IA 1993: 132-141 |
| 11 | | Marco Schaerf:
Negation and Minimality in Non-Horn Databases.
PODS 1993: 147-157 |
| 10 | | Marco Cadoli,
Marco Schaerf:
A Survey of Complexity Results for Nonmonotonic Logics.
J. Log. Program. 17(2/3&4): 127-160 (1993) |
| 1992 |
|---|
| 9 | | Marco Cadoli,
Marco Schaerf:
Approximate Inference in Default Logic and Circumscription.
ECAI 1992: 319-323 |
| 8 | | Marco Cadoli,
Marco Schaerf:
Approximation in Concept Description Languages.
KR 1992: 330-341 |
| 7 | | Marco Cadoli,
Marco Schaerf:
Approximate Reasoning and Non-Omniscient Agents.
TARK 1992: 169-183 |
| 1991 |
|---|
| 6 | | Marco Cadoli,
Marco Schaerf:
Approximate Entailment.
AI*IA 1991: 68-77 |
| 5 | | Luigia Carlucci Aiello,
Daniele Nardi,
Marco Schaerf:
Reasoning about Knowledge: The Meta-Level Approach.
SCAI 1991: 4-18 |
| 4 | | Luigia Carlucci Aiello,
Daniele Nardi,
Marco Schaerf:
Reasoning about reasoning in a meta-level architecture.
Appl. Intell. 1(1): 55-67 (1991) |
| 3 | | Marco Schaerf:
Notes on Ginsberg's multivalued logics.
Computational Intelligence 7: 154-159 (1991) |
| 1988 |
|---|
| 2 | | Luigia Carlucci Aiello,
Daniele Nardi,
Marco Schaerf:
Reasoning About Knowledge and Ignorance.
FGCS 1988: 618-627 |
| 1 | | Luigia Carlucci Aiello,
Daniele Nardi,
Marco Schaerf:
Yet Another Solution to the Three Wisemen Puzzle.
ISMIS 1988: 398-407 |
