-
1
Materialisation and data partitioning algorithms for distributed RDF systems
Vydáno 2021Témata: “…Automated Reasoning…”
Diplomová práce -
2
Towards semantic interoperability: finding and repairing hidden contradictions in biomedical ontologies
Vydáno 2020-12-01Témata: Získat plný text
Článek -
3
Consequence-based reasoning for the Description Logic SROIQ
Vydáno 2019Témata: “…Knowledge Representation and Automated Reasoning…”
Diplomová práce -
4
On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students
Vydáno 2024-11-01Témata: Získat plný text
Článek -
5
-
6
Proofs to two inequality conjectures for a point on the plane of a triangle
Vydáno 2016-02-01Témata: Získat plný text
Článek -
7
A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology
Vydáno 2024-05-01Témata: Získat plný text
Článek -
8
Inferring ontology graph structures using OWL reasoning
Vydáno 2018-01-01Témata: Získat plný text
Článek -
9
Ontology module extraction and applications to ontology classification
Vydáno 2015Témata:Diplomová práce -
10
Theorema 2.0: Computer-Assisted Natural-Style Mathematics
Vydáno 2016-01-01Témata: Získat plný text
Článek -
11
-
12
Toward Formal Models and Languages for Verifiable Multi-Robot Systems
Vydáno 2018-09-01Témata: Získat plný text
Článek -
13
An AI-Based Heart Failure Treatment Adviser System
Vydáno 2018-01-01Témata: “…Automated reasoning…”
Získat plný text
Článek -
14
-
15
A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet
Vydáno 2019-01-01Témata: Získat plný text
Článek -
16
A labelled sequent calculus for BBI : proof theory and proof search
Vydáno 2020Témata: Získat plný text
Journal Article -
17
-
18
-
19
LPG-Based Knowledge Graphs: A Survey, a Proposal and Current Trends
Vydáno 2023-03-01Témata: Získat plný text
Článek -
20