5198 search results - page 95 / 1040 » A Logic of Agent Programs |
133
click to vote
DALT
2007
Springer
15 years 8 months ago
2007
Springer
Some issues concerning beliefs of agents are discussed. These issues are the general syntactic form of beliefs, the logic underlying beliefs, acquiring beliefs, and reasoning with ...
152
click to vote
PADL
2007
Springer
15 years 10 months ago
2007
Springer
Essential elements of aspect-oriented programming can be formulated as forms of logic programming. Extensions of Horn Clause rovide richer abstraction and control mechanisms. Defi...
133
Voted
NGC
2000
Springer
15 years 3 months ago
2000
Springer
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
