Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Declarative Agent Languages and Technologies III [[electronic resource] ] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / / edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni
| Declarative Agent Languages and Technologies III [[electronic resource] ] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers / / edited by Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 248 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Programming languages (Electronic computers) Computer logic Artificial Intelligence Computer Communication Networks Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
| ISBN | 3-540-33107-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Agent Programming and Beliefs -- Beliefs in Agent Implementation -- Modelling Uncertainty in Agent Programming -- Complete Axiomatizations of Finite Syntactic Epistemic States -- Architectures and Logic Programming -- An Architecture for Rational Agents -- LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming -- A Distributed Architecture for Norm-Aware Agent Societies -- About Declarative Semantics of Logic-Based Agent Languages -- Knowledge Representation and Reasoning -- Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour -- Resource-Bounded Belief Revision and Contraction -- Agent-Oriented Programming with Underlying Ontological Reasoning -- Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains -- A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results -- Coordination and Model Checking -- An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents -- A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. |
| Record Nr. | UNISA-996465802203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Declarative Agent Languages and Technologies IV [[electronic resource] ] : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers / / edited by Matteo Baldoni, Ulle Endriss
| Declarative Agent Languages and Technologies IV [[electronic resource] ] : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers / / edited by Matteo Baldoni, Ulle Endriss |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (VIII, 268 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Programming languages (Electronic computers)
Artificial intelligence Computer communication systems Software engineering Computer logic Programming Languages, Compilers, Interpreters Artificial Intelligence Computer Communication Networks Software Engineering Logics and Meanings of Programs |
| ISBN | 3-540-68961-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Producing Compliant Interactions: Conformance, Coverage, and Interoperability -- Invited Papers -- Towards Theory Translation -- The Complexity of Model Checking Concurrent Programs Against CTLK Specifications -- Dynamic Model Checking for Multi-agent Systems -- Contributed Papers -- Automating Belief Revision for AgentSpeak -- A Foundational Ontology of Organizations and Roles -- When Agents Communicate Hypotheses in Critical Situations -- A Fibred Tableau Calculus for Modal Logics of Agents -- Programming Declarative Goals Using Plan Patterns -- JADL – An Agent Description Language for Smart Agents -- Agreeing on Defeasible Commitments -- A Dynamic Logic Programming Based System for Agents with Declarative Goals -- A Collaborative Framework to Realize Virtual Enterprises Using 3APL -- A Modeling Framework for Generic Agent Interaction Protocols -- Plan Generation and Plan Execution in Agent Programming -- A Functional Program for Agents, Actions, and Deontic Specifications. |
| Record Nr. | UNISA-996465988303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Declarative Agent Languages and Technologies IV : 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 : selected, revised and invited papers / / Matteo Baldoni, Ulle Endriss (eds.)
| Declarative Agent Languages and Technologies IV : 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 : selected, revised and invited papers / / Matteo Baldoni, Ulle Endriss (eds.) |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2006 |
| Descrizione fisica | 1 online resource (VIII, 268 p.) |
| Disciplina | 055.13/1 |
| Altri autori (Persone) |
BaldoniMatteo <1968->
EndrissUlle |
| Collana |
LNCS sublibrary. SL 7, Artificial intelligence
Lecture notes in computer science,Lecture notes in artificial intelligence |
| Soggetto topico |
Programming languages (Electronic computers)
Declarative programming Intelligent agents (Computer software) |
| ISBN | 3-540-68961-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- Producing Compliant Interactions: Conformance, Coverage, and Interoperability -- Invited Papers -- Towards Theory Translation -- The Complexity of Model Checking Concurrent Programs Against CTLK Specifications -- Dynamic Model Checking for Multi-agent Systems -- Contributed Papers -- Automating Belief Revision for AgentSpeak -- A Foundational Ontology of Organizations and Roles -- When Agents Communicate Hypotheses in Critical Situations -- A Fibred Tableau Calculus for Modal Logics of Agents -- Programming Declarative Goals Using Plan Patterns -- JADL – An Agent Description Language for Smart Agents -- Agreeing on Defeasible Commitments -- A Dynamic Logic Programming Based System for Agents with Declarative Goals -- A Collaborative Framework to Realize Virtual Enterprises Using 3APL -- A Modeling Framework for Generic Agent Interaction Protocols -- Plan Generation and Plan Execution in Agent Programming -- A Functional Program for Agents, Actions, and Deontic Specifications. |
| Altri titoli varianti | DALT 2006 |
| Record Nr. | UNINA-9910483038003321 |
| Berlin ; ; New York, : Springer, c2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||