Declarative Agent Languages and Technologies First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers /
Declarative Agent Languages and Technologies First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers / [electronic resource] :
edited by Joao Leite, Andrea Omicini, Leon Sterling, Paolo Torroni.
- 1st ed. 2004.
- X, 272 p. online resource.
- Lecture Notes in Artificial Intelligence, 2990 2945-9141 ; .
- Lecture Notes in Artificial Intelligence, 2990 .
MAS as Complex Systems: A View on the Role of Declarative Approaches -- A Logic-Based Infrastructure for Reconfiguring Applications -- Operational Semantics for Agents by Iterated Refinement -- Go! for Multi-threaded Deliberative Agents -- An Agent-Based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology -- A Logic for Ignorance -- Coo-BDI: Extending the BDI Model with Cooperativity -- Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication -- A Combined Logic of Expectation and Observation -- A Proposal for Reasoning in Agents: Restricted Entailment -- A Social Approach to Communication in Multiagent Systems -- Logic-Based Electronic Institutions -- Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study -- Linear Logic, Partial Deduction and Cooperative Problem Solving.
9783540259329
10.1007/b97923 doi
Software engineering.
Artificial intelligence.
Computer networks .
Compilers (Computer programs).
Software Engineering.
Artificial Intelligence.
Computer Communication Networks.
Compilers and Interpreters.
QA76.758
005.1
MAS as Complex Systems: A View on the Role of Declarative Approaches -- A Logic-Based Infrastructure for Reconfiguring Applications -- Operational Semantics for Agents by Iterated Refinement -- Go! for Multi-threaded Deliberative Agents -- An Agent-Based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology -- A Logic for Ignorance -- Coo-BDI: Extending the BDI Model with Cooperativity -- Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication -- A Combined Logic of Expectation and Observation -- A Proposal for Reasoning in Agents: Restricted Entailment -- A Social Approach to Communication in Multiagent Systems -- Logic-Based Electronic Institutions -- Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study -- Linear Logic, Partial Deduction and Cooperative Problem Solving.
9783540259329
10.1007/b97923 doi
Software engineering.
Artificial intelligence.
Computer networks .
Compilers (Computer programs).
Software Engineering.
Artificial Intelligence.
Computer Communication Networks.
Compilers and Interpreters.
QA76.758
005.1