1317 search results - page 8 / 264 » Fusions of Description Logics and Abstract Description Syste... |
DLOG
1998
14 years 10 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
CADE
1998
Springer
15 years 1 months ago
1998
Springer
CADE
2006
Springer
15 years 1 months ago
2006
Springer
INTERACT
2003
14 years 10 months ago
2003
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...
86
Voted
TABLEAUX
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...