Prototyping 3APL in the Maude Term Rewriting Language

DOI10.1007/978-3-540-69619-3_6zbMath1177.68231OpenAlexW1606745884MaRDI QIDQ5301998

Mehdi Dastani, M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer

Publication date: 20 January 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-540-69619-3_6

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Uses Software

• SPIN
• Maude
• Jadex
• 3APL

This page was built for publication: Prototyping 3APL in the Maude Term Rewriting Language