scientific article; zbMATH DE number 1773056

MaRDI QIDQ4540938zbMATH OpenFDO

Authors Wiebe van der Hoek

Publication date 28 July 2002

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
• 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
• scientific article; zbMATH DE number 1759734
• scientific article; zbMATH DE number 1926621

Cited in

(28)

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

This page was built for publication:

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