Automated verification of state sequence invariants in general game playing (Q1761287): Difference between revisions

@@ Property / describes a project that uses @@
+CCalc
@@ Property / describes a project that uses: CCalc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GDL
@@ Property / describes a project that uses: GDL / 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.1016/j.artint.2012.04.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2072031078
@@ Property / OpenAlex ID: W2072031078 / rank @@
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Logic Programming
@@ Property / cites work: Contributions to the Theory of Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Using temporal logics to express search control knowledge for planning
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q3011296
@@ Property / cites work: Q3011296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184604
@@ Property / cites work: Q3184604 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic causal theories
@@ Property / cites work: Nonmonotonic causal theories / rank @@
+Normal rank
@@ Property / cites work @@
+The Othello game on an \(n\times n\) board is PSPACE-complete
+Normal rank
@@ Property / cites work @@
+Temporal logic and state systems
@@ Property / cites work: Temporal logic and state systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+A basis for deductive database systems II
@@ Property / cites work: A basis for deductive database systems II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955344
@@ Property / cites work: Q4955344 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of Games in the Game Description Language
+Normal rank