AgentLink.org | European Co-ordination Action for Agent-Based Computing



Industry Action Standardisation Activity Research Action Student Integration Technical Forum Technological Roadmap


Technical Conference: ATC Summer School: EASSS Technical Forum: TFG


AgentLink Newsletter Roadmap Email Update Document Archive





Agent Curricula Agent Job Finder Agent Papers Agent Projects Agent Software << ADD RESOURCES >>


Join AgentLink Members Map People Finder


Contact AgentLink Expenses Claims FAQ Advanced Search

Implementing joint fixpoint semantics on top of DLV

Archive Home
About EPrints
Browse:
    by Subject
    by Year
    by Author

GNU EPrints

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

Type: Article

Subject: 1.2.5 Semantics of agency and logics of agency

Member Organisation: 063 DIMET - Dipartimento di Matematica, Informatica, Elettronica e Trasporti

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

Full text not available from this archive.

Deposited by AgentLink Archive Administrator on 02 February 2005

Archive Staff Only: edit this record