Engineering Executable Agents using Multi-context Systems

DOI10.1093/logcom/12.3.413zbMath1012.68196OpenAlexW2115421876WikidataQ57377516 ScholiaQ57377516MaRDI QIDQ4542940

Jordi Sabater, Simon Parsons, Carles Sierra, Nicholas R. Jennings

Publication date: 12 August 2002

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://eprints.soton.ac.uk/254230/1/jlc-12-3.pdf

zbMATH Keywords

agent-based computing

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items

A modal type theory for formalizing trusted communications