823 search results - page 64 / 165 » A taxonomy of argumentation models used for knowledge repres... |
110
click to vote
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
AGI
2008
15 years 2 months ago
2008
Our goal is to understand human language use and create systems that can use human language fluently. We argue that to a achieve this goal, we must formulate all of the problems fo...
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents an architecture for solving generically the problem of extracting the constraints of a given task in a programming by demonstration framework and the problem...
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
To increase the assurance with which agents can be deployed in operational settings, we have been developing the KAoS policy and domain services. In conjunction with Nomads strong...
107
click to vote
AIME
2005
Springer
15 years 7 months ago
2005
Springer
Evidence-based clinical guidelines require frequent updates due to research and technology advances. The quality of guideline updates can be improved if the knowledge underlying th...