DALT 2008

 Declarative Agent Languages and Technologies (DALT 2008)

About DALT

Committees

Submission

Location

Contact

Short presentation = 12+3 minutes ,
Full presentation = 20+5 minutes .

1 9.30-9.40: Welcome

1 9.40-11.00: Programming 1 (Chair: Matteo Baldoni)

JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies (Full presentation)

Thomas Klapiscak and Rafael H. Bordini

Leveraging new plans in AgentSpeak(PL) (Full presentation)

Felipe Meneguzzi and Michael Luck

Formalising Proactive Maintenance Goals (Short presentation)

Simon Duff and James Harland

Using Temporal Logic to integrate Goals and Qualitative Preferences into Agent Programming (Short presentation)

Koen V. Hindriks and M. Birna van Riemsdijk

11.00-11.30: Coffee Break

11.30-12.10: Auctions and Argumentation (Chair: Michael Winikoff)

Abstracting and Verifying Strategy-proofness for Auction Mechanisms (Full presentation)

Emmanuel M. Tadjouddine, Frank Guerin, and Wamberto Vasconcelos

A Framework for Agent Communication based on Goals and Argumentation (Short presentation)

Mohamed Mbarki, Jamal Bentahar, John-Jules Meyer, and Bernard Moulin

12.10-13.00: Invited Talk (Chair: Michael Winikoff)

Multi-Agent Dialogs over Action

Peter McBurney

13.00-14.30: Lunch Break

14.30-16.00: Programming 2 (Chair: M. Birna van Riemsdijk)

Combining Multiple Knowledge Representation Technologies into Agent Programming Languages (Full presentation)

Mehdi Dastani, Koen V. Hindriks, Peter Novak, and Nick Tinnemeier

Mental State Abduction of BDI-Based Agents (Full presentation)

Michal P. Sindlar, Mehdi M. Dastani, Frank Dignum, and John-Jules Ch. Meyer

Inductive Negotiation in Answer Set Programming (Full presentation)

Chiaki Sakama

16.00-16.30: Coffee Break

16.30-18.30: Logic and Reasoning (Chair: John-Jules Meyer)

Iterated Belief Revision In the face of Uncertain Communication (Full presentation)

Yoshitaka Suzuki, Satoshi Tojo, and Stijn De Saeger

A complete STIT logic for knowledge and action, and some of its applications (Full presentation)

Jan Broersen

Model-checking strategic ability and knowledge of the past of communicating coalitions (Full presentation)

Dimitar P. Guelev and Catalin Dima

Increasing bid expressiveness for effective and balanced e-barter trading (Full presentation)

Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, and Francesco M. Donini

Agent Communicability in Belief Update Logic (Short presentation)

Mikito Kobayashi and Satoshi Tojo

18.30-18.40: Closing Remarks

last modified on

Thursday, 08-May-2008 14:15:03 CEST
( baldoni )