Non-standard inferences in description logics /

Codi QR

Non-standard inferences in description logics /

Guardat en:

Dades bibliogràfiques
Autor principal:	Kusters, Ralf.
Format:	Sách giấy
Publicat:	Berlin ; New York : Springer, c2001.
Col·lecció:	Lecture notes in computer science ; 2100. Lecture notes in computer science. Lecture notes in artificial intelligence.
Matèries:	Description logics.
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

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

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

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

Bibliographic description and access :
per: Taylor, Alice
Publicat: (2002)

Problems in descriptive geometry
per: Kh Arustamov
Publicat: (1980)

Géométrie descriptive.
per: Voilquin, M.
Publicat: (1977)

Géométrie descriptive.
per: Voilquin, M.
Publicat: (1976)

Bibliogrraphic description and access ( LTIS023 )
per: Alice Taylor
Publicat: (2004)

Guidelines for soil description
Publicat: (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 /
Publicat: (2001)

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

Conditionals, Information, and Inference
Publicat: (2020)

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

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

An introduction to non-classical logic
per: Priest, Graham
Publicat: (2001)

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

Logic học :
per: Lê, Ngọc Triết
Publicat: (2013)

Hegel's logic :
per: Hegel, Georg Wilhelm Friedrich
Publicat: (1975)

Perfect phrases for writing job descriptions :
per: Martin, Carole
Publicat: (2010)

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

The power of logic
per: Layman, C. Stephen
Publicat: (2005)

The Power of Logic
per: Layman, Stephen
Publicat: (2005)

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

Diagrammatic Representation and Inference
per: Chapman, Peter, et al.
Publicat: (2020)

Learn descriptive cataloging
per: Mortimer, Mary
Publicat: (2000)

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

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

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

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

Logic
per: Wesley C. Salmon
Publicat: (1984)

Logic
per: Priest, Graham
Publicat: (2000)

Logics
per: Nolt, John
Publicat: (1997)

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

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

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

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

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

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

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

Fundamentals of logic design
per: Roth, Charles H