Home Advanced Search

Advanced Search - Page 1

Engineering Multi-Agent Systems: 9th International Workshop, EMAS 2021, Virtual Event, May 3–4, 2021, Revised Selected Papers
  • PDF
  • English
  • Year: 2022
  • Author: Natasha Alechina, Matteo Baldoni, Brian Logan
Knowledge Representation for Agents and Multi-Agent Systems: First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Natasha Alechina, Brian Logan (auth.), John-Jules Ch. Meyer, Jan Broersen (eds.)
Languages, Methodologies, and Development Tools for Multi-Agent Systems: Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Konstantin Vikhorev, Natasha Alechina, Brian Logan (auth.), Mehdi Dastani, Amal El Fallah Segrouchni, João Leite, Paolo Torroni (eds.)
Modal Quantifiers [PhD Thesis]
  • PDF
  • English
  • Year: 1995
  • Author: Natasha Alechina
Symbolic and Quantitative Approaches to Reasoning and Uncertainty: European Conference, ECSQARU '95 Fribourg, Switzerland, July 3–5, 1995 Proceedings
  • PDF
  • English
  • Year: 1995
  • Author: Natasha Alechina (auth.), Christine Froidevaux, Jürg Kohlas (eds.)
Engineering Multi-Agent Systems: Third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers
  • PDF
  • English
  • Year: 2015
  • Author: Matteo Baldoni, Luciano Baresi, Mehdi Dastani (eds.)
Advances in Intensional Logic
  • PDF
  • English
  • Year: 1997
  • Author: Johan Van Benthem, Natasha Alechina (auth.), Maarten de Rijke (eds.)
PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Matteo Baldoni, Mehdi Dastani, Beishui Liao, Yuko Sakurai, Rym Zalila Wenkstern
Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers
  • PDF
  • English
  • Year: 2010
  • Author: João Leite (auth.), Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd (eds.)
Specification and Verification of Multi-agent Systems
  • PDF
  • English
  • Year: 2010
  • Author: N. Alechina, M. Dastani, F. Khan, B. Logan (auth.), Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer (eds.)
search