1544 search results - page 157 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
184
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
174
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
When mining frequent Datalog queries, many queries will be equivalent in the light of an implicit or explicit background knowledge. To alleviate the problem, we introduce various t...
205
click to vote
ICIW
2008
IEEE
16 years 28 days ago
2008
IEEE
In this paper, we present an extension of PHIL, a declarative language for filtering information from XML data. The proposed approach allows us to extract relevant data as well a...
196
click to vote
ICCBR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Acquiring adaptation knowledge for case-based reasoning systems is a challenging problem. Such knowledge is typically elicited from domain experts or extracted from the c...
205
click to vote
ICLP
2004
Springer
15 years 12 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...