An A-Prolog Decision Support System for the Space Shuttle

Authors:
Monica Nogueira;Marcello Balduccini;Michael Gelfond;Richard Watson;Matthew Barry
Affiliations:
-;-;-;-;-
Venue:
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Year:
2001

Citing 12
Cited 34

Semantical considerations on nonmonotonic logic

Artificial Intelligence
From functional specifications to logic programs

ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Control knowledge in planning: benefits and tradeoffs

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Synthesis and Optimization of Digital Circuits

Synthesis and Optimization of Digital Circuits
Switching and Finite Automata Theory: Computer Science Series

Switching and Finite Automata Theory: Computer Science Series
Planning for temporally extended goals

Annals of Mathematics and Artificial Intelligence
An Application of Action Theory to the Space Shuttle

PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Open World Planning in the Situation Calculus

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Encoding Planning Problems in Nonmonotonic Logic Programs

ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
A causal theory of ramifications and qualifications

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Causal theories of action and change

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence

Non-monotonic Reasoning on Beowulf Platforms

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Representing Knowledge in A-Prolog

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
The USA-Advisor: A Case Study in Answer Set Programming

JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
The Smodels System

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
The USA-Advisor: A Case Study in Answer Set Planning

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Here's the Beef: Answer Set Programming !

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Constraint Answer Set Solving

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A translational approach to constraint answer set solving

Theory and Practice of Logic Programming
Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs

Artificial Intelligence
Answer set programming

A 25-year perspective on logic programming
25 years of applications of logic programming in Italy

A 25-year perspective on logic programming
Potassco: The Potsdam Answer Set Solving Collection

AI Communications - Answer Set Programming
Symmetry-breaking answer set solving

AI Communications - Answer Set Programming
Challenges in answer set solving

Logic programming, knowledge representation, and nonmonotonic reasoning
ASP at work: spin-off and applications of the DLV system

Logic programming, knowledge representation, and nonmonotonic reasoning
ASPIDE: integrated development environment for answer set programming

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Towards an integration of answer set and constraint solving

ICLP'05 Proceedings of the 21st international conference on Logic Programming
Answer set programming: a declarative approach to solving search problems

JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Fuzzy answer set programming

JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Design and Implementation of AT: a real-time action description language

LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
TOAST: applying answer set programming to superoptimisation

ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Using answer set programming for the automatic compilation of assessment tests

ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Declarative problem solving using answer set semantics

ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Computing weighted solutions in ASP: representation-based method vs. search-based method

Annals of Mathematics and Artificial Intelligence
Playing with rules

DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Equivalence between extended datalog programs -- a brief survey

Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Applying answer set programming to points-to analysis of object-oriented language

ICIC'11 Proceedings of the 7th international conference on Advanced Intelligent Computing
Automata-Based computation of temporal equilibrium models

LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Answer set programming for collaborative housekeeping robotics: representation, reasoning, and execution

Intelligent Service Robotics
Modeling actions based on a situative space model for recognizing human activities

AIMSA'12 Proceedings of the 15th international conference on Artificial Intelligence: methodology, systems, and applications
Cloud risk analysis by textual models

Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing
Answer set programming: language, applications and development tools

RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Action language BC: preliminary report

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence

Quantified Score

Hi-index	0.01

Visualization

Abstract

The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be successfully applied to the development of medium size knowledge-intensive applications. We report on a successful design and development of such a system controlling some of the functions of the Space Shuttle.