An approach from answer set programming to decision making in a railway interlocking system

DOI10.1007/s13398-013-0155-1zbMath1304.90063OpenAlexW2094821795MaRDI QIDQ740741

Eugenio Roanes-Lozano, Antonio 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 programminglogic in computer sciencerailway interlocking systems

Mathematics Subject Classification ID

Uses Software

• Maple
• PolyBoRi
• Smodels

Cites Work

• Unnamed Item
• Unnamed Item
• A logic approach to decision taking in a railway interlocking system using Maple
• A formal approach for the construction and verification of railway control systems
• A logic-algebraic approach to decision taking in a railway interlocking system
• An algebraic approach to rule based expert systems
• 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
• Logic programs with stable model semantics as a constraint programming paradigm
• Formally verified tableau-based reasoners for a description logic
• 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
• Formal verification of a generic framework to synthesize SAT-provers
• Team-building with answer set programming in the Gioia-Tauro seaport

This page was built for publication: An approach from answer set programming to decision making in a railway interlocking system