5198 search results - page 107 / 1040 » A Logic of Agent Programs |
CORR
2002
Springer
14 years 11 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
68
Voted
AGP
2003
IEEE
2003
IEEE
Generazione automatica di manovre per lo Space Shuttle mediante la Programmazione Logica Disgiuntiva
15 years 4 months ago
AGP
2003
IEEE
15 years 4 months ago
2003
IEEE
ENTCS
2010
14 years 11 months ago
2010
Focalization property is a deep outcome of linear logic proof theory, putting to the foreground the role of polarity in logic. It resulted an important advances in various fields, ...
JELIA
2004
Springer
15 years 4 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...