컨텐츠로 이동
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 번호: 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 리뷰를 가지고 오는 중…

태그

첫번째 되기
요청하신 것을 확인하기

이 항목을 이미 요청하셨을 수도 있습니다. 만약 이 요청을 계속해서 진행하시려면 Ok을 선택하세요.

링크된 데이터


<http://www.worldcat.org/oclc/809055920>
library:oclcnum"809055920"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/809055920>
rdf:typeschema:Book
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:name"Belief revision in non-classical logics"
schema:numberOfPages"120"
schema:publisher
schema:url<http://dx.doi.org/10.1007/978-1-4471-4186-0>
schema:url<http://site.ebrary.com/id/10593600>
schema:url
schema:workExample

Content-negotiable representations

윈도우 닫기

WorldCat에 로그인 하십시오 

계정이 없으세요? 아주 간단한 절차를 통하여 무료 계정을 만드실 수 있습니다.