 | A Proposal for Reasoning in Agents: Restricted Entailment [PDF][Bib]
L. Flax |
| Operational Semantics for Agents by Iterated Refinement [PDF][Bib]
F. Bergenti, G. Rimassa and M. Viroli |
| A Combined Logic of Expectation and Observation (A generalisation of
BDI logics) [PDF][Bib]
B. Tran, J. Harland and M. Hamilton |
| Logic-Based Electronic Institutions [PDF][Bib]
W. W. Vasconcelos |
| Extending the Operational Semantics of a BDI Agent-Oriented
Programming Language for Introducing Speech-Act Based Communication [PDF][Bib]
Á. F. Moreira, R. Vieira and R. H. Bordini |
| Linear Logic, Partial Deduction and Cooperative Problem Solving [PDF][Bib]
P. Küngas and M. Matskin |
| Go! for multi-threaded deliberative agents [PDF][Bib]
K. L. Clark and F. G. Mccabe |
| A Logic-Based Infrastructure for Reconfiguring Applications [PDF][Bib]
M. Castaldi, S. Costantini, S. Gentile and A.
Tocchio |
| An Agent-based Domain Specific Framework for Rapid Prototyping of
Applications in Evolutionary Biology [PDF][Bib]
C. T. Son, E. Pontelli, D. Ranjan, B. Milligan
and G. Gupta |
| Coo-BDI: Extending the BDI Model with Cooperativity [PDF][Bib]
D. Ancona and V. Mascardi |
| Modeling interactions using social integrity constraints: a resource
sharing case study [PDF][Bib]
M. Alberti, M. Gavanelli, E. Lamma, P. Mello and
P. Torroni |
