BOOK-CHAPTER
Tractable Probabilistic Description Logic Programs
Thomas LukasiewiczGerardo I. Simari
Year: 2013 Studies in fuzziness and soft computing Pages: 131-159 Publisher: Springer Nature
Keywords:
Probabilistic logic Computer science Well-founded semantics Probabilistic CTL Semantics (computer science) Theoretical computer science Operational semantics Literal (mathematical logic) Stable model semantics Set (abstract data type) Denotational semantics Programming language Probabilistic analysis of algorithms Artificial intelligence
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
64
Refs
0.21
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Semantic Web and Ontologies
Physical Sciences → Computer Science → Artificial Intelligence
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Data Management and Algorithms
Physical Sciences → Computer Science → Signal Processing
Related Documents
BOOK-CHAPTER
Tractable Probabilistic Description Logic Programs
Lecture notes in computer science Year: 2007 Pages: 143-156
JOURNAL ARTICLE
Probabilistic description logic programs
Journal: International Journal of Approximate Reasoning Year: 2006 Vol: 45 (2)Pages: 288-307
BOOK-CHAPTER
Probabilistic Description Logic Programs
Lecture notes in computer science Year: 2005 Pages: 737-749
JOURNAL ARTICLE
A Tractable First-Order Probabilistic Logic
Journal: Proceedings of the AAAI Conference on Artificial Intelligence Year: 2021 Vol: 26 (1)Pages: 1902-1909
JOURNAL ARTICLE
Description Logic Programs: Combining Logic Programs with Description Logic
Benjamin N. GrosofIan HorrocksRaphael VolzStefan Decker
Journal: SSRN Electronic Journal Year: 2003