Probabilistic Reasoning in the Description Logic $$\mathcal {ALCP}$$ with the Principle of Maximum Entropy (Q5268422): Difference between revisions

Latest revision as of 23:44, 13 July 2024

scientific article; zbMATH DE number 6733363

Language	Label	Description	Also known as
English	Probabilistic Reasoning in the Description Logic $$\mathcal {ALCP}$$ with the Principle of Maximum Entropy	scientific article; zbMATH DE number 6733363

Statements

instance of

scholarly article

0 references

title

Probabilistic Reasoning in the Description Logic $$\mathcal {ALCP}$$ with the Principle of Maximum Entropy (English)

0 references

0 references

0 references

Lecture Notes in Computer Science

0 references

publication date

20 June 2017

0 references

full work available at URL

https://arxiv.org/abs/1606.09521

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

The Description Logic Handbook

0 references

Maximum Entropy Inference with Quantified Knowledge

0 references

The Bayesian Description Logic ${\mathcal{BEL}}$

0 references

Towards classifying propositional probabilistic logics

0 references

Markov Logic: An Interface Layer for Artificial Intelligence

0 references

EXPtime tableaux for ALC

0 references

An analysis of first-order logics of probability

0 references

Q5715668

0 references

Merging the local and global approaches to probabilistic satisfiability

0 references

Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents

0 references

Combining probabilistic logic programming with the power of maximum entropy

0 references

A Hybrid Method for Probabilistic Satisfiability

0 references

Q4242057

0 references

Probabilistic Description Logics for Subjective Uncertainty

0 references

Probabilistic logic

0 references

Q5491447

0 references

The Uncertain Reasoner&#39;s Companion

0 references

Probabilistic Reasoning in the Description Logic $$\mathcal {ALCP}$$ with the Principle of Maximum Entropy

0 references

Distributed Parameter Learning for Probabilistic Ontologies

0 references

Attributive concept descriptions with complements

0 references

Q3499280

0 references

Identifiers

zbMATH Open document ID

1366.68293

0 references

DOI

10.1007/978-3-319-45856-4_17

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5268422

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2509327789
@@ Property / OpenAlex ID: W2509327789 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.09521
@@ Property / arXiv ID: 1606.09521 / rank @@
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+Maximum Entropy Inference with Quantified Knowledge
+Normal rank
@@ Property / cites work @@
+The Bayesian Description Logic ${\mathcal{BEL}}$
@@ Property / cites work: The Bayesian Description Logic ${\mathcal{BEL}}$ / rank @@
+Normal rank
@@ Property / cites work @@
+Towards classifying propositional probabilistic logics
+Normal rank
@@ Property / cites work @@
+Markov Logic: An Interface Layer for Artificial Intelligence
+Normal rank
@@ Property / cites work @@
+EXPtime tableaux for ALC
@@ Property / cites work: EXPtime tableaux for ALC / rank @@
+Normal rank
@@ Property / cites work @@
+An analysis of first-order logics of probability
@@ Property / cites work: An analysis of first-order logics of probability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715668
@@ Property / cites work: Q5715668 / rank @@
+Normal rank
@@ Property / cites work @@
+Merging the local and global approaches to probabilistic satisfiability
+Normal rank
@@ Property / cites work @@
+Conditionals in nonmonotonic reasoning and belief revision. Considering conditionals as agents
+Normal rank
@@ Property / cites work @@
+Combining probabilistic logic programming with the power of maximum entropy
+Normal rank
@@ Property / cites work @@
+A Hybrid Method for Probabilistic Satisfiability
@@ Property / cites work: A Hybrid Method for Probabilistic Satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4242057
@@ Property / cites work: Q4242057 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Description Logics for Subjective Uncertainty
+Normal rank
@@ Property / cites work @@
+Probabilistic logic
@@ Property / cites work: Probabilistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5491447
@@ Property / cites work: Q5491447 / rank @@
+Normal rank
@@ Property / cites work @@
+The Uncertain Reasoner&amp;#39;s Companion
@@ Property / cites work: The Uncertain Reasoner's Companion / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Reasoning in the Description Logic $$\mathcal {ALCP}$$ with the Principle of Maximum Entropy
+Normal rank
@@ Property / cites work @@
+Distributed Parameter Learning for Probabilistic Ontologies
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / cites work @@
+Q3499280
@@ Property / cites work: Q3499280 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5268422