| An A-Prolog decision support system for the Space Shuttle M Nogueira, M Balduccini, M Gelfond, R Watson, M Barry Practical Aspects of Declarative Languages: Third International Symposium …, 2001 | 335 | 2001 |
| Logic programs with consistency-restoring rules M Balduccini, M Gelfond International Symposium on Logical Formalization of Commonsense Reasoning …, 2003 | 264 | 2003 |
| Diagnostic reasoning with A-Prolog M Balduccini, M Gelfond Theory and Practice of Logic Programming 3 (4-5), 425-461, 2003 | 163 | 2003 |
| Representing constraint satisfaction problems in answer set programming M Balduccini ICLP09 Workshop on Answer Set Programming and Other Computing Paradigms …, 2009 | 95 | 2009 |
| Answer set based design of knowledge systems M Balduccini, M Gelfond, M Nogueira Annals of Mathematics and Artificial Intelligence 47, 183-219, 2006 | 89 | 2006 |
| The USA-Advisor: A case study in answer set planning M Balduccini, M Gelfond, R Watson, M Nogueira Logic Programming and Nonmotonic Reasoning: 6th International Conference …, 2001 | 80 | 2001 |
| Industrial-size scheduling with ASP+ CP M Balduccini Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011 | 64 | 2011 |
| Constraint answer set solver EZCSP and why integration schemas matter M Balduccini, Y Lierler Theory and Practice of Logic Programming 17 (4), 462-515, 2017 | 46 | 2017 |
| Knowledge representation and question answering M Balduccini, C Baral, Y Lierler Foundations of Artificial Intelligence 3, 779-819, 2008 | 41* | 2008 |
| Issues in parallel execution of non-monotonic reasoning systems M Balduccini, E Pontelli, O Elkhatib, H Le Parallel Computing 31 (6), 608-647, 2005 | 41 | 2005 |
| cr-models: An Inference Engine for CR-Prolog M Balduccini International Conference on Logic Programming and Nonmonotonic Reasoning, 18-30, 2007 | 40 | 2007 |
| Cr-prolog2: Cr-prolog with ordered disjunction M Balduccini, VS Mellarkod ASP03 Answer Set Programming: Advances in Theory and Implementation 78, 2003 | 36 | 2003 |
| A-Prolog as a tool for declarative programming M Balduccini, M Gelfond, M Nogueira Proceedings of the 12th International Conference on Software Engineering and …, 2000 | 35 | 2000 |
| Learning and using domain-specific heuristics in ASP solvers M Balduccini AI Communications 24 (2), 147-164, 2011 | 33 | 2011 |
| “Information warfare” and online news commenting: Analyzing forces of social influence through location-based commenting user typology A Zelenkauskaite, M Balduccini Social Media+ Society 3 (3), 2056305117718468, 2017 | 31 | 2017 |
| Ontology-based reasoning about the trustworthiness of cyber-physical systems M Balduccini, E Griffor, M Huth, C Vishik, M Burns, D Wollman IET Digital Library, 2018 | 28 | 2018 |
| Usa-smart: Improving the quality of plans in answer set planning M Balduccini Practical Aspects of Declarative Languages: 6th International Symposium …, 2004 | 28 | 2004 |
| Multimedia object retrieval from natural language queries M Balduccini, S Girotto US Patent 8,161,063, 2012 | 27 | 2012 |
| The AAA Architecture: An Overview. M Balduccini, M Gelfond AAAI Spring Symposium: Emotion, Personality, and Social Behavior, 1-6, 2008 | 27 | 2008 |
| Learning Action Descriptions with A-Prolog: Action Language C. M Balduccini AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 13-18, 2007 | 26 | 2007 |
