Subject: 1.2.5 Semantics of agency and logics of agency

 
EPrints.org
Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.

Number of items: 29.

[Course] Dix, Jurgen (2005) Multi-Agent Systems.

Alechina, N. and Logan, B. and Whitsey, M. (2004) A complete and decidable logic for resource-bounded agents. In: The Third International Joint Conference on Autonomous Agents and Mutli-Agent Systems. .

Hamel, A. and Pinson, S. and Marie Attonaty, J. (2004) ACKA: an Approach for Cooperative Knowledge Acquisition. In: The Second European Workshop on Multi-Agent Systems, Barcelona, Spain.

Gomez Sanz, Jorge and Fuentes, Ruben (2004) Agent Oriented Software Engineering with Web Applications. International Journal of Web Engineering and Technology, 1 (4). 471- 483. ISSN 1741-9212

Jago, M. (2004) Belief Revision for Resource Bounded Agents. In: The Second European Workshop on Multi-Agent Systems, Barcelona, Spain.

Buccafurri, F. and Caminiti, G. (2004) Implementing joint fixpoint semantics on top of DLV. Proc. of Convegno Italiano di Logica Computazionale (CILC 2004).

Chesnevar, C. and Simari, G.R. and Alsinet, T. and Godo, L. (2004) Modelling Agent Reasoning in a Logic Programming Framework for Possibilistic Argumentation. In: The Second European Workshop on Multi-Agent Systems, Barcelona, Spain.

van Otterloo, S. and Wooldridge, M. (2004) On the Complexity of Knowledge Condition Games. In: The Second European Workshop on Multi-Agent Systems, Barcelona, Spain.

Sadrzadeh, M. and Baltag, A. and Coecke, B. (2004) Reasong about Dynamic Epistemic Logic. In: The Second European Workshop on Multi-Agent Systems, Barcelona, Spain.

Jakob, M. and Tozicka, J. and Pechoucek, M. and Stepankova, O. (2004) Reasoning about Agents' Private Knowledge. In: The Second European Workshop on Multi-Agent Systems, Barcelona, Spain.

Raimondi, F. and Lomuscio, A. (2004) Symbolic model checking of multi-agent systems via OBDDs: an algorithm and its implementation. In: The Third International Joint Conference on Autonomous Agents and Mutli-Agent Systems. .

Agotnes, T. and Walicki, M. (2004) Syntactic Knowledge: A Logic of Reasoning. In: The Second European Workshop on Multi-Agent Systems, Barcelona, Spain.

Gomez-Sanz, Jorge and Pavon, Juan (2003) Agent oriented software engineering with INGENIAS. In: 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, June 16-18, 2003, Prague, Czech Republic.

Lamma, E. and Pereira, L.M. and Riguzzi, F. (2003) Belief Revision via Lamarckian Evolution. New Generation Computing, 21 (3). pp. 247-275.

Van Ditmarsch, H. and Van der Hoek, W. and Kooi, B. (2003) Cuncurrent Dynamic Epistemic Logic for MAS. In: Proceedings of the second international joint conference on autonomous agents and multiagent systems (AAMAS), pp. , pp. 201-208.

Leite, J. A. (2003) Evolving knowledge bases: specification and semantics. Frontiers in Artificial Intelligence and Applications, 81. IOS Press. ISBN 1 58603 278 X

Bordini, R.H. and Fisher, M. and Pardavila, C. and Wooldridge, M. (2003) Model Checking AgentSpeak. In: Proceedings of the Second International Conference on Autonomous Agents and Multiagent Systems (AAMAS-03). , Melbourne, Australia.

Van der Hoek, W. and Wooldridge, M. (2003) Model Checking Cooperation, Knowledge, and Time --A Case Study. Research in Economics, 57 (3). pp. 235-265.

Bordini, R.H. and Fisher, M. and Pardavila, C. and Visser, W. and Wooldridge, M. (2003) Model Checking Multi-AGent Programs with CASP. In: Proceedings of the Fifteenth Computer-Aided Verification Conference (CAV-2003). , Boulder, Colorado.

Van der Hoek, W. and Wooldridge, M. (2003) Towards a Logic of Rational Agency. Logic Journal of the IGPL, 11 (2). pp. 133-157.

Mascardi, V. and Martelli, M. and Sterling, L. (2002) Logic-Based Specification Languages for Intelligent Software Agents. Theory and Practice of Logic Programming Journal.

Gomez-Sanz, Jorge and Pavon, Juan (2002) Meta-modelling in Agent Oriented Software Engineering. In: 8th Ibero-American Conference on AI, November 12-15, 2002, Seville, Spain.

Wooldridge, M. and Fisher, M. and Huget, M.P. and Parsons, S. (2002) Model Checking Multiagent systems with MABLE. In: Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02). , Bologna, Italy.

Van der Hoek, W. and Wooldridge, M. (2002) Tractable Multiagent Planning for Epistemic Goals. In: Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02). , Bologna, Italy.

Wooldridge, M. and Lomuscio, A. (2001) A Computationally Grounded Logic of Visibility. Perception, and Knowledge In Logic Journal of the IGPL, 9 (2). pp. 273-288.

Ryan, M. and Schobbens, P.Y. (2001) Agents and Roles: Refinement in Alternating-Time Temporal Logic. ATAL. .

Bonarini, A. (2001) Evolutionary learning, reinforcement learning, and fuzzy rules for knowledge acquisition in agent-based systems. Proceedings of the IEEE, 89 (9). pp. 1334-1346.

Amigoni, F. and Somalvico, M. and Zanisi, D. (1999) A Theoretical Framework for the Conception of Agency. International Journal of Intelligent Systems, 14 (5).

Giunchiglia, F. and Serafini, L. (1994) Multilanguage Hierarchical Logics (or: How we can do without modal logics). Artificial Intelligence, 65. pp. 29-70.

This list was generated on Mon Sep 10 17:00:28 BST 2007.

   

AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact web@agentlink.org.