v1v2 (latest)

Tableau-based decision procedures for logics of strategic ability in multi-agent systems

15 March 2008

V. Goranko

D. Shkatov

ArXiv (abs)PDF HTML

Papers citing "Tableau-based decision procedures for logics of strategic ability in multi-agent systems"

7 / 7 papers shown

MsATL: a Tool for SAT-Based ATL Satisfiability CheckingAdaptive Agents and Multi-Agent Systems (AAMAS), 2020

212

25 Oct 2023

SAT-Based ATL Satisfiability CheckingInternational Conference on Principles of Knowledge Representation and Reasoning (KR), 2020

M. Kacprzak

A. Niewiadomski

W. Penczek

127

08 Feb 2020

A Resolution Prover for Coalition Logic

135

03 Apr 2014

Reducing Validity in Epistemic ATL to Validity in Epistemic CTL

Dimitar P. Guelev

137

04 Mar 2013

Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledgeLogic Journal of the IGPL (JIGPL), 2012

M. Ajspur

V. Goranko

D. Shkatov

117

25 Jan 2012

Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic

V. Goranko

D. Shkatov

162

12 Feb 2009

Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledge

V. Goranko

D. Shkatov

137

29 Aug 2008