MASL: A Logic for the Specification of Multiagent Real-Time Systems

DOI10.1007/978-3-540-75254-7_19zbMath1151.68648OpenAlexW1496336181MaRDI QIDQ3527272

Igor' Pavlovich Solov'Ev, Dmitry Bugaychenko

Publication date: 25 September 2008

Published in: Multi-Agent Systems and Applications V (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75254-7_19

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (1)

A logic framework for reasoning with movement based on fuzzy qualitative representation

Uses Software

• METATEM

This page was built for publication: MASL: A Logic for the Specification of Multiagent Real-Time Systems