Search results

• 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
  529 bytes (60 words) - 10:36, 8 March 2021
• JELIA
  |Title=Logics in Artificial Intelligence, European Conference
  115 bytes (15 words) - 11:26, 17 February 2021
• LICS 2008
  ...al intelligence, logics of programs, logic programming, modal and temporal logics, model checking, probabilistic systems, process calculi, programming langua
  2 KB (286 words) - 11:08, 8 March 2021
• KR 2008
  Exception tolerant and inconsistency-tolerant reasoning, Paraconsistent logics Nonmonotonic logics, Default Logics, Conditional logics, Argumentation
  3 KB (431 words) - 11:07, 8 March 2021
• LAPL 2009
  |Title=Workshop on Logics and Agent Programming Languages == WORKSHOP ON LOGICS AND AGENT PROGRAMMING LANGUAGES ==
  4 KB (587 words) - 11:08, 8 March 2021
• SLIE 2017
  |Title=SLIE 2017 : Semantic, Logics, Information Extraction and AI
  437 bytes (47 words) - 11:20, 8 March 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 (764 words) - 11:49, 8 March 2021
• 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 (670 words) - 20:23, 17 February 2021
• LICS 2017
  * categorical models and logics * description logics
  4 KB (491 words) - 11:08, 8 March 2021
• LICS 2016
  * categorical models and logics * description logics
  4 KB (529 words) - 11:08, 8 March 2021
• LICS 2018
  * categorical models and logics * description logics
  4 KB (538 words) - 11:08, 8 March 2021
• LICS 2019
  * categorical models and logics * description logics
  4 KB (526 words) - 11:08, 8 March 2021
• APLAS 2017
  * semantics, logics, foundational theory
  1 KB (110 words) - 10:29, 8 March 2021
• APLAS 2018
  * Semantics, logics, foundational theory
  1 KB (111 words) - 10:29, 8 March 2021
• M4M-6
  and tools based on modal logics. Here the term "modal logics" is related to modal logics.
  4 KB (536 words) - 11:09, 8 March 2021
• LICS 2020
  * categorical models and logics * description logics
  5 KB (657 words) - 11:08, 8 March 2021
• APLAS 2019
  * semantics, logics, foundational theory
  1 KB (142 words) - 10:29, 8 March 2021
• FroCoS 2009
  * combinations of logics such as combined predicate, temporal, modal, or epistemic logics;
  5 KB (669 words) - 12:27, 28 January 2021
• Call-For-Papers-IJCSI-September-2011
  Intelligent techniques, logics and systems<br> Intelligent techniques, logics and systems<br>
  4 KB (553 words) - 10:37, 8 March 2021
• KSEM 2018
  * Logics of knowledge; formal analysis of knowledge; reasoning about knowledge
  2 KB (205 words) - 11:07, 8 March 2021

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