The following pages link to (Q2756785):
Displayed 32 items.
- Generating possible intentions with constrained argumentation systems (Q433517) (← links)
- Agent deliberation in an executable temporal framework (Q456706) (← links)
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem (Q598545) (← links)
- Postulates for revising BDI structures (Q625696) (← links)
- Where logic and agents meet (Q657584) (← links)
- Process-algebraic approaches for multi-agent systems: an overview (Q814895) (← links)
- Using arguments for making and explaining decisions (Q835816) (← links)
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- Improving the adaptability in automated vessel scheduling in container ports using intelligent software agents (Q857343) (← links)
- Computational representation of practical argument (Q857688) (← links)
- Towards a theory of intention revision (Q885523) (← links)
- Efficient loop-check for KD45 logic (Q926638) (← links)
- A logic of intention and attempt (Q934779) (← links)
- PSPACE complexity of modal logic KD45\(_{n}\) (Q946142) (← links)
- An internal version of epistemic logic (Q965903) (← links)
- A dynamic-epistemic hybrid logic for intentions and information changes in strategic games (Q970089) (← links)
- Exploring the future with resource-bounded agents (Q1006514) (← links)
- Intentions and interactive transformations of decision problems (Q1036060) (← links)
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams (Q2372185) (← links)
- On the logic of cooperation and propositional control (Q2457673) (← links)
- A logic-based model of intention formation and action for multi-agent subcontracting (Q2457680) (← links)
- Evaluating practical reasoning (Q2460166) (← links)
- Model checking abilities of agents: a closer look (Q2481560) (← links)
- Speech acts, commitment and multi-agent communication (Q2509079) (← links)
- On obligations and normative ability: Towards a logical analysis of the social contract (Q2568339) (← links)
- Reasoning About Belief Revision (Q2912142) (← links)
- Argumentation Theory and Decision Aiding (Q3058464) (← links)
- Reasoning about emotional agents (Q3422185) (← links)
- Towards Agent-Oriented Relevant Information (Q3534656) (← links)
- Agent Uncertainty Model and Quantum Mechanics Representation: Non-locality Modeling (Q3627861) (← links)
- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3638280) (← links)
- Hierarchical spatial relation based on a contiguity graph (Q5318233) (← links)