335 search results - page 27 / 67 » KRRT: Knowledge Representation and Reasoning Tutor System |
AUSAI
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. Description logics are powerful knowledge representation systems providing well-founded and computationally tractable classification reasoning. However recognition of in...
101
click to vote
SCAI
1993
14 years 11 months ago
1993
Among the most important challenges for contemporary AI research are the development of methods for improved robustness, adaptability, and overall interactiveness of systems. Inter...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
86
Voted
AAAI
1997
14 years 11 months ago
1997
CNF-BCP is a well-known propositional reasoner that extends clausal Boolean Constraint Propagation (BCP) to non-clausal theories. Although BCP has efficient linear-time implementa...
ECMDAFA
2006
Springer
15 years 1 months ago
2006
Springer
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...