A logic-algebraic approach to decision taking in a railway interlocking system
From MaRDI portal
(Redirected from Publication:694549)
Recommendations
- A logic approach to decision taking in a railway interlocking system using Maple
- An approach from answer set programming to decision making in a railway interlocking system
- Formal verification of a railway interlocking system using model checking
- An applicable topology-independent model for railway interlocking systems
- A formal approach for the construction and verification of railway control systems
- A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking
Cites work
- scientific article; zbMATH DE number 2151220 (Why is no real title available?)
- A logic and computer algebra-based expert system for diagnosis of anorexia
- A logic approach to decision taking in a railway interlocking system using Maple
- A machine program for theorem-proving
- A new efficient algorithm for computing Gröbner bases \((F_4)\)
- A polynomial model for logics with a prime power number of truth values
- A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
- An algebraic approach to rule based expert systems
- An applicable topology-independent model for railway interlocking systems
- An expert system for managing medical appropriateness criteria based on computer algebra techniques
- 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
- Case study: Formal verification of a computerized railway interlocking
- Involutive method for computing Gröbner bases over \(\mathbb F_2\)
- Polybori: A framework for Gröbner-basis computations with Boolean polynomials
- Refutational theorem proving using term-rewriting systems
Cited in
(9)- An algebraic approach to DC railway electrification verification
- Formal Approach to Railway Applications
- A logic approach to decision taking in a railway interlocking system using Maple
- An algebraic algorithm to train dispatch of railway networks
- An algebraic approach for detecting nearly dangerous situations in expert systems
- An approach from answer set programming to decision making in a railway interlocking system
- Safety and efficiency analysis of a railway network
- The railroad crossing problem: an experiment with instantaneous actions and immediate reactions
- An applicable topology-independent model for railway interlocking systems
This page was built for publication: A logic-algebraic approach to decision taking in a railway interlocking system
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q694549)
