Pages that link to "Item:Q2640592"
From MaRDI portal
The following pages link to Intention is choice with commitment (Q2640592):
Displaying 50 items.
- Bounded situation calculus action theories (Q286407) (← links)
- A STIT logic for reasoning about social influence (Q310094) (← links)
- A formal model of emotion triggers: an approach for BDI agents (Q375310) (← links)
- Agent deliberation in an executable temporal framework (Q456706) (← links)
- A logic for reasoning about counterfactual emotions (Q543627) (← links)
- Postulates for revising BDI structures (Q625696) (← links)
- A graded BDI agent model to represent and reason about preferences (Q646556) (← links)
- Making a start with the stit logic analysis of intentional action (Q652741) (← links)
- Where logic and agents meet (Q657584) (← links)
- A logic of intentions and beliefs (Q689079) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- The representation of planning strategies (Q814562) (← links)
- Process-algebraic approaches for multi-agent systems: an overview (Q814895) (← links)
- Semantics of plan revision in intelligent agents (Q820137) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Logical theories of intention and the database perspective (Q843770) (← links)
- Towards a theory of intention revision (Q885523) (← links)
- Agent planning programs (Q899440) (← links)
- A logic of intention and attempt (Q934779) (← links)
- An internal version of epistemic logic (Q965903) (← links)
- A dynamic-epistemic hybrid logic for intentions and information changes in strategic games (Q970089) (← links)
- On the dynamics of institutional agreements (Q970091) (← links)
- A logical formalization of the OCC theory of emotions (Q1036048) (← links)
- Intentions and interactive transformations of decision problems (Q1036060) (← links)
- Reaching agreements through argumentation: a logical model and implementation (Q1274675) (← links)
- Artificial intelligence and human decision making (Q1278800) (← links)
- Formalising the informal? Dynamic social order, bottom-up social control, and spontaneous normative relations. (Q1414571) (← links)
- Joint action and group action made precise (Q1583774) (← links)
- Agent cooperation based control integration by activity-sharing and joint intention (Q1613275) (← links)
- Computation as social agency: what, how and who (Q1641025) (← links)
- Local properties in modal logic (Q1761295) (← links)
- How to decide what to do? (Q1885765) (← links)
- Intention as commitment toward time (Q1989411) (← links)
- From oughts to goals: a logic for Enkrasia (Q2304625) (← links)
- Asynchronous knowledge with hidden actions in the situation calculus (Q2344356) (← links)
- A verification framework for agent programming with declarative goals (Q2372188) (← links)
- A theoretical framework on proactive information exchange in agent teamwork (Q2457648) (← links)
- Knowledge and communication: A first-order theory (Q2457657) (← links)
- A logic-based model of intention formation and action for multi-agent subcontracting (Q2457680) (← links)
- ALX, an action logic for agents with bounded rationality (Q2674198) (← links)
- Mechanism design for automated negotiation, and its application to task oriented domains (Q2676568) (← links)
- Collaborative plans for complex group action (Q2676570) (← links)
- Refinement of Intentions (Q2835902) (← links)
- Agents with emotions (Q3065306) (← links)
- REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION (Q3096821) (← links)
- Specification and Verification of Multi-Agent Systems (Q3166991) (← links)
- Agent based multiviews requirements model (Q3415257) (← links)
- Temporalizing Modal Epistemic Logic (Q3455859) (← links)
- Logic and Ethics: An Integrated Model for Norms, Intentions and Actions (Q3457710) (← links)
- Trust and Norms in the Context of Computer Security: A Logical Formalization (Q3522042) (← links)
