| Publication | Date of Publication | Type |
|---|
An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas
Journal Of Logic And Computation | 2023-02-20 | Paper |
Neuro-symbolic artificial intelligence
AI Communications | 2022-04-19 | Paper |
| scientific article; zbMATH DE number 7015123 (Why is no real title available?) | 2019-02-07 | Paper |
| scientific article; zbMATH DE number 7015124 (Why is no real title available?) | 2019-02-07 | Paper |
| Reasoning with fuzzy-\(\mathcal{EL}^+\) ontologies using MapReduce | 2015-12-11 | Paper |
| Reconciling OWL and non-monotonic rules for the semantic web | 2015-12-11 | Paper |
Complexities of Horn description logics
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
\(\mathcal{EL}\)-ifying ontologies
Automated Reasoning | 2014-09-26 | Paper |
Generalized ultrametrics, domains and an application to computational logic
Irish Mathematical Society Bulletin | 2014-01-21 | Paper |
Reasoning with inconsistencies in hybrid MKNF knowledge bases
Logic Journal of the IGPL | 2013-06-11 | Paper |
On the coincidence of semantics for uniquely determined programs
Electronic Notes in Theoretical Computer Science | 2013-06-06 | Paper |
Type-elimination-based reasoning for the description logic \(\mathcal {SHIQ}b_s\) using decision diagrams and disjunctive Datalog
Logical Methods in Computer Science | 2012-04-03 | Paper |
Computing inconsistency measure based on paraconsistent semantics
Journal Of Logic And Computation | 2011-12-19 | Paper |
Local closed world reasoning with description logics under the well-founded semantics
Artificial Intelligence | 2011-11-17 | Paper |
| Mathematical aspects of logic programming semantics. | 2011-02-16 | Paper |
Concept learning in description logics using refinement operators
Machine Learning | 2010-10-07 | Paper |
17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010)
Logic Journal of the IGPL | 2010-09-10 | Paper |
Towards a systematic account of different logic programming semantics
Lecture Notes in Computer Science | 2010-03-03 | Paper |
Continuity of semantic operators in logic programming and their approximation by artificial neural networks
Lecture Notes in Computer Science | 2010-03-03 | Paper |
Cheap Boolean Role Constructors for Description Logics
Logics in Artificial Intelligence | 2008-10-27 | Paper |
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
Lecture Notes in Computer Science | 2008-09-16 | Paper |
An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
Lecture Notes in Computer Science | 2008-09-16 | Paper |
A Refinement Operator Based Learning Algorithm for the $\mathcal{ALC}$ Description Logic
Inductive Logic Programming | 2008-03-28 | Paper |
Foundations of Refinement Operators for Description Logics
Inductive Logic Programming | 2008-03-28 | Paper |
KI 2004: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2008-03-14 | Paper |
Semantic Web
eXamen.press | 2007-11-05 | Paper |
Querying Formal Contexts with Answer Set Programs
Conceptual Structures: Inspiration and Application | 2007-09-06 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Towards a Systematic Account of Different Semantics for Logic Programs
Journal Of Logic And Computation | 2005-07-13 | Paper |
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming | 2005-04-29 | Paper |
Logic programs and connectionist networks
Journal of Applied Logic | 2004-10-28 | Paper |
Logic programs, iterated function systems, and recurrent radial basis function networks
Journal of Applied Logic | 2004-10-28 | Paper |
| scientific article; zbMATH DE number 2086150 (Why is no real title available?) | 2004-08-10 | Paper |
| scientific article; zbMATH DE number 2077072 (Why is no real title available?) | 2004-07-01 | Paper |
Generalized metrics and uniquely determined logic programs.
Theoretical Computer Science | 2004-03-14 | Paper |
| scientific article; zbMATH DE number 1978322 (Why is no real title available?) | 2003-10-01 | Paper |
| scientific article; zbMATH DE number 1948998 (Why is no real title available?) | 2003-07-14 | Paper |
| scientific article; zbMATH DE number 1824109 (Why is no real title available?) | 2002-12-09 | Paper |
Dislocated topologies
Journal of Electrical Engineering | 2001-07-02 | Paper |
| scientific article; zbMATH DE number 1497821 (Why is no real title available?) | 2001-03-05 | Paper |
| scientific article; zbMATH DE number 1498598 (Why is no real title available?) | 2000-09-25 | Paper |
| scientific article; zbMATH DE number 1453074 (Why is no real title available?) | 2000-05-25 | Paper |
