| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matteo Baldoni, Louise A. Dennis, Viviana Mascardi, Wamberto Weber Vasconcelos (eds.) |
Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers  |
DALT  |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiaki Sakama, Sebastian Sardiña, Wamberto Weber Vasconcelos, Michael Winikoff (eds.) |
Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers |
DALT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Giorgio Gosti, Francesco Santini 0001 |
Solving Fuzzy Distributed CSPs: An Approach with Naming Games. |
DALT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker |
Goal-Based Qualitative Preference Systems. |
DALT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Akin Günay, Michael Winikoff, Pinar Yolum |
Commitment Protocol Generation. |
DALT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, Viviana Patti |
A Generalized Commitment Machine for 2CL Protocols and Its Implementation. |
DALT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Solimando, Riccardo Traverso |
Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell - (Position Paper). |
DALT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Sophia Drossopoulou, Viviana Mascardi |
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason. |
DALT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Trodd, James Harland, John Thangarajah |
Agent Deliberation via Forward and Backward Chaining in Linear Logic. |
DALT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Mascardi, James A. Hendler, Laura Papaleo |
Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends - (Position Paper). |
DALT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Baldoni, Cristina Baroglio |
Some Thoughts about Commitment Protocols - (Position Paper). |
DALT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bozena Wozna-Szczesniak, Andrzej Zbrzezny |
SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems. |
DALT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh |
Handling Change in Normative Specifications. |
DALT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pere Pardo, Mehrnoosh Sadrzadeh |
Strong Planning in the Logics of Communication and Change. |
DALT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Bergenti, Giovanni Caire, Danilo Gotta |
Latest Developments of WADE to Support User-Centric Business Processes. |
DALT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Winikoff |
An Integrated Formal Framework for Reasoning about Goal Interactions. |
DALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Akin Günay, Pinar Yolum |
Detecting Conflicts in Commitments. |
DALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Robertson 0001 |
Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective. |
DALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Mascardi, Davide Ancona |
1000 Years of Coo-BDI. |
DALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta Fornara, Marco Colombetti |
Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review. |
DALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise A. Dennis |
Plan Indexing for State-Based Plans. |
DALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek |
Control and Delegation. |
DALT |
2011 |
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: A Retrospective. |
DALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini |
Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification - Extended Abstract for a Course at DALT Spring School 2011. |
DALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amit K. Chopra, Munindar P. Singh |
The Evolution of Interoperability. |
DALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
Formalizing Commitments Using Action Languages. |
DALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali |
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language. |
DALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahriar Bijani, David Robertson 0001, David Aspinall 0001 |
Probing Attacks on Multi-Agent Systems Using Electronic Institutions. |
DALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David Corsar, Alison Chorley, Wamberto Weber Vasconcelos |
Web Service Composition via Organisation-Based (Re)Planning. |
DALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Omicini, Sebastian Sardiña, Wamberto Weber Vasconcelos (eds.) |
Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers |
DALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini |
Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages. |
DALT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli |
Symbolic Model Checking Commitment Protocols Using Reduction. |
DALT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise A. Dennis, Michael Fisher 0001, Nicholas Lincoln, Alexei Lisitsa 0001, Sandor M. Veres |
Declarative Abstractions for Agent Based Hybrid Control Systems. |
DALT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Iain Wallace, Michael Rovatsos |
Executing Specifications of Social Reasoning Agents. |
DALT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiefei Ma, Krysia Broda, Alessandra Russo, Emil Lupu |
Distributed Abductive Reasoning with Constraints. |
DALT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd (eds.) |
Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers |
DALT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith |
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems. |
DALT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aniruddha Dasgupta, Aditya K. Ghose |
BDI Agents with Objectives and Preferences. |
DALT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gauvain Bourgne, Katsumi Inoue |
Query-Driven Coordination of Multiple Answer Sets. |
DALT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Oren, Madalina Croitoru, Simon Miles, Michael Luck |
Understanding Permissions through Graphical Norms. |
DALT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisa Burato, Matteo Cristani, Luca Viganò 0001 |
A Deduction System for Meaning Negotiation. |
DALT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjing Wang 0001, Floor Sietsma, Jan van Eijck |
Logic of Information Flow on Communication Channels. |
DALT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Baldoni, Cristina Baroglio, Elisa Marengo |
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS. |
DALT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carole Adam, Andreas Herzig, Dominique Longin, Vincent Louis |
Unifying the Intentional and Institutional Semantics of Speech Acts. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shakil M. Khan 0001, Yves Lespérance |
Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathijs de Boer, Andreas Herzig, Tiago de Lima, Emiliano Lorini |
Tableaux for Acceptance Logic. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta Fornara, Marco Colombetti |
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Doan Thu Trang, Brian Logan 0001, Natasha Alechina |
Verifying Dribble Agents. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi |
Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer |
Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Munindar P. Singh, Amit K. Chopra |
Correctness Properties for Multiagent Systems. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Célia da Costa Pereira, Andrea Tettamanzi |
Goal Generation from Possibilistic Beliefs Based on Trust and Distrust. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Azzurra Ragone, Tommaso Di Noia, Francesco M. Donini, Eugenio Di Sciascio, Michael P. Wellman |
Computing Utility from Weighted Description Logic Preference Formulas. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff (eds.) |
Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tran Cao Son, Chiaki Sakama |
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | João Leite 0001 |
Playing with Rules. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali |
Social Commitments in Time: Satisfied or Compensated. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrique Lopes Cardoso, Eugénio C. Oliveira |
Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani |
The Refinement of Choreographed Multi-Agent Systems. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshitaka Suzuki, Satoshi Tojo, Stijn De Saeger |
Iterated Belief Revision in the Face of Uncertain Communication. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini |
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitar P. Guelev, Catalin Dima |
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicoletta Fornara, Marco Colombetti |
Specifying and Enforcing Norms in Artificial Institutions. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamal Bentahar, Mohamed Mbarki, John-Jules Ch. Meyer, Bernard Moulin |
Strategic Agent Communication: An Argumentation-Driven Approach. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
Complexity, Argumentation, Agent Communication, Strategic Reasoning, Social Commitments |
| 1 | Michal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer |
Mental State Abduction of BDI-Based Agents. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiaki Sakama |
Inductive Negotiation in Answer Set Programming. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Emmanuel M. Tadjouddine, Frank Guerin, Wamberto Weber Vasconcelos |
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa |
A Distributed Normative Infrastructure for Situated Multi-agent Organisations. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff (eds.) |
Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan M. Broersen |
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Koen V. Hindriks, M. Birna van Riemsdijk |
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Felipe Rech Meneguzzi, Michael Luck |
Leveraging New Plans in AgentSpeak(PL). |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Klapiscak, Rafael H. Bordini |
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bastin Tony Roy Savarimuthu, Maryam Purvis, Martin K. Purvis, Stephen Cranefield |
Social Norm Emergence in Virtual Agent Societies. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Dastani, Koen V. Hindriks, Peter Novák 0001, Nick A. M. Tinnemeier |
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages. |
DALT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioan Alfred Letia, Adrian Groza |
Structured Argumentation in a Mediator for Online Dispute Resolution. |
DALT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shamimabi Paurobally, Michael J. Wooldridge |
Joint Conversation Specification and Compliance. |
DALT |
2007 |
DBLP DOI BibTeX RDF |
joint conversation, communicative action, compliance, intention |
| 1 | Koen V. Hindriks, M. Birna van Riemsdijk |
Satisfying Maintenance Goals. |
DALT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Duc Quang Pham, James Harland, Michael Winikoff |
Modeling Agents' Choices in Temporal Linear Logic. |
DALT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon Sterling |
Agent-Oriented Modelling: Declarative or Procedural? |
DALT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tibor Bosse, Alexei Sharpanskykh, Jan Treur |
On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition. |
DALT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin J. Kollingbaum, Wamberto Weber Vasconcelos, Andrés García-Camino, Timothy J. Norman |
Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints. |
DALT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John W. Lloyd, Kee Siong Ng |
Reflections on Agent Beliefs. |
DALT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini |
Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation. |
DALT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia H. Shaw, Rafael H. Bordini |
Towards Alternative Approaches to Reasoning About Goals. |
DALT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Amit K. Chopra, Munindar P. Singh |
Interoperation in Protocol Enactment. |
DALT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tibor Bosse, Alexei Sharpanskykh, Jan Treur |
Integrating Agent Models and Dynamical Systems. |
DALT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Guerin, Wamberto Weber Vasconcelos |
Component-Based Standardisation of Agent Communication. |
DALT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Felipe Rech Meneguzzi, Michael Luck |
Composing High-Level Plans for Declarative Agent Programming. |
DALT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Lomuscio, Franco Raimondi |
The Complexity of Model Checking Concurrent Programs Against CTLK Specifications. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivek Nigam, João Leite 0001 |
A Dynamic Logic Programming Based System for Agents with Declarative Goals. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni (eds.) |
Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Leendert W. N. van der Torre |
A Foundational Ontology of Organizations and Roles. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioan Alfred Letia, Adrian Groza |
Agreeing on Defeasible Commitments. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | José Ghislain Quenum, Samir Aknine, Jean-Pierre Briot, Shinichi Honiden |
A Modeling Framework for Generic Agent Interaction Protocols. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Padmanabhan, Guido Governatori |
A Fibred Tableau Calculus for Modal Logics of Agents. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Konnerth, Benjamin Hirsch, Sahin Albayrak |
JADL - An Agent Description Language for Smart Agents. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gobinath Narayanasamy, Joe Cecil 0001, Tran Cao Son |
A Collaborative Framework to Realize Virtual Enterprises Using 3APL. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Zachary Wyner |
A Functional Program for Agents, Actions, and Deontic Specifications. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Amit K. Chopra, Munindar P. Singh |
Producing Compliant Interactions: Conformance, Coverage, and Interoperability. |
DALT |
2006 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license