Title :
The p-Stable Semantics Applied to ICT Systems
Author :
Zepeda, Claudia ; Marín, Angel ; Arzola, Sergio ; Rossainz, Mario ; Galindo, Mauricio Osorio
Author_Institution :
Fac. de Cienc. de la Comput., Benemerita Univ. Autonoma de Puebla, Puebla, Mexico
fDate :
Sept. 28 2010-Oct. 1 2010
Abstract :
We present an overview of an implementation of p-stable semantics, since we consider that this semantics can be a formal approach useful in the fields of Electronics, Robotics, or Automotive Mechanics.
Keywords :
automotive engineering; electronic engineering; formal verification; information technology; programming language semantics; robots; ICT systems; automotive mechanics; electronics; model checking; p-stable semantics; robotics; Automotive engineering; Computational modeling; Fuzzy logic; Logic programming; Mathematical model; Robots; Semantics; Non-monotonic reasoning; p-stable semantics;
Conference_Titel :
Electronics, Robotics and Automotive Mechanics Conference (CERMA), 2010
Conference_Location :
Morelos
Print_ISBN :
978-1-4244-8149-1
DOI :
10.1109/CERMA.2010.100
