801 search results - page 102 / 161 » Reasoning with Reasons in Case-Based Comparisons |
122
Voted
DBKDA
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Design applications, e.g., CAD or media production, often require multiple users to work cooperatively on shared data, e.g., XML documents. Using explicit transactions i...
102
click to vote
KR
2010
Springer
15 years 6 months ago
2010
Springer
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
106
click to vote
ICLP
1999
Springer
15 years 6 months ago
1999
Springer
A central service of a constraint programming system is search. In almost all constraint programming systems search is based on trailing, which is well understood and known to be ...
100
click to vote
ICLP
1999
Springer
15 years 6 months ago
1999
Springer
Delaying-based tabling mechanisms, such as the one adopted in XSB, are nonlinear in the sense that the computation state of delayed calls has to be preserved. In this paper, we pr...
150
click to vote
KR
2010
Springer
15 years 6 months ago
2010
Springer
The DL-Lite family of Description Logics has been designed with the specific goal of allowing for answering complex queries (in particular, conjunctive queries) over ontologies w...