An approach from answer set programming to decision making in a railway interlocking system
type: Item
instance of: scholarly article
title: An approach from answer set programming to decision making in a railway interlocking system
zbMATH Open document ID: 1304.90063
author: Eugenio Roanes-Lozano
author: A. Hernando
author: Jose Antonio Alonso
published in: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM
publication date: 2014-09-09T00:00:00Z
Mathematics Subject Classification ID: 90B20
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 93A30
zbMATH DE Number: 6341686
zbMATH Keywords: railway interlocking systems
zbMATH Keywords: logic programming
zbMATH Keywords: logic in computer science
zbMATH Keywords: mathematical modeling
describes a project that uses: PolyBoRi
describes a project that uses: Maple
describes a project that uses: Smodels
MaRDI profile type: Publication
full work available at URL: s13398-013-0155-1
OpenAlex ID: W2094821795
cites work: Case study: Formal verification of a computerized railway interlocking
cites work: Team-building with answer set programming in the Gioia-Tauro seaport
cites work: 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
cites work: Q4023642
cites work: An applicable topology-independent model for railway interlocking systems
cites work: A formal approach for the construction and verification of railway control systems
cites work: Logic programs with stable model semantics as a constraint programming paradigm
cites work: A logic-algebraic approach to decision taking in a railway interlocking system
cites work: Formally verified tableau-based reasoners for a description logic
cites work: Formal verification of a generic framework to synthesize SAT-provers
cites work: A logic approach to decision taking in a railway interlocking system using Maple
cites work: A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
cites work: Q3021919
cites work: An algebraic approach to rule based expert systems
DOI: 10.1007/S13398-013-0155-1
description: scientific article; zbMATH DE number 6341686