Controlling semi-automatic systems with FLUX

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2916, Issue , 2003, Pages 515-516

  Thielscher, Michael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346264914     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24599-5_49     Document Type: Conference Paper

References (4)

1. S. McIlraith. An axiomatic solution to the ramification problem (sometimes). Artificial Intelligence, 116(1-2):87-121, 2000.
2. M. Thielscher. Ramification and causality. Artificial Intelligence, 89(1-2):317-364, 1997.
3. M. Thielscher. FLUX: A Logic Programming Method for Reasoning Agents. Theory and Practise of Logic Programming, 2004.
4. R. Watson. An application of action theory to the space shuttle. In Proc. of PADL, vol. 1551 of LNCS, 290-304, 1998.