Logic-based specification languages for intelligent software agents

DOI10.1017/S1471068404002029zbMath1085.68131OpenAlexW2052992098MaRDI QIDQ4819010

Maurizio Martelli, Viviana Mascardi, Leon S. Sterling

Publication date: 24 September 2004

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068404002029

zbMATH Keywords

multiagent systemagent-oriented software engineeringlogic-based language

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in artificial intelligence (68T01) Theory of software (68N99)

Related Items (1)

EVOLP: Tranformation-Based Semantics

Uses Software

• ConGolog
• GOLOG
• LUPS
• KARO
• PVS
• AgentSpeak
• METATEM

This page was built for publication: Logic-based specification languages for intelligent software agents