VSL 2014: VIENNA SUMMER OF LOGIC 2014

Approximated Probabilistic Answer Set Programming

Author: Eduardo Menezes de Morais

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Approximated Probabilistic Answer Set Programming
Authors:Eduardo Menezes de Morais
Proceedings:PLP 2014 Proceedings
Editor: Nicos Angelopoulos
Keywords:logic programming, probabilistic logic, probabilistic satisfiability (PSAT), answer set programming (ASP)
Abstract:

ABSTRACT. This paper is a work in progress showing our search for a modification of Probabilistic Answer Set Programming (PASP), a technique that allows modeling complex theories and checking its satisfiability with respect to a set of probabilistic data, to obtain approximated solutions.

Pages:0
Talk:Jul 17 12:15
Paper:
Disclaimer | Powered by EasyChair Smart Program