Zobrazeno 1 - 10 of 22 pro vyhledávání: '"Van Nieuwenborgh, Davy"'
1
Report
Guarded Hybrid Knowledge Bases
Autor: Heymans, Stijn, de Bruijn, Jos, Predoiu, Livia, Feier, Cristina, Van Nieuwenborgh, Davy
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web.We define guarded hybrid knowledge bases (or g-hybrid knowledge bases) as knowledge bases that consist of a Description Logic knowledge
Externí odkaz: http://arxiv.org/abs/0711.2155
Zobrazit plný text záznamu
2
Report
Open Answer Set Programming with Guarded Programs
Autor: Heymans, Stijn, Van Nieuwenborgh, Davy, Vermeir, Dirk
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program's constants. We define a fixed point logic (FPL) extension of Clark's completion such that open answ
Externí odkaz: http://arxiv.org/abs/cs/0603025
Zobrazit plný text záznamu
3
Report
Preferred Answer Sets for Ordered Logic Programs
Autor: Van Nieuwenborgh, Davy, Vermeir, Dirk
We extend answer set semantics to deal with inconsistent programs (containing classical negation), by finding a ``best'' answer set. Within the context of inconsistent programs, it is natural to have a partial order on rules, representing a preferenc
Externí odkaz: http://arxiv.org/abs/cs/0407049
Zobrazit plný text záznamu
4
Akademický článek
Open answer set programming for the semantic web
Autor: Heymans, Stijn, Van Nieuwenborgh, Davy, Vermeir, Dirk
Publikováno v: In Journal of Applied Logic 2007 5(1):144-169
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje