dblp.uni-trier.dewww.uni-trier.de

Marco Schaerf Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2007
56EEAndrea Ferrara, Paolo Liberatore, Marco Schaerf: Model Checking and Preprocessing. AI*IA 2007: 48-59
55EEPaolo Liberatore, Marco Schaerf: Compilability of propositional abduction. ACM Trans. Comput. Log. 8(1): (2007)
54EEMarco Schaerf: Obituary: Marco Cadoli (1965-2006) Dipartimento di Informatica e Sistemistica, Antonio Ruberti Sapienza Universitá di Roma. AI Commun. 20(2): 69-70 (2007)
53EEMarco 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
51EEMarco Cadoli, Marco Schaerf: Partial Solutions with Unique Completion. Reasoning, Action and Interaction in AI Theories and Systems 2006: 101-115
50EEMarco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: k-Approximating Circuits. IEEE Trans. Computers 55(7): 913-917 (2006)
2005
49EEAndrea Ferrara, Paolo Liberatore, Marco Schaerf: The Complexity of Action Redundancy. AI*IA 2005: 1-12
48EEPaolo Liberatore, Marco Schaerf: The complexity of model checking for propositional default logics. Data Knowl. Eng. 55(2): 189-202 (2005)
2004
47EEGwen Salaün, Lucas Bordeaux, Marco Schaerf: Describing and Reasoning on Web Services using Process Algebra. ICWS 2004: 43-
46EEPaolo 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
44EEPaolo Liberatore, Marco Schaerf: Compilability of Abduction CoRR cs.AI/0210007: (2002)
43EEMarco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: k-Approximating Circuits Electronic Colloquium on Computational Complexity (ECCC)(067): (2002)
42EEMarco 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
36EEMarco 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
35EEEmilio Domenicucci, Francesco M. Donini, Marco Schaerf: ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes. Description Logics 1999
34EEMarco Schaerf, Alessandro Tessicini: JubilEasy: Build a Personalized 3D Visit of Rome. VRML 1999: 105-112
33EEMarco 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
30EEPaolo 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
28EEPaolo Liberatore, Marco Schaerf: Reducing Belief Revision to Circumscription (and Vice Versa). Artif. Intell. 93: 261-296 (1997)
27EEMarco 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)
22EEMarco 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
20EEMarco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf: The Size of a Revised Knowledge Base. PODS 1995: 151-162
19EEMarco 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
17EEMarco 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
11EEMarco 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
4EELuigia 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

Coauthor Index

1Luigia Carlucci Aiello (Luigia Aiello) [1] [2] [4] [5]
2Lucas Bordeaux [47]
3Marco Cadoli [6] [7] [8] [9] [10] [13] [14] [16] [17] [19] [20] [22] [23] [24] [25] [27] [29] [32] [33] [36] [41] [42] [43] [50] [51]
4Raffaella Colaci [38]
5Emilio Domenicucci [35]
6Francesco M. Donini [14] [19] [20] [22] [24] [25] [27] [33] [35] [36] [42] [43] [45] [50]
7Andrea Ferrara [49] [56]
8Robert Forchheimer [53]
9Marco Fratarcangeli [53]
10Andrea Giovanardi [29] [32] [41]
11Massimo Giovanardi [41]
12Paolo Liberatore [18] [20] [21] [24] [25] [26] [28] [30] [31] [33] [36] [37] [39] [40] [42] [43] [44] [45] [46] [48] [49] [50] [55] [56]
13Fabio Massacci [45]
14Daniele Nardi [1] [2] [4] [5]
15Gwen Salaün [47]
16Riccardo Silvestri [27]
17Oliviero Stock [52]
18Alessandro Tessicini [34]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)