default search action

combined dblp search
author search
venue search
publication search

ask others

DALT 2005: Utrecht, The Netherlands

> Home > Conferences and Workshops > DALT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/dalt/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/2005
Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni:
Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers. Lecture Notes in Computer Science 3904, Springer 2006, ISBN 3-540-33106-9

Agent Programming and Beliefs

- view
  authority control:
- export record
  dblp key:
  - conf/dalt/WinkelhagenDB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/WinkelhagenDB05
Laurens Winkelhagen, Mehdi Dastani, Jan M. Broersen:
Beliefs in Agent Implementation. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/KwisthoutD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/KwisthoutD05
Johan Kwisthout, Mehdi Dastani:
Modelling Uncertainty in Agent Programming. 17-32
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/AgotnesW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/AgotnesW05
Thomas Ågotnes, Michal Walicki:
Complete Axiomatizations of Finite Syntactic Epistemic States. 33-50

Architectures and Logic Programming

- view
  authority control:
- export record
  dblp key:
  - conf/dalt/LloydS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/LloydS05
John W. Lloyd, Tim D. Sears:
An Architecture for Rational Agents. 51-71
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/VosCPBCN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/VosCPBCN05
Marina De Vos, Tom Crick, Julian A. Padget, Martin Brain, Owen Cliffe, Jonathan Needham:
LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming. 72-88
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/Garcia-CaminoRSV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/Garcia-CaminoRSV05
Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos:
A Distributed Architecture for Norm-Aware Agent Societies. 89-105
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/CostantiniT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/CostantiniT05
Stefania Costantini, Arianna Tocchio:
About Declarative Semantics of Logic-Based Agent Languages. 106-123

Knowledge Representation and Reasoning

- view
  authority control:
- export record
  dblp key:
  - conf/dalt/SimonMF05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/SimonMF05
Gaële Simon, Bruno Mermet, Dominique Fournier:
Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour. 124-140
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/AlechinaJL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/AlechinaJL05
Natasha Alechina, Mark Jago, Brian Logan:
Resource-Bounded Belief Revision and Contraction. 141-154
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/MoreiraVBH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/MoreiraVBH05
Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi Fred Hübner:
Agent-Oriented Programming with Underlying Ontological Reasoning. 155-170
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/HayashiTHO05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/HayashiTHO05
Hisashi Hayashi, Seiji Tokura, Tetsuo Hasegawa, Fumio Ozaki:
Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains. 171-187
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/LomuscioW05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/LomuscioW05
Alessio Lomuscio, Bozena Wozna:
A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results. 188-204

Coordination and Model Checking

- view
  authority control:
- export record
  dblp key:
  - conf/dalt/WanA05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/WanA05
Kaiyu Wan, Vasu S. Alagar:
An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents. 205-222
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/BentaharMM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/BentaharMM05
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer:
A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. 223-244

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.