240 search results - page 24 / 48 » A Logic for Reasoning about Rational Agents |
114
click to vote
AGENTS
2001
Springer
15 years 6 months ago
2001
Springer
PHOSPHORUS is an agent matchmaking service that exploits domain ontologies, description logic, and a highly declarative language to reason about task-related agent capabilities. P...
106
click to vote
AGI
2008
15 years 3 months ago
2008
OSCAR is a fully implemented architecture for a cognitive agent, based largely on the author's work in philosophy concerning epistemology and practical cognition. The seminal ...
116
Voted
PADL
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
124
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
111
click to vote
DALT
2009
Springer
15 years 6 months ago
2009
Springer
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...