Reasoning about rational agents
From MaRDI portal
Recommendations
Cited in
(57)- Exploring the future with resource-bounded agents
- Intentions and interactive transformations of decision problems
- A complete coalition logic of temporal knowledge for multi-agent systems
- An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals
- Leighton-Micali hash-based signatures in the quantum random-oracle model
- Intention as commitment toward time
- Reasoning about rationality
- A calculus for attribute-based memory updates
- A generalized proximal linearized algorithm for DC functions with application to the optimal size of the firm problem
- Reasoning about ignorance and beliefs
- Partially observable game-theoretic agent programming in Golog
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
- Recognizing and learning models of social exchange strategies for the regulation of social interactions in open agent societies
- On the logic of cooperation and propositional control
- A logic-based model of intention formation and action for multi-agent subcontracting
- Evaluating practical reasoning
- Model checking abilities of agents: a closer look
- Speech acts, commitment and multi-agent communication
- On obligations and normative ability: Towards a logical analysis of the social contract
- On the use (and abuse) of logic in game theory
- Reasoning agents in dynamic domains
- Deduction systems for BDI logics with mental state consistency
- Bounded situation calculus action theories
- Reasoning About Belief Revision
- Argumentation theory and decision aiding
- Reasoning about emotional agents
- A theory of intentions for intelligent agents (extended abstract)
- Towards Agent-Oriented Relevant Information
- Agent Uncertainty Model and Quantum Mechanics Representation: Non-locality Modeling
- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment
- scientific article; zbMATH DE number 1183263 (Why is no real title available?)
- Generating possible intentions with constrained argumentation systems
- Towards a Logic of Rational Agency
- scientific article; zbMATH DE number 2079853 (Why is no real title available?)
- scientific article; zbMATH DE number 1759694 (Why is no real title available?)
- Agent deliberation in an executable temporal framework
- Intentions and potential intentions revisited
- Agent-Based Modeling and Artificial Life
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems
- Hierarchical spatial relation based on a contiguity graph
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem
- AbU: a calculus for distributed event-driven programming with attribute-based interaction
- A Qualitative Theory of Cognitive Attitudes and their Change
- A formal semantics for agent distribution and fault tolerance in Jason
- Postulates for revising BDI structures
- Where logic and agents meet
- Process-algebraic approaches for multi-agent systems: an overview
- Using arguments for making and explaining decisions
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems
- Improving the adaptability in automated vessel scheduling in container ports using intelligent software agents
- Computational representation of practical argument
- Towards a theory of intention revision
- Efficient loop-check for KD45 logic
- A logic of intention and attempt
- PSPACE complexity of modal logic KD45\(_{n}\)
- An internal version of epistemic logic
- A dynamic-epistemic hybrid logic for intentions and information changes in strategic games
This page was built for publication: Reasoning about rational agents
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2756785)
