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
• COMPUTATION TOOLS 2017
  ...UTATION TOOLS 2017 : The Eighth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking |Field=distributed computation, programming languages, algebras, logics
  578 bytes (64 words) - 19:16, 1 April 2022
• JELIA
  |Title =Logics in Artificial Intelligence, European Conference
  186 bytes (20 words) - 21:18, 1 April 2022
• CONCUR 2021
  Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics incl ...logics, probabilistic and stochastic logics, temporal logics, and resource logics;
  2 KB (269 words) - 20:14, 1 April 2022
• 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
• 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
• FOSSACS 2006
  *Logics of programs *Modal, spatial, and temporal logics
  1 KB (152 words) - 20:24, 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
• SLIE 2017
  |Title=SLIE 2017 : Semantic, Logics, Information Extraction and AI
  486 bytes (51 words) - 19:30, 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
• WIALAMAS 2008
  | Title = Workshop on Logics for Intelligent Agents and Multi-Agent Systems Workshop on Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS 2008)
  5 KB (673 words) - 21:06, 1 April 2022
• FOSSACS 2011
  *Logics of programs, *Modal, spatial, and temporal logics,
  2 KB (210 words) - 20:24, 1 April 2022
• CSL 1991
  *Logics and Meanings of Programs
  770 bytes (91 words) - 20:20, 1 April 2022
• FCT 1995
  *Computational logics
  886 bytes (106 words) - 20:17, 1 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

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