The following pages link to Logics in Artificial Intelligence (Q5394113):
Displaying 13 items.
- Tableau-based automata construction for dynamic linear time temporal logic (Q862830) (← links)
- Verifying time, memory and communication bounds in systems of reasoning agents (Q1036066) (← links)
- Dynamics of reputation in mobile agents systems and weighted timed automata (Q2064524) (← links)
- Verifiable agent dialogues (Q2372183) (← links)
- Specifying and verifying interaction protocols in a temporal action logic (Q2372184) (← links)
- Detecting temporal agent conflicts (Q2728989) (← links)
- Specialization of interaction protocols in a temporal action logic (Q2852084) (← links)
- Employing Costs in Multiagent Systems with Timed Migration and Timed Communication (Q3297779) (← links)
- Verifying Agents’ Conformance with Multiparty Protocols (Q3393379) (← links)
- SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication (Q4595595) (← links)
- On the SMT-based Verification of Communicative Commitments (Q5040701) (← links)
- Computational Logic in Multi-Agent Systems (Q5706839) (← links)
- AI*IA 2003: Advances in Artificial Intelligence (Q5897330) (← links)