[[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
|Title=Workshop on Logics and Agent Programming Languages
== WORKSHOP ON LOGICS AND AGENT PROGRAMMING LANGUAGES ==
...
4 KB (586 words) - 23:27, 18 November 2008
...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
...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
conceived broadly, including temporal logic, description logic,
...
4 KB (535 words) - 08:05, 24 December 2008
* 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
those interested in description logic, feature logic, applied
modal logics, temporal logic, and labelled deduction. The workshop
...
4 KB (567 words) - 14:33, 27 February 2009
* categorical models and logics
* description logics
...
5 KB (656 words) - 09:29, 27 August 2020
formalizing knowledge using two-valued logics like Description Logics
* Web Service Description, Discovery, Composition
...
5 KB (696 words) - 16:29, 8 November 2008
validation of models using ontologies; application of Description Logics
semantics of Description Logics semantics of and MOF-based models.
...
8 KB (994 words) - 21:09, 14 October 2008
Logics for the Semantic Web
Semantic Web Services (description, discovery, invocation, composition, choreography, etc.)
...
2 KB (266 words) - 09:46, 28 May 2016
...asses and relations of a knowledge ontology, or represented by Description Logics. What is much less trivial is that this new kind of knowledge is Runnable k
...
4 KB (493 words) - 16:00, 6 April 2011
- Modal and temporal logics
- Description logics
...
5 KB (799 words) - 19:49, 26 February 2020
*Fuzzy Logic and other non-classical Logics Multiple Criteria Decision Methods Aggregation Methods Knowledge Acquisitio
*A short description of the topic
...
2 KB (323 words) - 08:15, 17 July 2020
* Rule Languages, Logics and Scalable Reasoning on the Semantic Web
(description, discovery, invocation, composition, choreography)
...
4 KB (573 words) - 21:31, 14 October 2008