Jump to main content

yr 〜
yr

Search results 9

The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.]. 2nd ed., pbk. ed.

The description logic handbook : theory, implementation, and applications / edited by Franz Baader ... [et al.]. 2nd ed., pbk. ed.
Paper図書
Cambridge University Press2010.<M121-B125>
National Diet Library
  • Summary, etc.Description logics are a family of knowledge rep...
  • ContentsAn introduction to description logics / D. Nardi and......Brachman Basic description logics / F. Baader an......tor Expressive description logics / D. Calvanese...... Extensions to description logics / F. Baader, R...... modeling with description logics / A. Borgida a...... / E. Franconi Description logics for databases / A. Borgida, M...
  • Subject HeadingDescription logics -- Handbooks, manuals, etc. T...

Logic and language models for computer science : hardcover 4th ed

Logic and language models for computer science : hardcover 4th ed
Paper図書
Dana Richards, Henry HamburgerWorld Scientificc2023
Other Libraries in Japan
  • Subject HeadingFormal languages Description logics Artificial intelligence
  • Subject Heading (ID)Formal languages Description logics Artificial intelligence

An introduction to description logic hbk pbk

An introduction to description logic hbk pbk
Paper図書
Franz Baader, Ian Horrocks, Carsten Lutz, Uli SattlerCambridge University Press2017
Other Libraries in Japan
  • Subject HeadingDescription logics
  • Subject Heading (ID)Description logics

記述論理における概念の類似性とエージェントの選好：理論と応用

記述論理における概念の類似性とエージェントの選好：理論と応用
Digital博士論文障害者向け資料あり
Racharak, Teeradaj2018-06
National Diet Library
  • Subject Heading...erence Profile Description Logics Analogical Reasoning

Logic and language models for computer science : pbk 3rd ed

Logic and language models for computer science : pbk 3rd ed
Paper図書
Dana Richards, Henry HamburgerWorld Scientificc2018
Other Libraries in Japan
  • Subject HeadingFormal languages Description logics Artificial intelligence
  • Subject Heading (ID)Formal languages Description logics Artificial intelligence

オントロジー矛盾解消のための棄却可能推論手法

オントロジー矛盾解消のための棄却可能推論手法
Digital博士論文障害者向け資料あり
To, Hoai Viet2014-09
National Diet Library
  • Subject Headingontology defeasible reasoning description logics knowledge representation and ...

A proof theory for description logics

A proof theory for description logics
Paper図書
Alexandre RademakerSpringerc2012
Other Libraries in Japan
  • Subject HeadingDescription logics Proof theory -- Data processi...
  • Subject Heading (ID)Description logics Proof theory -- Data processi...

記述論理における概念の類似性とエージェントの選好：理論と応用

記述論理における概念の類似性とエージェントの選好：理論と応用
Digital博士論文
Racharak, Teeradaj2018-06
Available onlineOther Libraries in Japan
  • Subject Heading...erence Profile Description Logics Analogical Reasoning

オントロジー矛盾解消のための棄却可能推論手法

オントロジー矛盾解消のための棄却可能推論手法
Digital博士論文
To, Hoai Viet2014-09
Available onlineOther Libraries in Japan
  • Subject Headingontology defeasible reasoning description logics knowledge representation and ...

Reached to the end of result.

RSS