Search results

• DL
  |Title=International Workshop on Description Logics |Field=Description Logics
  160 bytes (18 words) - 21:11, 1 April 2022
• HermiT
  [[Category:Description logics]] ...rem prover for [http://en.wikipedia.org/wiki/Description_logic description logics] (DLs) -- a family of knowledge representation formalisms with many uses. D
  889 bytes (124 words) - 11:52, 26 September 2008
• DL-Learner
  ...m selected objects. It extends Inductive Logic Programming to Descriptions Logics and the Semantic Web. The goal of DL-Learner is to provide a DL/OWL based m
  898 bytes (117 words) - 19:16, 20 September 2009
• LICS 2008
  ...al intelligence, logics of programs, logic programming, modal and temporal logics, model checking, probabilistic systems, process calculi, programming langua
  2 KB (290 words) - 20:53, 1 April 2022
• LAPL 2009
  |Title=Workshop on Logics and Agent Programming Languages == WORKSHOP ON LOGICS AND AGENT PROGRAMMING LANGUAGES ==
  4 KB (591 words) - 19:00, 1 April 2022
• KR 2008
  Exception tolerant and inconsistency-tolerant reasoning, Paraconsistent logics Nonmonotonic logics, Default Logics, Conditional logics, Argumentation
  3 KB (435 words) - 20:52, 1 April 2022
• COMPUTATION TOOLS 2021
  ...PUTATION TOOLS 2021, The Twelfth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking ...PUTATION TOOLS 2021, The Twelfth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
  7 KB (767 words) - 11:53, 6 April 2022
• LICS 2017
  * categorical models and logics * description logics
  4 KB (496 words) - 20:02, 1 April 2022
• LICS 2016
  * categorical models and logics * description logics
  4 KB (534 words) - 20:02, 1 April 2022
• LICS 2018
  * categorical models and logics * description logics
  4 KB (544 words) - 20:04, 1 April 2022
• LICS 2019
  * categorical models and logics * description logics
  4 KB (532 words) - 20:04, 1 April 2022
• M4M-6
  and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic,
  4 KB (540 words) - 19:01, 1 April 2022
• LICS 2020
  * categorical models and logics * description logics
  5 KB (662 words) - 20:04, 1 April 2022
• ESWC 2008
  Logics for the Semantic Web Semantic Web Services (description, discovery, invocation, composition, choreography, etc.)
  2 KB (271 words) - 20:40, 1 April 2022
• HyLo 2009
  those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop
  4 KB (570 words) - 20:44, 1 April 2022
• LPAR 2008
  - Modal and temporal logics - Description logics
  5 KB (804 words) - 20:53, 1 April 2022
• FLOW 2008
  formalizing knowledge using two-valued logics like Description Logics * Web Service Description, Discovery, Composition
  5 KB (701 words) - 20:41, 1 April 2022
• TWOMDE 2008
  validation of models using ontologies; application of Description Logics semantics of Description Logics semantics of and MOF-based models.
  8 KB (997 words) - 21:04, 1 April 2022
• IPMU 2018
  *Fuzzy Logic and other non-classical Logics Multiple Criteria Decision Methods Aggregation Methods Knowledge Acquisitio *A short description of the topic
  3 KB (330 words) - 20:02, 1 April 2022
• SKY 2011
  ...asses and relations of a knowledge ontology, or represented by Description Logics. What is much less trivial is that this new kind of knowledge is Runnable k
  4 KB (500 words) - 19:05, 1 April 2022

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)