10568 search results - page 674 / 2114 » Computer Intelligence and Formalization |
243
click to vote
EPIA
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...
187
click to vote
ATAL
2004
Springer
16 years 18 days ago
2004
Springer
Decentralized MDPs provide a powerful formal framework for planning in multi-agent systems, but the complexity of the model limits its usefulness. We study in this paper a class o...
199
click to vote
EKAW
2004
Springer
16 years 17 days ago
2004
Springer
Capturing and exploiting knowledge is at the heart of several important problems such as decision making, the semantic web, and intelligent agents. The captured knowledge must be a...
185
click to vote
NMR
2004
Springer
16 years 16 days ago
2004
Springer
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
210
click to vote
ICFCA
2007
Springer
15 years 11 months ago
2007
Springer
Different rule semantics have been successively defined in many contexts such as implications in artificial intelligence, functional dependencies in databases or association rules...