ข้ามไปที่เนือ้หา
Belief revision in non-classical logics แสดงตัวอย่างรายการนี้
ปิดแสดงตัวอย่างรายการนี้
ตรวจสอบ...

Belief revision in non-classical logics

ผู้แต่ง: Márcio Moretto Ribeiro
สำนักพิมพ์: London ; New York : Springer, ©2013.
ชุด: SpringerBriefs in computer science.
ครั้งที่พิมพ์/รูปแบบ:   หนังสืออีเล็กทรอนิกส์ : เอกสาร : ภาษาอังกฤษดูครั้งที่พิมพ์และรูปแบบ
ฐานข้อมูล:WorldCat
สรุป:
Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that  อ่านมากขึ้น…
คะแนน:

(ยังไม่ให้คะแนน) 0 กับความคิดเห็น - เป็นคนแรก

หัวเรื่อง
เพิ่มเติมเช่นนี้

 

ค้นหาสำเนาออนไลน์

เชื่อมโยงไปยังรายการนี้

ค้นหาสำเนาในห้องสมุด

&AllPage.SpinnerRetrieving; ค้นหาห้องสมุดที่มีรายการนี้

รายละเอียด

ประเภท/แบบฟอร์ม Electronic books
รูปแบบทางกายภาพเพิ่มเติม Print version:
Belief revision in non-classical logics.
London ; New York : Springer, c2013
(OCoLC)788251188
ขนิดวัสดุ: เอกสาร, ทรัพยากรอินแทอร์เน็ต
ประเภทของเอกสาร: แหล่งข้อมูลอินเทอร์เน็ต, ไฟล์คอมพิวเตอร์
ผู้แต่งทั้งหมด : ผู้แต่งร่วม Márcio Moretto Ribeiro
ISBN: 9781447141860 1447141865
OCLC Number: 809055920
คำอธิบาย: 1 online resource (xi, 120 p.)
สารบัญ: Consequence --
Logics --
Classical Belief Revision --
AGM Contraction in Non-Classical Logics --
AGM Revision in Logics Without Negation --
Base Revision in Logics Without Negation --
Algorithms for Belief Bases --
Conclusion.
ชื่อชุด: SpringerBriefs in computer science.
ความรับผิดชอบ: Márcio Moretto Ribeiro.
ข้อมูลเพิ่มเติม

บทคัดย่อ:

Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. This title presents a framework which can be applied to a wide class of  อ่านมากขึ้น…

รีวิว

ความคิดเห็นของบรรณาธิการ

สรุปความของสำนักพิมพ์

From the reviews: "The book is truly self-contained, and the reader will appreciate that the proofs of all results, including the most well-known ones, are given in detail. The proposed อ่านมากขึ้น…

 
ความคิดเห็นผู้ที่ใช้งาน
กำลังค้นคืน รีวิว GoodReads…
ค้นคืน DOGObooks บทวิจารณ์

แท็ก

เป็นคนแรก.

รายการคล้ายกัน

ยืนยันคำขอนี้

คุณอาจะร้องขอรายการนี้แล้. โปรดเลือก ตกลง ถ้าคุณต้องการดำเนินการคำขอนี้ต่อไป.

เชิ่อมโยงข้อมูล


<http://www.worldcat.org/oclc/809055920>
library:oclcnum"809055920"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:MediaObject
rdf:typeschema:Book
rdf:valueUnknown value: dct
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:bookFormatschema:EBook
schema:copyrightYear"2013"
schema:creator
schema:datePublished"2013"
schema:description"Since the advent of the Semantic Web, interest in the dynamics of ontologies (ontology evolution) has grown significantly. Belief revision presents a good theoretical framework for dealing with this problem; however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can be applied to a wide class of logics that include - besides most Description Logics such as the ones behind OWL - Horn Logic and Intuitionistic logic, amongst others. The author also presents algorithms for the most important constructions in belief bases. Researchers and practitioners in theoretical computing will find this an invaluable resource."
schema:exampleOfWork<http://worldcat.org/entity/work/id/1166220173>
schema:genre"Electronic books"
schema:inLanguage"en"
schema:isPartOf
schema:name"Belief revision in non-classical logics"
schema:numberOfPages"120"
schema:publication
schema:publisher
schema:url<http://dx.doi.org/10.1007/978-1-4471-4186-0>
schema:url<http://site.ebrary.com/id/10593600>
schema:workExample
wdrs:describedby

Content-negotiable representations

Close Window

กรุณาลงชื่อเข้าสู่ระบบ WorldCat 

ยังไม่มีบัญชีผู้ใช้? คุณสามารถสร้างได้อย่างง่ายดาย สร้างบัญชีผู้ใช้ฟรี.