Probabilistic Reasoning With Answer Sets

Published: 2004, Last Modified: 13 Nov 2024LPNMR 2004EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: We give a logic programming based account of probability and describe a declarative language P-log capable of reasoning which combines both logical and probabilistic arguments. Several non-trivial examples illustrate the use of P-log for knowledge representation.
Loading