Non-standard inferences in description logics /

QR koda

Non-standard inferences in description logics /

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Kusters, Ralf.
Format:	Sách giấy
Izdano:	Berlin ; New York : Springer, c2001.
Serija:	Lecture notes in computer science ; 2100. Lecture notes in computer science. Lecture notes in artificial intelligence.
Teme:	Description logics.
Oznake:	Označite Brez oznak, prvi označite!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Podobne knjige/članki

The description logic handbook: Theory, implementions and applications
Izdano: (2003)

Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California /
Izdano: (2001)

The logical foundations of Bradley's metaphysics: Judgment, inference, and truth
od: Allard, James W
Izdano: (2013)

Bibliographic description and access :
od: Taylor, Alice
Izdano: (2002)

Problems in descriptive geometry
od: Kh Arustamov
Izdano: (1980)

Géométrie descriptive.
od: Voilquin, M.
Izdano: (1977)

Géométrie descriptive.
od: Voilquin, M.
Izdano: (1976)

Bibliogrraphic description and access ( LTIS023 )
od: Alice Taylor
Izdano: (2004)

Guidelines for soil description
Izdano: (2006)

Advances in artificial intelligence : 14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001, Ottawa, Canada, June 7-9, 2001 : proceedings /
Izdano: (2001)

Fundamentals of digital logic with VHDL design /
od: Brown, Stephen D.
Izdano: (2000)

Conditionals, Information, and Inference
Izdano: (2020)

Fundamentals of digital logic with VHDL design
od: Brown, Stephen D.
Izdano: (2009)

Fundamentals of digital logic with VHDL design /
od: Brown, Stephen D.
Izdano: (2000)

An introduction to non-classical logic
od: Priest, Graham
Izdano: (2001)

Description Logics in Multimedia Reasoning. 1st ed. 2017
od: Sikos, Leslie F.
Izdano: (2020)

Logic học :
od: Lê, Ngọc Triết
Izdano: (2013)

Hegel's logic :
od: Hegel, Georg Wilhelm Friedrich
Izdano: (1975)

Perfect phrases for writing job descriptions :
od: Martin, Carole
Izdano: (2010)

Max+Plus II software and design examples to accompany fundamentals of digital logic with verilog design
od: Brown, Stephen D.
Izdano: (2003)

The power of logic
od: Layman, C. Stephen
Izdano: (2005)

The Power of Logic
od: Layman, Stephen
Izdano: (2005)

Chart description and a new proof of the classification theorem of genus one Lefschetz fibrations /

Diagrammatic Representation and Inference
od: Chapman, Peter, et al.
Izdano: (2020)

Learn descriptive cataloging
od: Mortimer, Mary
Izdano: (2000)

Logic học và phương pháp
od: Lê, Tử Thành
Izdano: (1991)

Tập bài giảng logic học
od: Lê, Duy Ninh
Izdano: (2014)

Lôgic học
od: Vương, Tất Đạt
Izdano: (2001)

Lôgic học
od: Vương, Tất Đạt
Izdano: (1998)

Logic
od: Wesley C. Salmon
Izdano: (1984)

Logic
od: Priest, Graham
Izdano: (2000)

Logics
od: Nolt, John
Izdano: (1997)

Tìm hiểu lôgic học
od: Lê, Tử Thành
Izdano: (1991)

Lôgic học đại cương
od: Vương, Tất Đạt
Izdano: (1998)

Logic học đại cương
od: Nguyễn, Như Hải
Izdano: (2014)

Lôgic học đại cương
od: Vương, Tất Đạt
Izdano: (2010)

Giáo trình logic học
od: Lê, Thanh Thập
Izdano: (2013)

Lôgic học đại cương
od: Vương, Tất Đạt
Izdano: (1998)

Logic học đại cương :
od: Phạm, Quỳnh
Izdano: (2014)

Fundamentals of logic design
od: Roth, Charles H