The following pages link to (Q2756785):
Displaying 50 items.
- On the use (and abuse) of logic in game theory (Q266655) (← links)
- Bounded situation calculus action theories (Q286407) (← links)
- Generating possible intentions with constrained argumentation systems (Q433517) (← links)
- Agent deliberation in an executable temporal framework (Q456706) (← links)
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems (Q528185) (← 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)
- A complete coalition logic of temporal knowledge for multi-agent systems (Q1633064) (← links)
- An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals (Q1726335) (← links)
- Leighton-Micali hash-based signatures in the quantum random-oracle model (Q1746971) (← links)
- Intention as commitment toward time (Q1989411) (← links)
- A calculus for attribute-based memory updates (Q2119988) (← links)
- A generalized proximal linearized algorithm for DC functions with application to the optimal size of the firm problem (Q2158622) (← links)
- Reasoning about ignorance and beliefs (Q2234053) (← links)
- Partially observable game-theoretic agent programming in Golog (Q2300459) (← links)
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams (Q2372185) (← links)
- Recognizing and learning models of social exchange strategies for the regulation of social interactions in open agent societies (Q2391949) (← 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)
- (Q2844928) (← links)
- Reasoning About Belief Revision (Q2912142) (← links)
- Argumentation Theory and Decision Aiding (Q3058464) (← links)
- Reasoning about emotional agents (Q3422185) (← links)
- A Theory of Intentions for Intelligent Agents (Q3449198) (← 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)
- Intentions and potential intentions revisited (Q4583169) (← links)
- Agent-Based Modeling and Artificial Life (Q5150307) (← links)
- Hierarchical spatial relation based on a contiguity graph (Q5318233) (← links)
- AbU: a calculus for distributed event-driven programming with attribute-based interaction (Q6038690) (← links)
- A Qualitative Theory of Cognitive Attitudes and their Change (Q6063857) (← links)
