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 | 326 | 2001 |
Logic programs with consistency-restoring rules M Balduccini, M Gelfond International Symposium on Logical Formalization of Commonsense Reasoning …, 2003 | 253 | 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 Proceedings of ICLP 9, 61-70, 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 | 86 | 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 | 55 | 2011 |
Knowledge representation and question answering M Balduccini, C Baral, Y Lierler Foundations of Artificial Intelligence 3, 779-819, 2008 | 43* | 2008 |
CR-MODELS: An inference engine for CR-Prolog M Balduccini Lecture Notes in Computer Science 4483, 18-30, 2007 | 43 | 2007 |
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 | 41 | 2017 |
Issues in parallel execution of non-monotonic reasoning systems M Balduccini, E Pontelli, O Elkhatib, H Le Parallel Computing 31 (6), 608-647, 2005 | 40 | 2005 |
Cr-prolog2: Cr-prolog with ordered disjunction M Balduccini, VS Mellarkod ASP03 Answer Set Programming: Advances in Theory and Implementation 78, 2003 | 35 | 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 | 33 | 2000 |
Learning and using domain-specific heuristics in ASP solvers M Balduccini AI Communications 24 (2), 147-164, 2011 | 30 | 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 | 27 | 2017 |
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 |
Usa-smart: Improving the quality of plans in answer set planning M Balduccini Practical Aspects of Declarative Languages: 6th International Symposium …, 2004 | 27 | 2004 |
Learning Action Descriptions with A-Prolog: Action Language C. M Balduccini AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 13-18, 2007 | 24 | 2007 |
Answer set based design of highly autonomous, rational agents M Balduccini Texas Tech University, 2005 | 24 | 2005 |