An approach from answer set programming to decision making in a railway interlocking system
DOI10.1007/S13398-013-0155-1zbMATH Open1304.90063OpenAlexW2094821795MaRDI QIDQ740741FDOQ740741
Authors: Eugenio Roanes-Lozano, A. Hernando, Jose Antonio Alonso 
Publication date: 9 September 2014
Published in: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s13398-013-0155-1
Recommendations
- A logic approach to decision taking in a railway interlocking system using Maple
- An applicable topology-independent model for railway interlocking systems
- Case study: Formal verification of a computerized railway interlocking
- A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking
- A logic-algebraic approach to decision taking in a railway interlocking system
Logic programming (68N17) Traffic problems in operations research (90B20) Logic in computer science (03B70)
Cites Work
- Title not available (Why is that?)
- Logic programs with stable model semantics as a constraint programming paradigm
- 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
- 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
- A logic approach to decision taking in a railway interlocking system using Maple
- A logic-algebraic approach to decision taking in a railway interlocking system
- A formal approach for the construction and verification of railway control systems
- Team-building with answer set programming in the Gioia-Tauro seaport
- Formal verification of a generic framework to synthesize SAT-provers
- An algebraic approach to rule based expert systems
- Formally verified tableau-based reasoners for a description logic
- Title not available (Why is that?)
Cited In (5)
- Looking for compatible routes in the railway interlocking system of an overtaking station using a computer algebra system
- A logic approach to decision taking in a railway interlocking system using Maple
- A logic-algebraic approach to decision taking in a railway interlocking system
- A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking
- An applicable topology-independent model for railway interlocking systems
Uses Software
This page was built for publication: An approach from answer set programming to decision making in a railway interlocking system
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q740741)
