3658 search results - page 382 / 732 » The logic of proofs, semantically |
182
click to vote
PPDP
2007
Springer
16 years 28 days ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...
186
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
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...
206
click to vote
AGP
2003
IEEE
16 years 4 days ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
181
click to vote
KR
2004
Springer
16 years 5 days 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...
159
click to vote
LPNMR
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...