|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 13 keywords
|
|
|
|
|
Results
Found 153 publication records. Showing 153 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dejing Dou, Drew V. McDermott |
Towards Theory Translation.  |
DALT  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jomi Fred Hübner, Rafael H. Bordini, Michael J. Wooldridge |
Programming Declarative Goals Using Plan Patterns. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Birna van Riemsdijk, Mehdi Dastani |
Plan Generation and Plan Execution in Agent Programming. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan 0001 |
Automating Belief Revision for AgentSpeak. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gauvain Bourgne, Nicolas Maudet, Suzanne Pinson |
When Agents Communicate Hypotheses in Critical Situations. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nardine Osman 0001, David Robertson 0001, Christopher Walton |
Dynamic Model Checking for Multi-agent Systems. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Michal Walicki |
Complete Axiomatizations of Finite Syntactic Epistemic States. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum (eds.) |
Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Bozena Wozna |
A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer |
A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi Fred Hübner |
Agent-Oriented Programming with Underlying Ontological Reasoning. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrés García-Camino, Juan A. Rodríguez-Aguilar, Carles Sierra, Wamberto Weber Vasconcelos |
A Distributed Architecture for Norm-Aware Agent Societies. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gaële Simon, Bruno Mermet, Dominique Fournier |
Goal Decomposition Tree: An Agent Model to Generate a Validated Agent Behaviour. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurens Winkelhagen, Mehdi Dastani, Jan M. Broersen |
Beliefs in Agent Implementation. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marina De Vos, Tom Crick, Julian A. Padget, Martin Brain, Owen Cliffe, Jonathan Needham |
LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Costantini, Arianna Tocchio |
About Declarative Semantics of Logic-Based Agent Languages. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaiyu Wan, Vasu S. Alagar |
An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
coordinated transactions, Intensional Programming Language, coordination constructs, Multi-agent systems |
| 1 | Natasha Alechina, Mark Jago, Brian Logan 0001 |
Resource-Bounded Belief Revision and Contraction. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hisashi Hayashi, Seiji Tokura, Tetsuo Hasegawa, Fumio Ozaki |
Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John W. Lloyd, Tim D. Sears |
An Architecture for Rational Agents. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Kwisthout, Mehdi Dastani |
Modelling Uncertainty in Agent Programming. |
DALT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robert Demolombe |
Theories of Intentions in the Framework of Situation Calculus. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni |
On Modelling Multi-agent Systems Declaratively. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasu S. Alagar, Joey Paquet, Kaiyu Wan |
Intensional Programming for Agent Communication. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
KQML performatives, Context, Agent Communication Language, FIPA, Intensional Programming, Lucid |
| 1 | Alexander Artikis, Lloyd Daniel Kamara, Jeremy Pitt, Marek J. Sergot |
A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Baldoni, Cristina Baroglio, Ivana Gungui, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella |
Reasoning About Agents' Interaction Protocols Inside DCaseLP. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | David Robertson 0001 |
A Lightweight Coordination Calculus for Agent Systems. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Pacuit, Rohit Parikh |
The Logic of Communication Graphs. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | L. Robert Pokorny, C. R. Ramakrishnan 0001 |
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher D. Walton |
Model Checking Agent Dialogues. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni (eds.) |
Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Pan, Phan Huy Tu, Enrico Pontelli, Tran Cao Son |
Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peep Küngas, Mihhail Matskin |
Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winikoff, Wei Liu 0006, James Harland |
Enhancing Commitment Machines. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tibor Bosse, Catholijn M. Jonker, Jan Treur |
Representational Content and the Reciprocal Interplay of Agent and Environment. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wamberto Weber Vasconcelos |
Norm Verification and Analysis of Electronic Institutions. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaocong Fan, John Yen, Michael S. Miller, Richard A. Volz |
The Semantics of MALLET-An Agent Teamwork Encoding Language. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer |
Dynamics of Declarative Goals in Agent Programming. |
DALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Colombetti, Nicoletta Fornara, Mario Verdicchio |
A Social Approach to Communication in Multiagent Systems. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Peep Küngas, Mihhail Matskin |
Linear Logic, Partial Deduction and Cooperative Problem Solving. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bình Vu Trân, James Harland, Margaret Hamilton 0001 |
A Combined Logic of Expectation & Observation. A generalisation of BDI logics. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lee Flax |
A Proposal for Reasoning in Agents: Restricted Entailment. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Viviana Mascardi |
Coo-BDI: Extending the BDI Model with Cooperativity. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Alessio Lomuscio |
A logic for ignorance. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Bergenti, Giovanni Rimassa, Mirko Viroli |
Operational Semantics for Agents by Iterated Refinement. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Wamberto Weber Vasconcelos |
Logic-Based Electronic Institutions. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Omicini, Franco Zambonelli |
MAS as Complex Systems: A View on the Role of Declarative Approaches. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Alberti 0001, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Castaldi, Stefania Costantini, Stefano Gentile, Arianna Tocchio |
A Logic-Based Infrastructure for Reconfiguring Applications. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Keith L. Clark, Francis G. McCabe |
Go! for Multi-Threaded Deliberative Agents. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini |
Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta 0001 |
An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology. |
DALT |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #153 of 153 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license