Diagnostic Reasoning for Robotics Using Action Languages

DOI10.1007/978-3-319-23264-5_27zbMath1467.68188OpenAlexW2262859093MaRDI QIDQ3449216

Esra Erdem, Zeynep G. Saribatur, Volkan Patoglu

Publication date: 4 November 2015

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: http://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3093

zbMATH Keywords

diagnostic reasoningaction languagesanswer set programming

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17) Artificial intelligence for robotics (68T40)

Related Items (1)

Diagnostic Reasoning for Robotics Using Action Languages

Uses Software

• MiniSat
• clasp

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nonmonotonic causal theories
• A theory of diagnosis from first principles
• Prolegomena to a theory of mechanized formal reasoning
• Characterizing diagnoses and systems
• Answer set programming and plan generation
• Logic programs with stable model semantics as a constraint programming paradigm
• Diagnostic Reasoning for Robotics Using Action Languages
• Diagnostic reasoning with A-Prolog
• Theory and Applications of Satisfiability Testing
• Logic for Programming, Artificial Intelligence, and Reasoning

This page was built for publication: Diagnostic Reasoning for Robotics Using Action Languages