1052 search results - page 86 / 211 » Distributed Logic Programming using Mobile Agents |
119
click to vote
ATAL
2006
Springer
15 years 6 months ago
2006
Springer
This paper provides a general mechanism and a solid theoretical basis for performing planning within Belief-Desire-Intention (BDI) agents. BDI agent systems have emerged as one of...
116
click to vote
AAAI
2008
15 years 5 months ago
2008
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...
229
click to vote
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
135
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
155
click to vote
SIGCSE
2000
ACM
15 years 7 months ago
2000
ACM
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...