Expressing p-stable semantics based on stable semantics

We study one of the semantics that is useful to formalize NMR, called the p-stable semantics. We explore the relation between the p-stable and the stable semantics. We give a condition under which the two semantics agree in the case of normal programs.

Saved in:
Bibliographic Details
Published in:2010 20th International Conference on Electronics Communications and Computers pp. 227 - 231
Main Authors: Osorio, Mauricio, Carballido, Jose Luis, Zepeda, Claudia
Format: Conference Proceeding
Language:English
Published: IEEE 01.02.2010
Subjects:
Application software
Artificial intelligence
Humans
Intelligent agent
Java
Knowledge representation
Logic programming
Logic programming semantics
Nuclear magnetic resonance
p-stable semantics
Software prototyping
Software tools
stable semantics
ISBN:9781424453528, 1424453526
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract We study one of the semantics that is useful to formalize NMR, called the p-stable semantics. We explore the relation between the p-stable and the stable semantics. We give a condition under which the two semantics agree in the case of normal programs.
AbstractList We study one of the semantics that is useful to formalize NMR, called the p-stable semantics. We explore the relation between the p-stable and the stable semantics. We give a condition under which the two semantics agree in the case of normal programs.
Author Carballido, Jose Luis
Osorio, Mauricio
Zepeda, Claudia
Author_xml – sequence: 1
  givenname: Mauricio
  surname: Osorio
  fullname: Osorio, Mauricio
  email: osoriomauri@gmail.com
  organization: Univ. de las Americas, Puebla, Mexico
– sequence: 2
  givenname: Jose Luis
  surname: Carballido
  fullname: Carballido, Jose Luis
  email: jlcarballido7@gmail.com
  organization: Benemerita Univ. Autonoma de Puebla, Puebla, Mexico
– sequence: 3
  givenname: Claudia
  surname: Zepeda
  fullname: Zepeda, Claudia
  email: czepedac@gmail.com
  organization: Benemerita Univ. Autonoma de Puebla, Puebla, Mexico
BookMark eNpdT8FOwzAUC4JJsNEv4JIf6Mh7TfqaI6oKm1QoBzhPSfOKirauanqAv2cSu4B9sGxLlrwUV8NxYCEkqDWAsvdl87Kt6qpsnl_XqE6p0VpRjhcisVSARq1NduLlH4_FQixRKWuVNZRfiyTGT3WCNkhIN4Kqr3HiGPvhQ45pnJ3fs4x8cMPct1F6FznI4yD_N7di0bl95OSsK_H-WL2Vm7RunrblQ532QGZOnXfcat9xCMEy5h6Iio5yguC8N5ZUQI2mwwI7bRVkuQPSBAZ9gRDabCXufnd7Zt6NU39w0_fu_D37AS8eTdU
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/CONIELECOMP.2010.5440762
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Xplore
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
EISBN 9781424453535
1424453534
EndPage 231
ExternalDocumentID 5440762
Genre orig-research
GroupedDBID 6IE
6IF
6IH
6IK
6IL
6IN
AAJGR
AAWTH
ADFMO
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
IEGSK
IERZE
OCL
RIE
RIL
ID FETCH-LOGICAL-i175t-abaec4bfeddd9e26b1778f7671dabb5970d2425f282f490136a1747152b821dc3
IEDL.DBID RIE
ISBN 9781424453528
1424453526
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000278334500044&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Wed Aug 27 03:18:11 EDT 2025
IsPeerReviewed false
IsScholarly false
LCCN 2009909576
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i175t-abaec4bfeddd9e26b1778f7671dabb5970d2425f282f490136a1747152b821dc3
PageCount 5
ParticipantIDs ieee_primary_5440762
PublicationCentury 2000
PublicationDate 2010-Feb.
PublicationDateYYYYMMDD 2010-02-01
PublicationDate_xml – month: 02
  year: 2010
  text: 2010-Feb.
PublicationDecade 2010
PublicationTitle 2010 20th International Conference on Electronics Communications and Computers
PublicationTitleAbbrev CONIELECOMP
PublicationYear 2010
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssj0000452727
Score 1.4321947
Snippet We study one of the semantics that is useful to formalize NMR, called the p-stable semantics. We explore the relation between the p-stable and the stable...
SourceID ieee
SourceType Publisher
StartPage 227
SubjectTerms Application software
Artificial intelligence
Humans
Intelligent agent
Java
Knowledge representation
Logic programming
Logic programming semantics
Nuclear magnetic resonance
p-stable semantics
Software prototyping
Software tools
stable semantics
Title Expressing p-stable semantics based on stable semantics
URI https://ieeexplore.ieee.org/document/5440762
WOSCitedRecordID wos000278334500044&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3LSgMxFL3U4sKVSiu-ycKlse1MJo91maKgbRcK3ZU8bqSg09KH-PkmM9OK4sZdJhlCHjBnTnLuuQA3jCmfSc2pEyyjLHEpldomNObatqmUlqe2TDYhhkM5mahxA253sTCIWIrP8C4Wy7t8N7ebeFTWyVigH_GDuycEr2K1ducp0Ro8YPE2dqv0fd9aOtXPcqvk6apOfzR8yB_z_uhpXOm76r5_JFkpMWZw-L_RHUH7O1iPjHcwdAwNLFog8s9K4Vq8kgUNf4DmDckK38M6zuyKROxyZF6Q3y1teBnkz_17WudIoLMA_GuqjUbLjEfnnMKERzcp6QUXPaeNCWyh6yKp8IFZeaaiQZvuRR6aJUYmPWfTE2gW8wJPgbgA_V7yrhOoA6yjSgL1E8pwH9928gxacdLTRWWDMa3ne_539QUcVBftUflxCc31coNXsG8_1rPV8rrcuy_MmpTj
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3PT8MgGCXLNNGTms34Ww4exXWUFjgvXba4dTvMZLelwIdZot2yH8Y_X2i7GY0Xb9ASUkrC48H73ofQA2PSRiKLieEsIoyakIhMU-JzbetQCB2Hukg2wdNUTKdyXEOP-1gYACjEZ_Dki8VdvlnorT8qa0XM0Q-_4B64Eg3KaK39iYo3B3dovIveKpzfd6ZOVV3stDyBbHVGaT8ZJJ3RcFwqvKref6RZKVCme_K_7ztFze9wPTzeA9EZqkHeQDz5LDWu-SteErcHVG-A1_Du_uRcr7FHL4MXOf79poleusmk0yNVlgQyd9C_IZnKQDNlwRgjgcbeT0pYHvO2yZRyfCEwnlZYx60sk96iLWt7JhpRJWjb6PAc1fNFDhcIGwf-VsSB4ZA5YAdJHfnjUsXWtzbiEjX8oGfL0ghjVo336u_H9-ioNxkOZoN--nyNjstrd68DuUH1zWoLt-hQf2zm69VdMY9fwoSYKg
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2010+20th+International+Conference+on+Electronics+Communications+and+Computers&rft.atitle=Expressing+p-stable+semantics+based+on+stable+semantics&rft.au=Osorio%2C+Mauricio&rft.au=Carballido%2C+Jose+Luis&rft.au=Zepeda%2C+Claudia&rft.date=2010-02-01&rft.pub=IEEE&rft.isbn=9781424453528&rft.spage=227&rft.epage=231&rft_id=info:doi/10.1109%2FCONIELECOMP.2010.5440762&rft.externalDocID=5440762
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781424453528/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781424453528/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781424453528/sc.gif&client=summon&freeimage=true