↓ Skip to main content
What is this page? Embed badge

Declarative agent languages and technologies III : third international workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005 : selected and revised papers

Overview of attention for book
Cover of 'Declarative agent languages and technologies III : third international workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005 : selected and revised papers'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Beliefs in Agent Implementation
  3. Altmetric Badge
    Chapter 2 Modelling Uncertainty in Agent Programming
  4. Altmetric Badge
    Chapter 3 Complete Axiomatizations of Finite Syntactic Epistemic States
  5. Altmetric Badge
    Chapter 4 An Architecture for Rational Agents
  6. Altmetric Badge
    Chapter 5 LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming
  7. Altmetric Badge
    Chapter 6 A Distributed Architecture for Norm-Aware Agent Societies
  8. Altmetric Badge
    Chapter 7 About Declarative Semantics of Logic-Based Agent Languages
  9. Altmetric Badge
    Chapter 8 Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour
  10. Altmetric Badge
    Chapter 9 Resource-Bounded Belief Revision and Contraction
  11. Altmetric Badge
    Chapter 10 Agent-Oriented Programming with Underlying Ontological Reasoning
  12. Altmetric Badge
    Chapter 11 Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains
  13. Altmetric Badge
    Chapter 12 A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results
  14. Altmetric Badge
    Chapter 13 An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents
  15. Altmetric Badge
    Chapter 14 A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication
Attention for Chapter 14: A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
9 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication
Chapter number 14
Book title
Declarative Agent Languages and Technologies III
Published by
Springer, Berlin, Heidelberg, July 2005
DOI 10.1007/11691792_14
Book ISBNs
978-3-54-033106-3, 978-3-54-033107-0
Authors

Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 9 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United Kingdom 1 11%
Unknown 8 89%

Demographic breakdown

Readers by professional status Count As %
Professor 2 22%
Student > Ph. D. Student 2 22%
Lecturer > Senior Lecturer 1 11%
Student > Bachelor 1 11%
Other 1 11%
Other 2 22%
Readers by discipline Count As %
Computer Science 5 56%
Engineering 2 22%
Economics, Econometrics and Finance 1 11%
Arts and Humanities 1 11%

This page is provided by Altmetric.