Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Leite, João  Voir les notices liées en tant qu'auteur

Titre(s) : Declarative Agent Languages and Technologies II [Texte électronique] : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers / edited by João Leite, Andrea Omicini, Paolo Torroni, pInar Yolum

Publication : Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005

Description matérielle : 1 ressource dématérialisée

Collection : Lecture notes in computer science ; 3476. Lecture notes in artificial intelligence

Note(s) : Computer Science (Springer-11645)

Autre(s) auteur(s) : Omicini, Andrea. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Torroni, Paolo (1973-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
Yolum, pInar. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Programmation déclarative  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Langages de programmation  Voir les notices liées en tant que sujet
Intelligence artificielle  Voir les notices liées en tant que sujet
Réseaux d'ordinateurs  Voir les notices liées en tant que sujet
Agents intelligents (logiciels)  Voir les notices liées en tant que sujet

Indice(s) Dewey :  006.3 (23e éd.) = Intelligence artificielle et calcul naturel  Voir les notices liées en tant que sujet ; 005.115 (23e éd.) = Programmation logique (informatique)  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540319276

Identifiant de la notice  : ark:/12148/cb44685893z

Notice n° :  FRBNF44685893 (notice reprise d'un réservoir extérieur)

Table des matières : Reasoning ; Dynamics of Declarative Goals in Agent Programming ; Theories of Intentions in the Framework of Situation Calculus ; Partial Deduction for Linear Logic{u2014}The Symbolic Negotiation Perspective ; Modelling and Engineering ; On Modelling Multi-agent Systems Declaratively ; The Semantics of MALLET{u2013}An Agent Teamwork Encoding Language ; Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report ; Reasoning About Agents{u2019} Interaction Protocols Inside DCaseLP ; Verification ; Model Checking Agent Dialogues ; Modeling and Verification of Distributed Autonomous Agents Using Logic Programming ; Norm Verification and Analysis of Electronic Institutions ; Norms and Protocols ; A Lightweight Coordination Calculus for Agent Systems ; Enhancing Commitment Machines ; A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks ; Interaction and Communication ; Intensional Programming for Agent Communication ; The Logic of Com