Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers 2011
URL:	http://dx.doi.org/10.1007/978-3-642-20715-0
DBLP:	db/conf/dalt/dalt2010.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 11  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Gauvain Bourgne, Katsumi Inoue. Query-Driven Coordination of Multiple Answer Sets.	Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers 2011	(0)	2010
	Conference paper Nir Oren, Madalina Croitoru, Simon Miles, Michael Luck. Understanding Permissions through Graphical Norms.	Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers 2011	(0)	2010
	Conference paper John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith. Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems.	Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers 2011	(0)	2010
	Conference paper Iain Wallace, Michael Rovatsos. Executing Specifications of Social Reasoning Agents.	Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers 2011	(0)	2010
	Conference paper Elisa Burato, Matteo Cristani, Luca Viganò. A Deduction System for Meaning Negotiation.	Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers 2011	(0)	2010
	Conference paper Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli. Symbolic Model Checking Commitment Protocols Using Reduction.	Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers 2011	(0)	2010
	Conference paper Jiefei Ma, Krysia Broda, Alessandra Russo, Emil C. Lupu. Distributed Abductive Reasoning with Constraints.	Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers 2011	(0)	2010
	Conference paper Matteo Baldoni, Cristina Baroglio, Elisa Marengo. Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS.	Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers 2011	(0)	2010
	Conference paper Aniruddha Dasgupta, Aditya K. Ghose. BDI Agents with Objectives and Preferences.	Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers 2011	(0)	2010
	Conference paper Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres. Declarative Abstractions for Agent Based Hybrid Control Systems.	Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers 2011	(0)	2010

Show item 1 to 10 of 11  

Your query returned 11 matches in the database.