Logic-based specification languages for intelligent software agents

DOI10.1017/S1471068404002029MaRDI QIDQ4819010zbMATH OpenOpenAlexFDO

Authors Viviana Mascardi, M. Martelli, 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) Theory of software (68N99) General topics in artificial intelligence (68T01)

Recommendations

• scientific article; zbMATH DE number 1931644
• Executing logical agent specifications
• scientific article; zbMATH DE number 1773056
• CTL AgentSpeak(L): A specification language for agent programs
• Engineering AgentSpeak(L): a formal computational model

Cited in

(15)

• Engineering Executable Agents using Multi-context Systems
• CTL AgentSpeak(L): A specification language for agent programs
• Algebraic specification of agent computation
• A formal semantics for agent distribution and fault tolerance in Jason
• Flexible agent grouping in executable temporal logic
• LASS -- a language for agent-oriented software specification
• scientific article; zbMATH DE number 2080358 (Why is no real title available?)
• Rapid prototyping of large multi-agent systems through logic programming
• Formal \textsf{ReSpecT}
• Using the Maude term rewriting language for agent development with formal foundations
• Executing logical agent specifications
• scientific article; zbMATH DE number 1931644 (Why is no real title available?)
• scientific article; zbMATH DE number 2090884 (Why is no real title available?)
• EVOLP: Tranformation-Based Semantics
• A temporal trace language for formal modelling and analysis of agent systems

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4819010)