DSpace at Haiphong Private University: Browsing DSpace

Browsing by Subject Logics and Meanings of Programs

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 9 of 9

Issue Date	Title	Author(s)
2005	Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings	Anderson, Scot; Revesz , Peter; Zucker, Jean-Daniel; Saitta, Lorenza
2008	Declarative Agent Languages and Technologies V: 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers	Sterling, Leon; Son, Tran Cao
2009	Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers	Fornara, Nicoletta; Colombetti, Marco; Baldoni, Matteo
2005	Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers	Peysakhov, Maxim D.; Cicirello, Vincent A.
2003	Intelligent Agents and Multi-Agent Systems: 6th Pacific Rim International Workshop on Multi-Agents, PRIMA 2003, Seoul, Korea, November 7-8, 2003	Ooi, Boon-Hua; Lee, Jaeho; Barley, Mike
2001	Intelligent Agents VII Agent Theories Architectures and Languages: 7th International Workshop, ATAL 2000 Boston, MA, USA, July 7–9, 2000 Proceedings	Wooldridge, Micheal; Dunne, Paul E.; Castelfranchi, Cristiano; Lespérance, Yves
2002	Intelligent Agents VIII: Agent Theories, Architectures, and Languages 8th International Workshop, ATAL 2001 Seattle,WA, USA, August 1–3, 2001 Revised Papers	Meyer, John-Jules Ch.; Tambe, Milind
2000	Issues in Agent Communication	Dignum, Frank; Greaves, Mark
2007	Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings	Makowsky, Johann A.; Dershowitz, Nachum; Voronkov, Andrei

Showing results 1 to 9 of 9