5198 search results - page 69 / 1040 » A Logic of Agent Programs |
72
Voted
SLP
1990
15 years 11 days ago
1990
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...
AAAI
1990
15 years 11 days ago
1990
Current explanation-based generalization (EBG) techniques can perform badly when the problem being solved involves recursion. Often an infinite series of learned concepts are gene...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...
125
click to vote
ACOM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
MAAMAW
1994
Springer
15 years 3 months ago
1994
Springer