A semantics for probabilistic hybrid knowledge bases with function symbols
Open Access
- 20 May 2025
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 346
Abstract
No abstract availableFunding Information
- NextGenerationEU (CUP J33C22002830006)
- Gruppo Nazionale per il Calcolo Scientifico
- Istituto Nazionale di Alta Matematica "Francesco Severi"
- Ministero dell'Università e della Ricerca
This publication has 31 references indexed in Scilit:
- Tableau reasoning for description logics and its extension to probabilitiesAnnals of Mathematics and Artificial Intelligence, 2016
- Tightly integrated probabilistic description logic programs for representing ontology mappingsAnnals of Mathematics and Artificial Intelligence, 2011
- Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web2009
- Probabilistic Information Integration and Retrieval in the Semantic Web2007
- Probabilistic datalog: Implementing logical information retrieval for advanced applicationsJournal of the American Society for Information Science, 2000
- On the relative expressiveness of description logics and predicate logicsArtificial Intelligence, 1996
- Probabilistic Horn abduction and Bayesian networksArtificial Intelligence, 1993
- A prolog technology theorem prover: Implementation by an extended prolog compilerJournal of Automated Reasoning, 1988
- Probabilistic logicArtificial Intelligence, 1986
- Foundations of a functional approach to knowledge representationArtificial Intelligence, 1984