Non-standard inferences in description logics /

QR code

Non-standard inferences in description logics /

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Kusters, Ralf.
Formaat:	Sách giấy
Gepubliceerd in:	Berlin ; New York : Springer, c2001.
Reeks:	Lecture notes in computer science ; 2100. Lecture notes in computer science. Lecture notes in artificial intelligence.
Onderwerpen:	Description logics.
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

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

Gelijkaardige items

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

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

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

Bibliographic description and access :
door: Taylor, Alice
Gepubliceerd in: (2002)

Problems in descriptive geometry
door: Kh Arustamov
Gepubliceerd in: (1980)

Géométrie descriptive.
door: Voilquin, M.
Gepubliceerd in: (1977)

Géométrie descriptive.
door: Voilquin, M.
Gepubliceerd in: (1976)

Bibliogrraphic description and access ( LTIS023 )
door: Alice Taylor
Gepubliceerd in: (2004)

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

Fundamentals of digital logic with VHDL design /
door: Brown, Stephen D.
Gepubliceerd in: (2000)

Conditionals, Information, and Inference
Gepubliceerd in: (2020)

Fundamentals of digital logic with VHDL design
door: Brown, Stephen D.
Gepubliceerd in: (2009)

Fundamentals of digital logic with VHDL design /
door: Brown, Stephen D.
Gepubliceerd in: (2000)

An introduction to non-classical logic
door: Priest, Graham
Gepubliceerd in: (2001)

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

Logic học :
door: Lê, Ngọc Triết
Gepubliceerd in: (2013)

Hegel's logic :
door: Hegel, Georg Wilhelm Friedrich
Gepubliceerd in: (1975)

Perfect phrases for writing job descriptions :
door: Martin, Carole
Gepubliceerd in: (2010)

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

The power of logic
door: Layman, C. Stephen
Gepubliceerd in: (2005)

The Power of Logic
door: Layman, Stephen
Gepubliceerd in: (2005)

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

Diagrammatic Representation and Inference
door: Chapman, Peter, et al.
Gepubliceerd in: (2020)

Learn descriptive cataloging
door: Mortimer, Mary
Gepubliceerd in: (2000)

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

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

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

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

Logic
door: Wesley C. Salmon
Gepubliceerd in: (1984)

Logic
door: Priest, Graham
Gepubliceerd in: (2000)

Logics
door: Nolt, John
Gepubliceerd in: (1997)

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

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

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

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

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

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

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

Fundamentals of logic design
door: Roth, Charles H