The following pages link to (Q4540938):
Displaying 14 items.
- Where logic and agents meet (Q657584) (← links)
- On combinations of propositional dynamic logic and doxastic modal logics (Q1006486) (← links)
- Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620) (← links)
- Minimal belief and negation as failure in multi-agent systems (Q1861897) (← links)
- Agent-oriented probabilistic logic programming (Q2508392) (← links)
- On programming KARO agents (Q2716927) (← links)
- Minimizing agent specifications using a logic of knowledge and actions (Q2720318) (← links)
- Language design issues for agents based on linear logic (extended abstract) (Q2844922) (← links)
- A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions (Q3167603) (← links)
- (Q3624165) (← links)
- CTL AgentSpeak(L): A specification language for agent programs (Q3631320) (← links)
- (Q4256312) (← links)
- Engineering Executable Agents using Multi-context Systems (Q4542940) (← links)
- Logics Modulo Theories: a logical framework for multi-agent systems (Q4644522) (← links)
