Artificial Intelligence and Soft Computing - ICAISC 2004

DOI10.1007/b98109zbMath1058.68643OpenAlexW2916837318MaRDI QIDQ4666247

Wojciech Jamroga

Publication date: 12 April 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98109

zbMATH Keywords

model checkingMulti-agent systemsmulti-agent planning

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• Graphplan

This page was built for publication: Artificial Intelligence and Soft Computing - ICAISC 2004