1966 search results - page 12 / 394 » Description Logics and Planning |
109
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
This is a system description of the Description Logic reasoner FaCT++. The reasoner implements a tableaux decision procedure for the well known SHOIQ description logic, with additi...
155
click to vote
AI
2011
Springer
14 years 9 months ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
133
click to vote
AISC
1998
Springer
15 years 6 months ago
1998
Springer
Effective optimisation techniques can make a dramatic difference in the performance of knowledge representation systems based on expressive description logics. Because of the corre...
95
Voted
JAIR
2002
15 years 1 months ago
2002