A logic-algebraic approach to decision taking in a railway interlocking system
From MaRDI portal
Publication:694549
DOI10.1007/s10472-012-9321-yzbMath1280.68302OpenAlexW1987132018MaRDI QIDQ694549
Antonio Hernando, Roberto Maestre-Martínez, Eugenio Roanes-Lozano, 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
Symbolic computation and algebraic computation (68W30) Graph theory (including graph drawing) in computer science (68R10)
Related Items (2)
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
Uses Software
Cites Work
- Unnamed Item
- A logic approach to decision taking in a railway interlocking system using Maple
- Refutational theorem proving using term-rewriting systems
- Involutive method for computing Gröbner bases over \(\mathbb F_2\)
- An algebraic approach to rule based expert systems
- Polybori: A framework for Gröbner-basis computations with Boolean polynomials
- A new efficient algorithm for computing Gröbner bases \((F_4)\)
- 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 polynomial model for logics with a prime power number of truth values
- 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
This page was built for publication: A logic-algebraic approach to decision taking in a railway interlocking system
