A formal framework for interactive agents

DOI10.1016/J.ENTCS.2008.04.088zbMATH Open1277.68207OpenAlexW1993438807MaRDI QIDQ2864512FDOQ2864512

Carolyn Talcott

Publication date: 6 December 2013

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.088

Recommendations

• A conceptual framework for agent definition and development
• A formal approach to agent design: An overview of constraint-based agents
• scientific article
• Engineering AgentSpeak(L): a formal computational model
• scientific article; zbMATH DE number 1759741

zbMATH Keywords

coordinationinteractionpolicyautonomydistributed object reflection

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Conditional rewriting logic as a unified model of concurrency
• Proceedings of the workshop on the foundations of interactive computation (FInCo 2005), Edinburgh, UK, April 9, 2005
• Turing machines, transition systems, and interaction
• Title not available (Why is that?)
• Comparing three coordination models: Reo, ARC, and RRD
• Title not available (Why is that?)
• Recent Trends in Algebraic Development Techniques
• Specification and Development of Interactive Systems
• The algebra of stream processing functions
• Composable semantic models for actor theories
• Rewriting semantics of meta-objects and composable distributed services
• Concurrent Semantics Without the Notions of State or State Transitions

Cited In (13)

• A conceptual framework for agent definition and development
• Interactionist-expectative view on agency and learning
• Title not available (Why is that?)
• Title not available (Why is that?)
• A formal approach to agent design: An overview of constraint-based agents
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Propositional statecharts for agent interaction protocols
• Title not available (Why is that?)

Uses Software

• PAGODA

This page was built for publication: A formal framework for interactive agents

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