scientific article

zbMath0825.68609MaRDI QIDQ4028785

Diane J. Litman, Premkumar Devanbu

Publication date: 28 March 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (1)

Unnamed Item

Cites Work

• Maintaining knowledge about temporal intervals
• First-order dynamic logic
• An empirical analysis of terminological representation systems
• Planning in a hierarchy of abstraction spaces
• STRIPS: A new approach to the application of theorem proving to problem solving
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: