The following pages link to Deontic interpreted systems (Q1420804):
Displaying 17 items.
- Checking EMTLK properties of timed interpreted systems via bounded model checking (Q310082) (← links)
- Norms as ascriptions of violations: an analysis in modal logic (Q545168) (← links)
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem (Q598545) (← links)
- Agent strands in the action language \(n\mathcal C +\) (Q931775) (← links)
- Bounded model checking for knowledge and real time (Q1028970) (← links)
- Multi-modal CTL: completeness, complexity, and an application (Q1037587) (← links)
- Practical verification of multi-agent systems against \textsc{Slk} specifications (Q1641030) (← links)
- ``That will do'': logics of deontic necessity and sufficiency (Q1706805) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams (Q2372185) (← links)
- The logic of knowledge based obligation (Q2500829) (← links)
- Ontological aspects of the implementation of norms in agent-based electronic institutions (Q2509084) (← links)
- On obligations and normative ability: Towards a logical analysis of the social contract (Q2568339) (← links)
- A Temporal Logic of Normative Systems (Q3600564) (← links)
- Challenges in the Specification of Full Contracts (Q3605474) (← links)
- Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking (Q4571143) (← links)
- AI 2003: Advances in Artificial Intelligence (Q5191594) (← links)
