Pages that link to "Item:Q4408522"
From MaRDI portal
The following pages link to Towards a Logic of Rational Agency (Q4408522):
Displaying 34 items.
- On the use (and abuse) of logic in game theory (Q266655) (← links)
- On the dynamic logic of agency and action (Q456961) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Logical theories of intention and the database perspective (Q843770) (← links)
- Editorial: Logic and intelligent interaction (Q1036067) (← links)
- Agency in action. The practical rational agency machine (Q1189563) (← links)
- Introspective and elaborative processes in rational agents (Q1306751) (← links)
- Intelligent agents II, Agent theories, architectures, and languages. IJCAI '95 workshop (ATAL), Montréal, Canada, August 19-20, 1995. Proceedings (Q1910806) (← links)
- Intention as commitment toward time (Q1989411) (← links)
- Causal agency and responsibility: a refinement of STIT logic (Q2086538) (← links)
- Where responsibility takes you. Logics of agency, counterfactuals, and norms (Q2106170) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- From oughts to goals: a logic for Enkrasia (Q2304625) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- Common-sense reasoning as proto-scientific agent activity (Q2565606) (← links)
- On obligations and normative ability: Towards a logical analysis of the social contract (Q2568339) (← links)
- On programming KARO agents (Q2716927) (← links)
- Reasoning about rational agents (Q2756785) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- Neither Logically Omniscient nor Completely Irrational Agents: Principles for a Fine-Grained Analysis of Propositional Attitudes and Attitude Revision (Q2902950) (← links)
- The open future and its exploitation by rational agents (Q2926458) (← links)
- A logic for reasoning about moral agents (Q2973440) (← links)
- Inference Rules in Multi-agents’ Temporal Logics (Q3013073) (← links)
- A Modal Framework for Relating Belief and Signed Information (Q3092293) (← links)
- REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION (Q3096821) (← links)
- On the Logical Foundations of Moral Agency (Q3167599) (← links)
- A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions (Q3167603) (← links)
- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL (Q3507416) (← links)
- Quantificational modal logic with sequential Kripke semantics (Q3647226) (← links)
- A logical characterisation of qualitative coalitional games (Q3647281) (← links)
- Realistic desires (Q4453905) (← links)
- Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches (Q4465164) (← links)
- (Q4966050) (← links)
- GOAL Agents Instantiate Intention Logic (Q5900403) (← links)
