2395 search results - page 380 / 479 » Reasoning in Semantic Wikis |
ASP
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...
ASP
2003
Springer
14 years 3 months ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
ICCBR
2003
Springer
14 years 3 months ago
2003
Springer
In the CBR literature from the past 25 years there is a considerable amount of research work that makes use of cases that are subspaces of some representation space rather than poi...
ICLP
2003
Springer
14 years 3 months ago
2003
Springer
We equip ordered logic programs with negation as failure, using a simple generalization of the preferred answer set semantics for ordered programs. This extension supports a conven...
DEXAW
2002
IEEE
14 years 3 months ago
2002
IEEE
The latest ontology languages can be translated into a description logic (DL), thus providing them with a formal semantics and associated reasoning procedures. We introduce the or...