Ordered Resolution for Coalition Logic (Q3455769): Difference between revisions

@@ Property / describes a project that uses @@
+CLProver
@@ Property / describes a project that uses: CLProver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TRP++
@@ Property / describes a project that uses: TRP++ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPASS
@@ Property / describes a project that uses: SPASS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TATL
@@ Property / describes a project that uses: TATL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VAMPIRE
@@ Property / describes a project that uses: VAMPIRE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-24312-2_12
+Normal rank
@@ Property / OpenAlex ID @@
+W2242222976
@@ Property / OpenAlex ID: W2242222976 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution with order and selection for hybrid logics
+Normal rank
@@ Property / cites work @@
+Q2751353
@@ Property / cites work: Q2751353 / rank @@
+Normal rank
@@ Property / cites work @@
+TATL: Implementation of ATL Tableau-Based Decision Procedure
+Normal rank
@@ Property / cites work @@
+Complete axiomatization and decidability of alternating-time temporal logic
+Normal rank
@@ Property / cites work @@
+Tableau-based decision procedures for logics of strategic ability in multiagent systems
+Normal rank
@@ Property / cites work @@
+A resolution-based calculus for Coalition Logic
@@ Property / cites work: A resolution-based calculus for Coalition Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank
@@ Property / cites work @@
+Simple and Efficient Clause Subsumption with Feature Vector Indexing
+Normal rank
@@ Property / cites work @@
+System Description: E 1.8
@@ Property / cites work: System Description: E 1.8 / rank @@
+Normal rank
@@ Property / cites work @@
+ATL Satisfiability is Indeed EXPTIME-complete
@@ Property / cites work: ATL Satisfiability is Indeed EXPTIME-complete / rank @@
+Normal rank
@@ Property / cites work @@
+A resolution calculus for the branching-time temporal logic CTL
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3455769