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

zbMATH Keywords

mathematical modelinglogic in computer sciencelogic programmingrailway interlocking systems

Mathematics Subject Classification ID

Logic programming (68N17) Traffic problems in operations research (90B20) Logic in computer science (03B70)

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

Cites work

• scientific article; zbMATH DE number 2177635 (Why is no real title available?)
• scientific article; zbMATH DE number 108068 (Why is no real title available?)
• A formal approach for the construction and verification of railway control 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 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
• 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
• Formal verification of a generic framework to synthesize SAT-provers
• Formally verified tableau-based reasoners for a description logic
• Logic programs with stable model semantics as a constraint programming paradigm
• Team-building with answer set programming in the Gioia-Tauro seaport

Cited in

(5)

• 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
• A logic approach to decision taking in a railway interlocking system using Maple
• Looking for compatible routes in the railway interlocking system of an overtaking station using a computer algebra system
• An applicable topology-independent model for railway interlocking systems

Describes a project that uses

Uses Software

• Maple
• PolyBoRi
• Smodels

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)