Refutational theorem proving using term-rewriting systems
Artificial Intelligence
A polynomial model for multi-valued logics with a touch of algebraic geometry and computer algebra
Selected papers from the 1996 or 1997 IMACS-ACA conference on Non-standard applications of computer algebra
An applicable topology-independent model for railway interlocking systems
Selected papers from the 1996 or 1997 IMACS-ACA conference on Non-standard applications of computer algebra
Railway interlocking systems and Gröbner bases
Mathematics and Computers in Simulation - Selected papers from the IMACS-ACA sponsored conferences: “Non-standard applications of computer algegra II&rdqu; (held in Waileau Maui, Hawaii and Prague, Czech Republic)
A machine program for theorem-proving
Communications of the ACM
A logic and computer algebra-based expert system for diagnosis of anorexia
Mathematics and Computers in Simulation
An Application of an AI Methodology to Railway Interlocking Systems Using Computer Algebra
IEA/AIE '98 Proceedings of the 11th International Conference on Industrial and Engineering Applications of Artificial In telligence and Expert Systems: Tasks and Methods in Applied Artificial Intelligence
An Interpretation of the Propositional Boolean Algebra as k-algebra. Effective Calculus
AISMC-2 Selected Papers from the Second International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence
A new efficient algorithm for computing Gröbner bases without reduction to zero (F5)
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
Tool support for checking railway interlocking designs
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
Expert Systems with Applications: An International Journal
A pommaret division algorithm for computing Grobner bases in boolean rings
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation
PolyBoRi: A framework for Gröbner-basis computations with Boolean polynomials
Journal of Symbolic Computation
An equational approach to theorem proving in first-order predicate calculus
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
A Polynomial Model for Logics with a Prime Power Number of Truth Values
Journal of Automated Reasoning
A logic approach to decision taking in a railway interlocking system using Maple
Mathematics and Computers in Simulation
Hi-index | 0.00 |
The safety of a railway network is a very important issue considered very labour-intensive. Authors have developed different approaches in order to detect automatically the safety for mid-small railway networks. Although these approaches are very simple to implement, they have the drawback of being unsuitable to large networks since the algorithm takes large time to be run. In this paper, we show a new algebraic model which, besides being also simple to implement, has the advantage of being very fast and consequently can be used for checking the safety in a large railway network.