3513 search results - page 313 / 703 » Super Logic Programs |
115
click to vote
TBILLC
2005
Springer
15 years 9 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ļ...
145
Voted
XSYM
2005
Springer
15 years 9 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...
113
click to vote
CSL
2004
Springer
15 years 9 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...
144
click to vote
IFIP
2004
Springer
15 years 9 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...
155
click to vote
ASP
2001
Springer
15 years 8 months ago
2001
Springer
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...