5198 search results - page 102 / 1040 » A Logic of Agent Programs |
AMAI
2006
Springer
14 years 11 months ago
2006
Springer
We show that the concepts of strong and uniform equivalence of logic programs eneralized to an abstract algebraic setting of operators on complete lattices. Our results imply char...
IJCAI
2007
15 years 22 days ago
2007
If modal logics for coalitions need to be applied, one must know how to translate coalition power into agents’ actions. To these days, the connection between coalition power and...
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
AMAI
2004
Springer
15 years 4 months ago
2004
Springer
The framework of algorithmic knowledge assumes that agents use algorithms to compute the facts they explicitly know. In many cases of interest, a logical theory, rather than a par...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
Awareness has been shown to be a useful addition to standard epistemic logic for many applications. However, standard propositional logics for knowledge and awareness cannot expre...