[[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) - 09:52, 26 September 2008
...UTATION TOOLS 2017 : The Eighth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
|Field=distributed computation, programming languages, algebras, logics
...
523 bytes (59 words) - 11:49, 25 September 2016
|Title=Logics in Artificial Intelligence, European Conference
...
115 bytes (15 words) - 20:08, 26 February 2020
|Title=Workshop on Logics and Agent Programming Languages
== WORKSHOP ON LOGICS AND AGENT PROGRAMMING LANGUAGES ==
...
4 KB (586 words) - 23:27, 18 November 2008
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 (262 words) - 14:45, 8 April 2021
...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) - 17:16, 20 September 2009
...al intelligence, logics of programs, logic programming, modal and temporal logics, model checking, probabilistic systems, process calculi, programming langua
...
2 KB (285 words) - 13:11, 7 November 2016
Exception tolerant and inconsistency-tolerant reasoning, Paraconsistent logics
Nonmonotonic logics, Default Logics, Conditional logics, Argumentation
...
3 KB (430 words) - 14:44, 4 November 2016
| 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) - 21:04, 14 October 2008
|Title=SLIE 2017 : Semantic, Logics, Information Extraction and AI
...
431 bytes (46 words) - 16:13, 19 December 2016
...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) - 16:56, 8 December 2020
and tools based on modal logics. Here the term "modal logics" is
related to modal logics.
...
4 KB (535 words) - 08:05, 24 December 2008
*Computational logics
...
779 bytes (96 words) - 11:33, 2 March 2021
* categorical models and logics
* description logics
...
4 KB (490 words) - 09:42, 26 June 2020
* categorical models and logics
* description logics
...
4 KB (528 words) - 09:25, 26 June 2020
* categorical models and logics
* description logics
...
4 KB (537 words) - 12:06, 27 August 2020
* categorical models and logics
* description logics
...
4 KB (525 words) - 09:27, 27 August 2020
* combinations of logics such as combined predicate, temporal, modal,
or epistemic logics;
...
5 KB (669 words) - 11:03, 18 January 2009
* semantics, logics, foundational theory
...
1 KB (109 words) - 13:23, 8 April 2020
* Semantics, logics, foundational theory
...
1 KB (110 words) - 13:22, 8 April 2020