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.

Uložené v:
Podrobná bibliografia
Vydané v:2010 20th International Conference on Electronics Communications and Computers s. 227 - 231
Hlavní autori: Osorio, Mauricio, Carballido, Jose Luis, Zepeda, Claudia
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 01.02.2010
Predmet:
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
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
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/IET Electronic Library
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE/IET Electronic Library
  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/eLvHCXMwlV3PT8IwFG6QePCkBoy_04NHK2wr63omI5ogcFDDjax9r4ZEB2Fg_PPt2wZG48Vb1yVLfyT7-r1-73uM3UQAsbVkfekCLSRGmUgcakHVj1ysUbsyNPAyVKNRMp3qSYPd7nJhELEUn-EdNcu7fFjYDYXKOj3p6Qf9cPeUiqtcrV08hazBPRZvc7dK3_etpVP9nGyVPF3d6Y9HD-kw7Y8fJ5W-q_72jyIrJcYMDv83uiPW_k7W45MdDB2zBuYtptLPSuGav_Kl8CdA84a8wHe_jnNbcMIu4Iuc_37TZs-D9Kl_L-oaCWLugX8tMpOhlcYhAGgMY3KTSpyKVQCZMZ4tdIFIhfPMyklNBm1ZQDy0F5okDMBGJ6yZL3I8ZbwnDQAZftkYpM787qKnx05JtFHobHTGWjTp2bKywZjV8z3_u_uCHVQX7aT8uGTN9WqDV2zffqznxeq63LsveDGWcA
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NS8NAEB1KFfSk0orf7sGjsU2yTbLnkmIxTXuo0lvJ7s5KQdPSD_Hnu5OkFcWLt80Gwn5A3r7ZN28A7nytA6XI-tK4wuHoZ05kUDhU_cgEAoUpQgMvSZim0WQiRjW43-XCIGIhPsMHahZ3-XquNhQqa3W4pR_0w92jyllVttYuokLm4BaNt9lbhfP71tSpeo62Wp62aHWHaT9O4u5wMCoVXtXXf5RZKVCmd_S_8R1D8ztdj412QHQCNcwbEMafpcY1f2ULx54B5RuyFb7blZypFSP00myes99vmvDci8fdR6eqkuDMLPSvnUxmqLg0qLUW6AXkJxWZMAhdnUlp-UJbE60wllsZLsiiLXOJiXY8GXmuVv4p1PN5jmfAOlxqTZZfKtBcZHZ_0RJkE3JUvmeUfw4NmvR0URphTKv5XvzdfQsHj-NBMk366dMlHJbX7qQDuYL6ernBa9hXH-vZanlT7OMXhZSZuQ
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