2638 search results - page 190 / 528 » Frameworks for Reasoning about Agent Based Systems |
194
click to vote
JFP
2007
15 years 6 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
159
click to vote
FLAIRS
2001
15 years 8 months ago
2001
Mixed-initiative learning integrates complementary human and automated reasoning, taking advantage of their respective reasoning styles and computational strengths in order to sol...
153
click to vote
ICARIS
2005
Springer
16 years 1 days ago
2005
Springer
Many bio-inspired algorithms (evolutionary algorithms, artificial immune systems, particle swarm optimisation, ant colony optimisation, …) are based on populations of agents. Ste...
205
click to vote
LPNMR
2007
Springer
16 years 20 days ago
2007
Springer
Decision making models for autonomous agents have received increased attention, particularly in the field of intelligent robots. In this paper we will show how a Defeasible Logic ...
154
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...