Marcello Balduccini Coauthor index pubzone.org

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

DBLP keys2012
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, Yulia Lierler: Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools. PADL 2012: 78-92
2011
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, Tran Cao Son: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday Springer 2011
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini: Industrial-Size Scheduling with ASP+CP. LPNMR 2011: 284-296
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, Sara Girotto: ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 377-397
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, Stefan Woltran: Special issue on answer set programming. AI Commun. 24(2): 105-106 (2011)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini: Learning and using domain-specific heuristics in ASP solvers. AI Commun. 24(2): 147-164 (2011)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini: Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case CoRR abs/1102.2125: (2011)
2010
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini: Learning Domain-Specific Heuristics for Answer Set Solvers. ICLP (Technical Communications) 2010: 14-23
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, Sara Girotto: Formalizing Psychological Knowledge in Answer Set Programming. KR 2010
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, Sara Girotto: Formalization of Psychological Knowledge in Answer Set Programming and its Application CoRR abs/1007.4767: (2010)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, Sara Girotto: Formalization of psychological knowledge in answer set programming and its application. TPLP 10(4-6): 725-740 (2010)
2009
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini: Splitting a CR-Prolog Program. LPNMR 2009: 17-29
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini: How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP. LPNMR 2009: 4-16
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini: CR-Prolog as a Specification Language for Constraint Satisfaction Problems. LPNMR 2009: 402-408
2008
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, Chitta Baral: Organizing Committee. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, Michael Gelfond: The AAA Architecture: An Overview. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008: 1-6
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, Chitta Baral, Boyan Brodaric, Simon Colton, Peter Fox, David Gutelius, Knut Hinkelmann, Ian Horswill, Bernardo A. Huberman, Eva Hudlicka, Kristina Lerman, Christine L. Lisetti, Deborah L. McGuinness, Mary Lou Maher, Mark A. Musen, Mehran Sahami, Derek H. Sleeman, Barbara Thönssen, Juan D. Velásquez, Dan Ventura: AAAI 2008 Spring Symposia Reports. AI Magazine 29(3): 107-115 (2008)
2007
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini: Learning Action Descriptions with A-Prolog: Action Language C. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 13-18
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini: cr-models: An Inference Engine for CR-Prolog. LPNMR 2007: 18-30
2006
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, Michael Gelfond, Monica Nogueira: Answer set based design of knowledge systems. Ann. Math. Artif. Intell. 47(1-2): 183-219 (2006)
2005
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, Enrico Pontelli, Omar El-Khatib, Hung Le: Issues in parallel execution of non-monotonic reasoning systems. Parallel Computing 31(6): 608-647 (2005)
2004
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini: USA-Smart: Improving the Quality of Plans in Answer Set Planning. PADL 2004: 135-147
2003
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, Veena S. Mellarkod: CR-Prolog with Ordered Disjunction. Answer Set Programming 2003
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Marcello Balduccini, F. Bermudez: Non-monotonic Reasoning on Beowulf Platforms. PADL 2003: 37-57
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, Michael Gelfond: Diagnostic reasoning with A-Prolog CoRR cs.AI/0312040: (2003)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, Michael Gelfond: Diagnostic reasoning with A-Prolog. TPLP 3(4-5): 425-461 (2003)
2001
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMonica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry: An A Prolog decision support system for the Space Shuttle. Answer Set Programming 2001
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Gelfond, Marcello Balduccini, Joel Galloway: Diagnosing Physical Systems in A-Prolog. LPNMR 2001: 213-225
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, Michael Gelfond, Richard Watson, Monica Nogueira: The USA-Advisor: A Case Study in Answer Set Planning. LPNMR 2001: 439-442
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMonica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry: An A-Prolog Decision Support System for the Space Shuttle. PADL 2001: 169-183
2000
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini: A Framework for Interleaving Planning-while-Learning and Execution. MICAI 2000: 247-259
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello Balduccini, G. Brignoli, Gaetano Aurelio Lanzarone, F. Magni, Alessandro Provetti: Experiments in Answer Sets Planning. MICAI 2000: 95-107

Coauthor Index

1Chitta Baral [16] [18]
2Matthew Barry [3] [6]
3F. Bermudez [9]
4G. Brignoli [1]
5Boyan Brodaric [16]
6Simon Colton [16]
7Omar El-Khatib [12]
8Peter Fox [16]
9Joel Galloway [5]
10Michael Gelfond [3] [4] [5] [6] [7] [8] [13] [17]
11Sara Girotto [22] [23] [24] [29]
12David Gutelius [16]
13Knut Hinkelmann [16]
14Ian Horswill [16]
15Bernardo A. Huberman [16]
16Eva Hudlicka [16]
17Gaetano Aurelio Lanzarone [1]
18Hung Le [12]
19Kristina Lerman [16]
20Yulia Lierler [32]
21Christine L. Lisetti (Christine Lætitia Lisetti) [16]
22F. Magni [1]
23Mary Lou Maher [16]
24Deborah L. McGuinness [16]
25Veena S. Mellarkod [10]
26Mark A. Musen [16]
27Monica Nogueira [3] [4] [6] [13]
28Enrico Pontelli [9] [12]
29Alessandro Provetti [1]
30Mehran Sahami [16]
31Derek H. Sleeman [16]
32Tran Cao Son [31]
33Barbara Thönssen [16]
34Juan D. Velásquez [16]
35Dan Ventura [16]
36Richard Watson [3] [4] [6]
37Stefan Woltran [28]

Colors in the list of coauthors

Last update Sun May 27 00:50:04 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page