A logic-algebraic approach to decision taking in a railway interlocking system
DOI10.1007/S10472-012-9321-YzbMATH Open1280.68302OpenAlexW1987132018MaRDI QIDQ694549FDOQ694549
Authors: A. Hernando, Eugenio Roanes-Lozano, Roberto Maestre-Martínez, Jorge Tejedor 
Publication date: 12 December 2012
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-012-9321-y
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
Graph theory (including graph drawing) in computer science (68R10) Symbolic computation and algebraic computation (68W30)
Cites Work
- Polybori: A framework for Gröbner-basis computations with Boolean polynomials
- A new efficient algorithm for computing Gröbner bases \((F_4)\)
- Title not available (Why is that?)
- 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
- A machine program for theorem-proving
- Case study: Formal verification of a computerized railway interlocking
- A logic and computer algebra-based expert system for diagnosis of anorexia
- A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
- An applicable topology-independent model for railway interlocking systems
- An expert system for managing medical appropriateness criteria based on computer algebra techniques
- A logic approach to decision taking in a railway interlocking system using Maple
- Refutational theorem proving using term-rewriting systems
- An algebraic approach to rule based expert systems
- A polynomial model for logics with a prime power number of truth values
- Involutive method for computing Gröbner bases over \(\mathbb F_2\)
Cited In (6)
- A logic approach to decision taking in a railway interlocking system using Maple
- 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
- An applicable topology-independent model for railway interlocking systems
- Formal Approach to Railway Applications
- An algebraic algorithm to train dispatch of railway networks
Uses Software
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)
