1143 search results - page 30 / 229 » Prospective Logic Agents |
115
click to vote
AAAI
1994
15 years 3 months ago
1994
We present a method of representing some classes of default theories as normal logic programs. The main point is that the standard semantics (i.e. SLDNF-resolution) computes answe...
89
Voted
IJCAI
2007
15 years 3 months 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...
115
click to vote
AMAI
2004
Springer
15 years 7 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...
96
Voted
CORR
2006
Springer
15 years 1 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...
AAAI
1998
15 years 3 months ago
1998
Deonticlogic, the logic of obligations andpermissions, is plagued by several paradoxes that have to be understood before deontic logic can be used as a knowledge representation la...