DocumentCode
2171928
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
fYear
2010
fDate
Sept. 28 2010-Oct. 1 2010
Firstpage
174
Lastpage
179
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electronics, Robotics and Automotive Mechanics Conference (CERMA), 2010
Conference_Location
Morelos
Print_ISBN
978-1-4244-8149-1
Type
conf
DOI
10.1109/CERMA.2010.100
Filename
5692332
Link To Document