Search results

Create the page "Logics" on this wiki! See also the search results found.

• 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
• VSTTE 2008
  Combining Domain-Specific and Foundational Logics to Verify Complete
  5 KB (686 words) - 12:27, 12 September 2008
• CP
  ...t as predecessor::International Conference on Constraints in Computational Logics]], Munich, 1994
  4 KB (540 words) - 09:57, 24 May 2019
• 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
• ECSQARU 2009
  * Logics for reasoning under uncertainty
  3 KB (321 words) - 20:06, 14 October 2008
• WoLLIC 2008
  ...sociation for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the European Association for Logic, Language and Information (FoLLI ...hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information org
  5 KB (639 words) - 23:00, 14 October 2008
• ASPOCP 2008
  currently are the integration of ASP with description logics (in the
  5 KB (645 words) - 23:04, 14 October 2008
• 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) - 23:04, 14 October 2008
• FLOW 2008
  formalizing knowledge using two-valued logics like Description Logics
  5 KB (696 words) - 18:29, 8 November 2008
• LPAR 2008
  - Modal and temporal logics - Description logics
  5 KB (799 words) - 21:49, 26 February 2020
• KR 2008
  Exception tolerant and inconsistency-tolerant reasoning, Paraconsistent logics Nonmonotonic logics, Default Logics, Conditional logics, Argumentation
  3 KB (430 words) - 16:44, 4 November 2016
• ICTAC 09
  * logics and their applications
  8 KB (1,085 words) - 18:01, 12 February 2009
• TCS 2008
  standard logics in computer science; concurrency theory and complexity; modal and temporal logics; model checking and
  5 KB (698 words) - 23:08, 14 October 2008
• TWOMDE 2008
  validation of models using ontologies; application of Description Logics semantics of Description Logics semantics of and MOF-based models.
  8 KB (994 words) - 23:09, 14 October 2008
• ECDM 2008
  * Induction of Cause and Effect, Logics for Evolution
  4 KB (582 words) - 23:09, 14 October 2008
• LID 2008
  For some of these, corresponding logics already exist or are being explored.
  5 KB (647 words) - 23:10, 14 October 2008
• ALPSWS 2008
  * Combinations of Logic Programming and Description Logics
  6 KB (865 words) - 23:13, 14 October 2008
• AAMAS 2020
  * Logics for agent reasoning
  6 KB (659 words) - 17:41, 11 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 (285 words) - 15:11, 7 November 2016
• ASWC 2008
  * Rule Languages, Logics and Scalable Reasoning on the Semantic Web
  4 KB (573 words) - 23:31, 14 October 2008

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