5198 search results - page 129 / 1040 » A Logic of Agent Programs |
JOLLI
2010
14 years 10 months ago
2010
This paper surveys the interface between the two major logical trends that describe agents’ intelligent interaction over time: dynamic epistemic logic (DEL) and epistemic tempora...
IBERAMIA
2004
Springer
15 years 4 months ago
2004
Springer
Over the last years various semantics have been proposed for dealing with updates of logic programs by (other) logic programs. Most of these semantics extend the stable models sema...
LPNMR
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Belief Logic Programming (BLP) is a novel form of quantitative logic programming in the presence of uncertain and inconsistent information, which was designed to be able ...
ASP
2003
Springer
15 years 4 months ago
2003
Springer
It is commonly believed that the meaning of a formal declarative knowledge representation language is determined by its formal semantics. This is not quite so. This paper shows an...
87
Voted
CAEPIA
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Multi-adjoint logic programs were recently proposed as a generalization of monotonic and residuated logic programs, in that simultaneous use of several implications in th...