3481 search results - page 356 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
117
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
122
click to vote
TBILLC
2005
Springer
15 years 10 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ā¤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the deļ...
149
click to vote
XSYM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Recently it was shown that existing general-purpose inductive logic programming systems are useful for learning wrappers (known as L-wrappers) to extract data from HTML d...
123
Voted
CSL
2004
Springer
15 years 10 months ago
2004
Springer
In the reļ¬nement calculus, monotonic predicate transformers are used to model speciļ¬cations for (imperative) programs. Together with a natural notion of simulation, they form a...
154
Voted
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
We propose a language that allows agents to distribute data with usage policies in a decentralized architecture. In our framework, the compliance with usage policies is not enforce...