Non-standard inferences in description logics /

QR-koodi

Non-standard inferences in description logics /

Tallennettuna:

Bibliografiset tiedot
Päätekijä:	Kusters, Ralf.
Aineistotyyppi:	Sách giấy
Julkaistu:	Berlin ; New York : Springer, c2001.
Sarja:	Lecture notes in computer science ; 2100. Lecture notes in computer science. Lecture notes in artificial intelligence.
Aiheet:	Description logics.
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

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

Samankaltaisia teoksia

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

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

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

Bibliographic description and access :
Tekijä: Taylor, Alice
Julkaistu: (2002)

Problems in descriptive geometry
Tekijä: Kh Arustamov
Julkaistu: (1980)

Géométrie descriptive.
Tekijä: Voilquin, M.
Julkaistu: (1977)

Géométrie descriptive.
Tekijä: Voilquin, M.
Julkaistu: (1976)

Bibliogrraphic description and access ( LTIS023 )
Tekijä: Alice Taylor
Julkaistu: (2004)

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

Fundamentals of digital logic with VHDL design /
Tekijä: Brown, Stephen D.
Julkaistu: (2000)

Conditionals, Information, and Inference
Julkaistu: (2020)

Fundamentals of digital logic with VHDL design
Tekijä: Brown, Stephen D.
Julkaistu: (2009)

Fundamentals of digital logic with VHDL design /
Tekijä: Brown, Stephen D.
Julkaistu: (2000)

An introduction to non-classical logic
Tekijä: Priest, Graham
Julkaistu: (2001)

Description Logics in Multimedia Reasoning. 1st ed. 2017
Tekijä: Sikos, Leslie F.
Julkaistu: (2020)

Logic học :
Tekijä: Lê, Ngọc Triết
Julkaistu: (2013)

Hegel's logic :
Tekijä: Hegel, Georg Wilhelm Friedrich
Julkaistu: (1975)

Perfect phrases for writing job descriptions :
Tekijä: Martin, Carole
Julkaistu: (2010)

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

The power of logic
Tekijä: Layman, C. Stephen
Julkaistu: (2005)

The Power of Logic
Tekijä: Layman, Stephen
Julkaistu: (2005)

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

Diagrammatic Representation and Inference
Tekijä: Chapman, Peter, et al.
Julkaistu: (2020)

Learn descriptive cataloging
Tekijä: Mortimer, Mary
Julkaistu: (2000)

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

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

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

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

Logic
Tekijä: Wesley C. Salmon
Julkaistu: (1984)

Logic
Tekijä: Priest, Graham
Julkaistu: (2000)

Logics
Tekijä: Nolt, John
Julkaistu: (1997)

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

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

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

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

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

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

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

Fundamentals of logic design
Tekijä: Roth, Charles H