Logical foundations of agent-based computing

DOI10.1007/3-540-47745-4_3MaRDI QIDQ4540938zbMATH OpenFDO

Authors Wiebe van der Hoek

Publication date 28 July 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2086/20860050

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Recommendations

• Logical aspects of multi-agent systems
• scientific article; zbMATH DE number 5547960
• scientific article; zbMATH DE number 1884380
• scientific article; zbMATH DE number 1202867
• Agent-based HOL reasoning
• Logic and geometry of agents in agent-based modeling
• A logic of agent organizations
• Computational logic in multi-agent systems: Recent advances and future directions
• On formal modeling of agent computations
• scientific article; zbMATH DE number 1926621

Cited in

(28)

• On combinations of propositional dynamic logic and doxastic modal logics
• Interactions between knowledge, action and commitment within agent dynamic logic
• Minimal belief and negation as failure in multi-agent systems
• Modal extension rule
• Agent-oriented probabilistic logic programming
• On programming KARO agents
• Minimizing agent specifications using a logic of knowledge and actions
• Using multi-context systems to engineer executable agents
• Applying logic of information flow and situation theory to model agents that simulate the stock market behaviour
• Language design issues for agents based on linear logic (extended abstract)
• A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
• scientific article; zbMATH DE number 5547960 (Why is no real title available?)
• About the a logical model for intelligent agents
• CTL AgentSpeak(L): A specification language for agent programs
• Executing logical agent specifications
• scientific article; zbMATH DE number 1314226 (Why is no real title available?)
• scientific article; zbMATH DE number 1952780 (Why is no real title available?)
• Engineering Executable Agents using Multi-context Systems
• Logics modulo theories: a logical framework for multi-agent systems
• scientific article; zbMATH DE number 1931644 (Why is no real title available?)
• scientific article; zbMATH DE number 2088155 (Why is no real title available?)
• scientific article; zbMATH DE number 1884380 (Why is no real title available?)
• scientific article; zbMATH DE number 2090955 (Why is no real title available?)
• Logic-based specification languages for intelligent software agents
• Probabilistic behaviours of reactive agents
• Tiered logic for agents in contexts
• LASG - a logic architecture for intelligent agents
• Where logic and agents meet

This page was built for publication: Logical foundations of agent-based computing

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