Trento / Cambridge / Lisbon / London / New York / communicating rule / /
Company
Definition 1 (Models) Given / Manning Publications Co. / ACM New York / MIT Press / Multi-Agent Systems / ACM Press / AAAI Press / /
Country
Italy / United Kingdom / / /
Facility
University of Nottingham / /
IndustryTerm
dog food / luxury products / agent systems / knowledge-based systems / multiagent systems / semantic web / goods or services / financial services / semantic web rule language / isolated systems / real-time properties / Internet Computing / studied expert and diagnostic systems / web service composition / agent technology / Web Conference / e - commerce / mature rule-based systems technology / transition systems / pet food / semantic web services / /
Organization
School of Computer Science / University of Nottingham / Nottingham / Artificial Intelligence for Applications / MIT / Royal Society / IEEE Computer Society / Computational Intelligence / /
Person
Cheng / Natasha Alechina / Chen / Mark Jago / /
Position
designer / MP / /
ProgrammingLanguage
XML / Java / OPS5 / R / ML / /
ProvinceOrState
New York / Massachusetts / /
Technology
Virtual Machine / XML / JSP / agent technology / artificial intelligence / Java / DAML / API / http / mature rule-based systems technology / /
Modal logics for communicating rule-based agents Natasha Alechina and Mark Jago and Brian Logan1 Abstract. In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for mul