Searching for "Hierarchical Default Logic." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Hierarchical Defaults in Specifications
- … and semantics of hierarchical defaults in logical specifications. We discuss the usefulness of defaults…
- Cited by 10 (9 self) – Add To MetaCart
-
The MVL Theorem Proving System
- … -? (load-logic #"h) ; switch to hierarchical ; default logic to check ; completed database "Hierarchical…
- Cited by 9 (2 self) – Add To MetaCart
-
A Practical Theory of Nonmonotonic Temporal Modelling
- … proof-theoretic nonmonotonic formalism called hierarchical default logic (HDL) [9], 1 While it might…
- Cited by 1 (0 self) – Add To MetaCart
-
Lexicographic ordering as a basis of priorities in default reasoning
- ….1 Priorities in default logic : : : : : : : : : : : : : : : : : : : : : : 78 6.1.1 Hierarchical default logic…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 4.
