5198 search results - page 119 / 1040 » A Logic of Agent Programs |
BIRTHDAY
2010
Springer
14 years 9 months ago
2010
Springer
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...
102
click to vote
AAAI
1996
15 years 23 days ago
1996
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...
ICLP
2007
Springer
15 years 5 months ago
2007
Springer
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.
122
click to vote
ICFP
1999
ACM
15 years 3 months ago
1999
ACM
Functional logic languages combine the operational principles of the most important declarative programming paradigms, namely functional and logic programming. Inductively sequent...
AOSE
2004
Springer
15 years 4 months ago
2004
Springer
In the paper we study the dynamics of roles played by agents in multiagent systems. We capture role dynamics in terms of four operation performed by agents: ‘enactment’, ‘dea...