scientific article; zbMATH DE number 1773056

zbMATH Open0989.68137MaRDI QIDQ4540938FDOQ4540938

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (28)

• Minimizing agent specifications using a logic of knowledge and actions
• Title not available (Why is that?)
• Probabilistic behaviours of reactive agents
• Title not available (Why is that?)
• About the a logical model for intelligent agents
• A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions
• CTL AgentSpeak(L): A specification language for agent programs
• Logic-based specification languages for intelligent software agents
• Title not available (Why is that?)
• Tiered logic for agents in contexts
• Agent-oriented probabilistic logic programming
• Interactions between knowledge, action and commitment within agent dynamic logic
• Title not available (Why is that?)
• On programming KARO agents
• Title not available (Why is that?)
• Modal extension rule
• Logics modulo theories: a logical framework for multi-agent systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Language design issues for agents based on linear logic (extended abstract)
• Executing logical agent specifications
• Title not available (Why is that?)
• Minimal belief and negation as failure in multi-agent systems
• On combinations of propositional dynamic logic and doxastic modal logics
• Title not available (Why is that?)
• Where logic and agents meet
• LASG - a logic architecture for intelligent agents
• Engineering Executable Agents using Multi-context Systems

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)