Decidable temporal dynamic description logic (Q2917155)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Decidable temporal dynamic description logic |
scientific article; zbMATH DE number 6091519
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decidable temporal dynamic description logic |
scientific article; zbMATH DE number 6091519 |
Statements
5 October 2012
0 references
dynamic description logic
0 references
branching temporal logic
0 references
knowledge representation
0 references
action theory
0 references
tableau decision algorithm
0 references
0 references
0.9344656
0 references
0.9251947
0 references
0.9232848
0 references
0.92314273
0 references
0.9212052
0 references
0.91764426
0 references
0.9143369
0 references
Decidable temporal dynamic description logic (English)
0 references
