Search results

• DL
  |Field=Description Logics |Title =International Workshop on Description Logics
  132 bytes (15 words) - 03:41, 15 December 2021
• LICS 2008
  ...al intelligence, logics of programs, logic programming, modal and temporal logics, model checking, probabilistic systems, process calculi, programming langua
  2 KB (294 words) - 03:20, 6 December 2021
• LAPL 2009
  |Title=Workshop on Logics and Agent Programming Languages == WORKSHOP ON LOGICS AND AGENT PROGRAMMING LANGUAGES ==
  4 KB (596 words) - 03:26, 6 December 2021
• KR 2008
  Exception tolerant and inconsistency-tolerant reasoning, Paraconsistent logics Nonmonotonic logics, Default Logics, Conditional logics, Argumentation
  3 KB (439 words) - 04:23, 6 December 2021
• 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 (771 words) - 04:28, 6 December 2021
• LICS 2017
  * categorical models and logics * description logics
  4 KB (499 words) - 04:09, 6 December 2021
• LICS 2016
  * categorical models and logics * description logics
  4 KB (535 words) - 04:35, 6 December 2021
• LICS 2018
  * categorical models and logics * description logics
  4 KB (546 words) - 04:08, 6 December 2021
• LICS 2019
  * categorical models and logics * description logics
  4 KB (533 words) - 04:00, 6 December 2021
• M4M-6
  and tools based on modal logics. Here the term "modal logics" is conceived broadly, including temporal logic, description logic,
  4 KB (545 words) - 04:32, 6 December 2021
• LICS 2020
  * categorical models and logics * description logics
  5 KB (666 words) - 04:02, 6 December 2021
• ESWC 2008
  Logics for the Semantic Web Semantic Web Services (description, discovery, invocation, composition, choreography, etc.)
  2 KB (277 words) - 04:46, 6 December 2021
• HyLo 2009
  those interested in description logic, feature logic, applied modal logics, temporal logic, and labelled deduction. The workshop
  4 KB (575 words) - 03:45, 6 December 2021
• LPAR 2008
  - Modal and temporal logics - Description logics
  5 KB (810 words) - 03:58, 6 December 2021
• FLOW 2008
  formalizing knowledge using two-valued logics like Description Logics * Web Service Description, Discovery, Composition
  5 KB (704 words) - 04:22, 6 December 2021
• TWOMDE 2008
  validation of models using ontologies; application of Description Logics semantics of Description Logics semantics of and MOF-based models.
  8 KB (1,002 words) - 03:59, 6 December 2021
• 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 (333 words) - 04:48, 6 December 2021
• 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 (503 words) - 03:48, 6 December 2021
• ASWC 2008
  * Rule Languages, Logics and Scalable Reasoning on the Semantic Web (description, discovery, invocation, composition, choreography)
  4 KB (577 words) - 04:17, 6 December 2021
• FoIKS 2018
  Logics in Databases and AI: classical and non-classical logics, logic programming, description logics, spatial and temporal logics, probability
  9 KB (1,126 words) - 04:39, 6 December 2021

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