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 Xplore POP ALL
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 Electronic Library (IEL)
  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.4321368
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/eLvHCXMwlV1NSwMxEB1q8eBJpRW_ycGjsc1-JLvnskWhtj0o9FY2mYwUdFv6hT_fZHdbUbx4yyawbCZkX17y5gXgTpOSMabEY4HII0noplRCPFCY65gwlLoc6YEaDpPJJB034H6fC2OtLcVn9sEXy7N8nJuN3yrrxJGjH_6He6CUrHK19vsp3hrcYfEud6v0fd9ZOtXPyU7J0007vdHwKRtkvdHzuNJ31e_-cclKiTH94_993Qm0v5P12HgPQ6fQsEULVPZZKVyLN7bgbgWo3y1b2Q8Xx5lZMY9dyOYF-93Shtd-9tJ75PUdCXzmgH_Nc51bE2myiJjaQHo3qcTFXwkXa-3YQhc9qSDHrChKvUFbLjwPjQOdBAJNeAbNYl7Yc2CGAkpC7CokGck414EmkZvQreGEEUgX0PKdni4qG4xp3d_Lv6uv4Kg6aPfKj2torpcbewOHZruerZa35dh9AZD-luM
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1dS8MwFL2MKeiTyiZ-mwcfjWvS7-fRsWHX7WHC3kaTm8hAu7EP8eebtN1E8cW3tIHS5JKcnOTcE4AHocPAx1hTnyFSL9BohlSkKQ8xF75GNxBlpNMwy6LpNB434HGfC6OUKsVn6skWy7N8XMit3Srr-J6hH3bCPTAl7lTZWvsdFWsObtB4l71VOr_vTJ3q52in5XHiTneUDZI06Y6G40rhVX_9xzUrJcr0Tv73f6fQ_k7XI-M9EJ1BQxUtCJPPSuNavJIlNWtA8abIWr2bnpzLNbHohWRRkN81bXjpJZNun9a3JNC5gf4NzUWupCe0QsRY8cD6SUUmAiEzvS0MX3DQ0gptuJX2YmvRljPLRH0uIs5QuufQLBaFugAiNdeRi06IOvACPxdcaJZL16zimGSoL6FlGz1bVkYYs7q9V3-_voej_mSYztJB9nwNx9Wxu9WB3EBzs9qqWziUH5v5enVXxvELoT6aKg
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