Search results

• AiML
  |Title=Advances in Modal Logic |Field=Logic
  110 bytes (17 words) - 17:59, 13 January 2021
• Methods for Modalities
  [[Category:Modal logic]]
  111 bytes (14 words) - 18:03, 13 January 2021
• HyLo 2009
  | Title = International Workshop on Hybrid Logic. Conmemorating the Ten Years of HyLo International Workshop on Hybrid Logic 2009 (HyLo 2009)
  4 KB (567 words) - 18:02, 13 January 2021
• AiML 2020
  |Title=13th Advances in Modal Logic |Homepage=https://www.helsinki.fi/en/conferences/advances-in-modal-logic-2020
  633 bytes (72 words) - 17:48, 13 January 2021
• AiML 2018
  |Title=Advances in Modal Logic 2018
  607 bytes (71 words) - 17:48, 13 January 2021
• LICS 2008
  |Title=23rd Annual IEEE Symposium on Logic in Computer Science |Field=Logic
  2 KB (285 words) - 18:18, 13 January 2021
• M4M-6
  |Field=Modal logic and tools based on modal logics. Here the term "modal logics" is
  4 KB (535 words) - 18:18, 13 January 2021
• LICS 2017
  |Title=32nd Annual ACM/IEEE Symposium on Logic in Computer Science The 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2017
  4 KB (490 words) - 18:18, 13 January 2021
• LICS 2018
  |Title=33rd Annual ACM/IEEE Symposium on Logic in Computer Science |Field=Logic, Computer Science
  4 KB (537 words) - 18:18, 13 January 2021
• LICS 2019
  |Title=34th Annual ACM/IEEE Symposium on Logic in Computer Science |Field=Logic, Computer Science,
  4 KB (525 words) - 18:18, 13 January 2021
• LPAR 2008
  |Title=15th International Conference on Logic for Programming, Artificial Intelligence and Reasoning ...st renowned researchers in the areas of automated reasoning, computational logic, programming languages and their applications come to present cutting-edge
  5 KB (799 words) - 18:18, 13 January 2021
• LICS 2016
  |Title=31st Annual ACM/IEEE Symposium on Logic in Computer Science ...rum on theoretical and practical topics in computer science that relate to logic, broadly construed.
  4 KB (528 words) - 18:18, 13 January 2021
• LICS 2020
  |Title=35th Annual ACM/IEEE Symposium on Logic in Computer Science The 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 8–11 July 2020
  5 KB (656 words) - 18:18, 13 January 2021
• CIMI 2009
  * Fuzzy logic * Multi-modal image analysis
  4 KB (532 words) - 17:51, 13 January 2021
• COMPUTATION TOOLS 2021
  ...adic computational logics; Many-valued computational logics; Computability logic Machine learning; Fuzzy theory/computation/logic; (Artificial) neuronal networks; Distributed artificial intelligence; Genet
  7 KB (764 words) - 17:52, 13 January 2021
• VSTTE 2008
  Modal Logic Mapped Separation Logic
  5 KB (686 words) - 18:34, 13 January 2021
• FroCoS 2009
  In various areas of computer science, such as logic, computation, and integration of systems (with emphasis on logic-based ones), and of
  5 KB (669 words) - 18:00, 13 January 2021
• TCS 2008
  Computation, and Track B on Logic, Semantics, Specification Track B - Logic, Semantics, Specification and
  5 KB (698 words) - 18:32, 13 January 2021
• DALT 2008
  * (constraint) logic programming approaches to agent systems * modal and epistemic logics for agent modelling
  8 KB (840 words) - 17:53, 13 January 2021
• RelMiCS-AKA 2009
  - algebraic approaches to logics of programs, modal and dynamic logics, Chair of Logic
  7 KB (912 words) - 18:26, 13 January 2021

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