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ženo v:
Podrobná bibliografie
Vydáno v:2010 20th International Conference on Electronics Communications and Computers s. 227 - 231
Hlavní autoři: Osorio, Mauricio, Carballido, Jose Luis, Zepeda, Claudia
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 01.02.2010
Témata:
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 přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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/eLvHCXMwlV3NS8MwHP0xhwdPKpv4TQ4ejVs_k5xHh8LcelDYbeTjFxloN9Zt-OebtN1E8eKtaSE0KeT1Je-9H8AdF1wyYxQNhWY01sxQEXGkFqPAJgq5tJVReMTGYz6dirwF93svDCJW4jN88JfVWb5Z6I3fKuslsaMffsE9YCytvVr7_RQfDe6weOfdqnLfd5FOTZvvlDx90RtMxk_ZKBtMnvNa39X0_aPISoUxw-P_vd0JdL_NeiTfw9AptLDoAMs-a4Vr8UaW1P0BqnckJX64eZzrknjsMmRRkN9PuvA6zF4Gj7SpkUDnDvjXVCqJOlYWjTECw9SnSXHLUhYYqZRjC33jSYV1zMrGwge0ycDz0CRUPAyMjs6gXSwKPAeiUm5FnGhfAiYOMOA2kpZxKdyiJsNEXkDHD3q2rGMwZs14L_--fQVH9UG7V35cQ3u92uANHOrtel6ubqtv9wWsxJZG
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1bS8MwGP0YU9AnlU282wcfjVtvS_I8Ojbsuj1M2NvI5YsMtBu7iD_fpO0mii--JS2UpoWcnOSc8wE8MM4E1VqSgCtKIkU14SFDYjD0TSyRCVMYhVOaZWw65eMaPO69MIhYiM_wyTWLs3y9UFu3VdaKI0s_3IR7YFtBu3Rr7XdUXDi4ReOde6tIft-FOlV9ttPytHmrO8oGSZp0R8NxqfCqnv6jzEqBMr2T_73fKTS_7XreeA9EZ1DDvAE0-Sw1rvmrtyR2DSjf0Fvju_2Sc7X2HHppb5F7v-804aWXTLp9UlVJIHML_RsipEAVSYNaa45Bx-VJMUM71NdCSssX2trRCmO5lYm4i2gTvmOicSBZ4GsVnkM9X-R4AZ7sMMOjWLkiMJGPPjOhMJQJbqc1EcTiEhpu0LNlGYQxq8Z79fflezjqT4bpLB1kz9dwXB67Ox3IDdQ3qy3ewqH62MzXq7viP34BthqZjQ
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