- Representing Constraint Satisfaction Problems in Answer Set Programming
- CR-Prolog as a Specification Language for Constraint Satisfaction Problems
- An AProlog decision support system for the Space M. Nogueira
- USA-Smart: Improving the Quality of Plans in Answer Set Planning
- ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory
- Volume title 1 The editors
- The Autonomous Agent Architecture Marcello Balduccini
- Industrial-Size Scheduling with ASP+CP Marcello Balduccini
- Under consideration for publication in Theory and Practice of Logic Programming 1 Diagnostic reasoning with A-Prolog
- Non-monotonic Reasoning on Beowulf Platforms E. Pontelli 1 , M. Balduccini 2 , and F. Bermudez 1
- ) " 0 1223 4 25 26 3 7 8 4 ) 8 23 8 9 ) @2# 5 A 3 B 8 C 3 9 6 D 1E 3 7C 12# 1D
- Submitted to the Technical Communications of the International Conference on Logic Programming (ICLP'10) http://www.floc-conference.org/ICLP-home.html
- How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP
- Splitting a CR-Prolog Program Marcello Balduccini
- A General Method To Solve Complex Problems By Combining Multiple Answer Set Programs
- CR-MODELS: An Inference Engine for CR-Prolog Marcello Balduccini
- Computing Answer Sets of CR-Prolog Programs Marcello Balduccini
- Inductive Corrections of Action Descriptions Marcello Balduccini
- Noname manuscript No. (will be inserted by the editor)
- Model-Based Reasoning for Complex Flight Systems Marcello Balduccini and Michael Gelfond
- Issues in Parallel Execution of Non-monotononic Reasoning Systems
- Planning with the USA-Advisor Marcello Balduccini, Michael Gelfond, Richard Watson
- An A-Prolog decision support system for the Space M. Nogueira
- An A-Prolog decision support system for the Space Shuttle M. Nogueira
- Modules and Signature Declarations for A-Prolog: Progress Report
- Experiments in Answer Sets Planning (extended abstract)
- Improving DPLL Solver Performance with Domain-Specific Heuristics: the ASP Case
- The AAA Architecture: An Overview Marcello Balduccini and Michael Gelfond
- Answer Set Programming for Computational Psychological Models Sara Girotto (sara.girotto@ttu.edu)
- AProlog with CRRules and Ordered Disjunction Marcello Balduccini and Veena Mellarkod
- Diagnosing physical systems in A-Prolog Michael Gelfond, Marcello Balduccini 1 , and Joel Galloway 2
- An AProlog decision support system for the Space Shuttle M. Nogueira
- CRProlog with Ordered Disjunction Marcello Balduccini and Veena Mellarkod
- ModelBased Reasoning for Complex Flight Systems Marcello Balduccini and Michael Gelfond
- USASmart: Improving the Quality of Plans in Answer Set Planning
- Experiments in Answer Sets Planning (extended abstract)
- : CR-Prolog with Ordered Disjunction Marcello Balduccini and Veena Mellarkod
- Logic Programs with Consistency-Restoring Rules Marcello Balduccini and Michael Gelfond
- Solving the Wise Mountain Man Riddle with Answer Set Programming Marcello Balduccini
- The USA-Advisor: A Case Study in Answer Set Marcello Balduccini, Michael Gelfond, Richard Watson 1 , and
- M. Balduccini G.A. Lanzarone 26/09/97 Autonomous semi-reactive agent design based on
- Learning Action Descriptions with A-Prolog: Action Language C Marcello Balduccini
- Logic Programs with ConsistencyRestoring Rules Marcello Balduccini and Michael Gelfond
- A-Prolog as a tool for declarative programming M. Balduccini 1 , M. Gelfond 2 , M. Nogueira 1
- Planning with the USAAdvisor Marcello Balduccini, Michael Gelfond, Richard Watson
- Under consideration for publication in Theory and Practice of Logic Programming 1 Formalization of Psychological Knowledge in
- M. Balduccini G.A. Lanzarone 26/09/97 Autonomous semireactive agent design based on
- Under consideration for publication in Theory and Practice of Logic Programming 1 Diagnostic reasoning with AProlog #
- CR-Prolog with Ordered Disjunction Marcello Balduccini and Veena Mellarkod
- A-Prolog with CR-Rules and Ordered Disjunction Marcello Balduccini and Veena Mellarkod
- CRProlog 2 : CRProlog with Ordered Disjunction
- A Framework for Interleaving Planning-while-Learning and Execution
- ASP-Based Problem Solving with Cutting-Edge Tools Marcello Balduccini1
- ASP as a Cognitive Modeling Tool: Short-Term Memory and Long-Term Memory
- Practical and Methodological Aspects of the Use of Cutting-Edge ASP Tools
