The following pages link to (Q4539602):
Displaying 7 items.
- Combining interval-based temporal reasoning with general TBoxes (Q814545) (← links)
- Clausal resolution in a logic of rational agency (Q1606116) (← links)
- Temporalising tableaux (Q1826368) (← links)
- Representation, analysis, and extraction of knowledge from unstructured natural language texts (Q2044053) (← links)
- Coalition Description Logic with Individuals (Q3185771) (← links)
- A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case (Q4779588) (← links)
- A Tableau Decision Procedure for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">ALC</mml:mi></mml:math> With Monotonic Modal Operators and Constant Domains (Q4982117) (← links)
