Planning from second principles
From MaRDI portal
Recommendations
Cites work
- Attributive concept descriptions with complements
- scientific article; zbMATH DE number 4174367 (Why is no real title available?)
- scientific article; zbMATH DE number 3862427 (Why is no real title available?)
- scientific article; zbMATH DE number 3985193 (Why is no real title available?)
- scientific article; zbMATH DE number 1149436 (Why is no real title available?)
- scientific article; zbMATH DE number 3219315 (Why is no real title available?)
- Planning and learning by analogical reasoning
- Proving properties of states in the situation calculus
- Reasoning and revision in hybrid representation systems
- Semantics-Based Translation Methods for Modal Logics
- Tactical theorem proving in program verification
- Terminological reasoning is inherently intractable
Cited in
(2)
This page was built for publication: Planning from second principles
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2676578)