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

agent-oriented software engineeringlogic-based languagemultiagent system

Mathematics Subject Classification ID

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

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)

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

Describes a project that uses

Uses Software

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

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)