An approach from answer set programming to decision making in a railway interlocking system (Q740741): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s13398-013-0155-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2094821795
@@ Property / OpenAlex ID: W2094821795 / rank @@
+Normal rank
@@ Property / cites work @@
+Case study: Formal verification of a computerized railway interlocking
+Normal rank
@@ Property / cites work @@
+Team-building with answer set programming in the Gioia-Tauro seaport
+Normal rank
@@ Property / cites work @@
+Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
+Normal rank
@@ Property / cites work @@
+Q4023642
@@ Property / cites work: Q4023642 / rank @@
+Normal rank
@@ Property / cites work @@
+An applicable topology-independent model for railway interlocking systems
+Normal rank
@@ Property / cites work @@
+A formal approach for the construction and verification of railway control systems
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+A logic-algebraic approach to decision taking in a railway interlocking system
+Normal rank
@@ Property / cites work @@
+Formally verified tableau-based reasoners for a description logic
+Normal rank
@@ Property / cites work @@
+Formal verification of a generic framework to synthesize SAT-provers
+Normal rank
@@ Property / cites work @@
+A logic approach to decision taking in a railway interlocking system using Maple
+Normal rank
@@ Property / cites work @@
+A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
+Normal rank
@@ Property / cites work @@
+Q3021919
@@ Property / cites work: Q3021919 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to rule based expert systems
+Normal rank