Agent-oriented software engineering II. 2nd international workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised papers and invited contributions

DOI10.1007/3-540-70657-7zbMath0983.68771OpenAlexW2476891942MaRDI QIDQ5960182

No author found.

Publication date: 12 April 2002

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

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

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Computing methodologies and applications (68U99) Theory of software (68N99)

Related Items (3)

Unnamed Item ⋮ Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL ⋮ Inference Rules in Multi-agents’ Temporal Logics

This page was built for publication: Agent-oriented software engineering II. 2nd international workshop, AOSE 2001, Montreal, Canada, May 29, 2001. Revised papers and invited contributions