5198 search results - page 81 / 1040 » A Logic of Agent Programs |
IAT
2009
IEEE
15 years 6 months ago
2009
IEEE
—We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We mod...
104
click to vote
DALT
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. This paper presents two approaches for generating and executing the plans of cognitive agents. They can be used to define the semantics of programming languages for cogni...
107
click to vote
LPNMR
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and checkâ...
111
click to vote
DKE
2008
14 years 11 months ago
2008
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
121
click to vote
ECSQARU
2005
Springer
15 years 4 months ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...