On methodology of representing knowledge in dynamic domains

Science of Computer Programming

Volumn 42, Issue 1, 2002, Pages 87-99

  Gelfond, Michael ^a   Watson, Richard ^a  

^a Texas Tech University   (United States)

Author keywords

Action languages; Agents; Logic programming

Indexed keywords

FORMAL LOGIC; MATHEMATICAL MODELS; PROBLEM SOLVING; SOFTWARE AGENTS; SPACE APPLICATIONS; SPACE SHUTTLES;

REACTION CONTROL SYSTEMS (RCS);

LOGIC PROGRAMMING;

EID: 0036132085     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(01)00030-2     Document Type: Article

References (22)

1. Logic programming and negation: A survey
2. An a-prolog decision support system for the space shuttle
3. The USA-advisor: A case study in answer set planning
4. Logic programming and knowledge representation
5. Representing actions: Laws, observations, and hypothesis
6. Reasoning about actions for spacecraft redundancy management
7. Efficient top-down computation of queries under the well-founded semantics
8. Negation as failure
9. Classical negation in logic programs and disjunctive databases
10. Representing actions in extended logic programs
11. Foundations of logic programming
12. A causal theory of ramifications and qualifications
13. Applications of circumscription to formalizing common sense knowledge
14. Some philosophical problems from the standpoint of artificial intelligence
15. Smodels - An implementation of the stable model and well-founded semantics for normal logic programs
16. On closed world data bases
17. Representing actions in logic programs and default theories: A situation calculus approach
18. An application of action theory to the space shuttle