DALT 2008
 |
 |
| Call for paper / PDF | Call for paper / TXT | Programma / TXT | Logo |
programma / txt
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 )