413 search results - page 27 / 83 » Decidable Reasoning in Terminological Knowledge Representati... |
135
Voted
IJCAI
2007
15 years 5 months ago
2007
The association of perception and action is key to learning by observation in general, and to programlevel task imitation in particular. The question is how to structure this info...
118
Voted
ATAL
2007
Springer
15 years 10 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...
115
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
The lack of a common language and mutual understanding between the disciplines of systems development/software engineering and HCI does create challenges for both teaching and pra...
95
Voted
ER
2007
Springer
15 years 10 months ago
2007
Springer
Representation and reasoning about information system (IS) requirements is facilitated with the use of goal models to describe the desired and undesired IS behaviors. One difficul...
120
Voted
AIMSA
2006
Springer
15 years 7 months ago
2006
Springer
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...