Conferences in DBLP

Declarative Agent Languages and Technologies (dalt)
2005 (conf/dalt/2005)

1. Laurens Winkelhagen, Mehdi Dastani, Jan Broersen
   Beliefs in Agent Implementation. [Citation Graph (0, 0)][DBLP]
   DALT, 2005, pp:1-16 [Conf]
   
2. Johan Kwisthout, Mehdi Dastani
   Modelling Uncertainty in Agent Programming. [Citation Graph (0, 0)][DBLP]
   DALT, 2005, pp:17-32 [Conf]
   
3. Thomas Ågotnes, Michal Walicki
   Complete Axiomatizations of Finite Syntactic Epistemic States. [Citation Graph (0, 0)][DBLP]
   DALT, 2005, pp:33-50 [Conf]
   
4. John W. Lloyd, Tim D. Sears
   An Architecture for Rational Agents. [Citation Graph (0, 0)][DBLP]
   DALT, 2005, pp:51-71 [Conf]
   
5. Marina De Vos, Tom Crick, Julian A. Padget, Martin Brain, Owen Cliffe, Jonathan Needham
   LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming. [Citation Graph (0, 0)][DBLP]
   DALT, 2005, pp:72-88 [Conf]
   
6. Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos
   A Distributed Architecture for Norm-Aware Agent Societies. [Citation Graph (0, 0)][DBLP]
   DALT, 2005, pp:89-105 [Conf]
   
7. Stefania Costantini, Arianna Tocchio
   About Declarative Semantics of Logic-Based Agent Languages. [Citation Graph (0, 0)][DBLP]
   DALT, 2005, pp:106-123 [Conf]
   
8. Gaële Simon, Bruno Mermet, Dominique Fournier
   Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour. [Citation Graph (0, 0)][DBLP]
   DALT, 2005, pp:124-140 [Conf]
   
9. Natasha Alechina, Mark Jago, Brian Logan
   Resource-Bounded Belief Revision and Contraction. [Citation Graph (0, 0)][DBLP]
   DALT, 2005, pp:141-154 [Conf]
   
10. Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi Fred Hübner
    Agent-Oriented Programming with Underlying Ontological Reasoning. [Citation Graph (0, 0)][DBLP]
    DALT, 2005, pp:155-170 [Conf]
    
11. Hisashi Hayashi, Seiji Tokura, Tetsuo Hasegawa, Fumio Ozaki
    Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains. [Citation Graph (0, 0)][DBLP]
    DALT, 2005, pp:171-187 [Conf]
    
12. Alessio Lomuscio, Bozena Wozna
    A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results. [Citation Graph (0, 0)][DBLP]
    DALT, 2005, pp:188-204 [Conf]
    
13. Kaiyu Wan, Vasu S. Alagar
    An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents. [Citation Graph (0, 0)][DBLP]
    DALT, 2005, pp:205-222 [Conf]
    
14. Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer
    A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. [Citation Graph (0, 0)][DBLP]
    DALT, 2005, pp:223-244 [Conf]