3983 search results - page 362 / 797 » Conceptual logic programs |
138
click to vote
ATVA
2009
Springer
16 years 1 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 ...
168
click to vote
CP
2005
Springer
16 years 6 days ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
140
click to vote
TBILLC
2005
Springer
16 years 4 days 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ļ...
186
click to vote
XSYM
2005
Springer
16 years 4 days 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...
160
click to vote
CSL
2004
Springer
16 years 1 days 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...