Extending ConGolog to allow partial ordering

DOI10.1007/10719619_14MaRDI QIDQ2728926zbMATH OpenFDO

Authors Chitta Baral, Tran Cao Son

Publication date 23 October 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/10719619_14

zbMATH Keywords

high level control of robotshigh level execution language ConGologspecification of non-determinismtemporal constraints

Mathematics Subject Classification ID

Artificial intelligence for robotics (68T40) Computing methodologies and applications (68U99)

Recommendations

• Relating logic programming theories of actions and partial order planning
• Planning under uncertainty as G<scp>OLOG</scp>programs
• Programming hierarchical task networks in the situation calculus
• ConGolog, a concurrent programming language based on the situation calculus
• Extending HCLP with partially ordered hierarchies and composite constraints

Cited in

(1)

• On hierarchical task networks

Describes a project that uses

Uses Software

• ConGolog
• GOLOG
• AgentSpeak
• DECAF

This page was built for publication: Extending ConGolog to allow partial ordering

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2728926)