TY - DATA AU - Baldoni,Matteo AU - Endriss,Ulle AU - Omicini,Andrea AU - Torroni,Paolo ED - SpringerLink (Online service) TI - Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers T2 - Lecture Notes in Computer Science, SN - 9783540331070 AV - QA76.7 B35 2006 PY - 2006/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg KW - Computer science KW - Computer Communication Networks KW - Software engineering KW - Logic design KW - Artificial intelligence KW - Computer Science KW - Artificial Intelligence (incl. Robotics) KW - Software Engineering KW - Programming Languages, Compilers, Interpreters KW - Logics and Meanings of Programs UR - http://dx.doi.org/10.1007/11691792 ER -