184 search results - page 22 / 37 » Actions and Programs over Description Logic Ontologies |
EJC
2006
15 years 1 months ago
2006
With development of knowledge bases (KB) there appeared expert systems that use KBs to support them in decision making process. Decision Support Systems, that are the subject of th...
132
click to vote
AGP
2003
IEEE
15 years 5 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
Two approaches to logic programming with probabilities emerged over time: bayesian reasoning and probabilistic satisfiability (PSAT). The attractiveness of the former is in tying ...
111
click to vote
BIB
2006
14 years 11 months ago
2006
: In recent years, as a knowledge-based discipline, bioinformatics has moved to make its knowledge more computationally amenable. After its beginnings in the disciplines as a techn...
106
click to vote
LPNMR
2001
Springer
15 years 4 months ago
2001
Springer
Schlipf (Sch95) proved that Stable Logic Programming (SLP) solves all NP decision problems. We extend Schlipf’s result to prove that SLP solves all search problems in the class ...