Publication:4028785
From MaRDI portal
zbMath0825.68609MaRDI QIDQ4028785
Premkumar Devanbu, Diane J. Litman
Publication date: 28 March 1993
68T30: Knowledge representation
Related Items
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