1151 search results - page 87 / 231 » Collaborative Programming: Applications of Logic and Automat... |
161
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
176
click to vote
DLOG
2009
15 years 3 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
150
click to vote
FLOPS
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a self-applicable partial evaluator for a considerable subset of full Prolog. The partial evaluator is shown to achieve non-trivial specialisation and be effect...
169
click to vote
LPAR
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
200
click to vote
ILP
2007
Springer
16 years 7 days ago
2007
Springer
We describe an application of inductive logic programming to transfer learning. Transfer learning is the use of knowledge learned in a source task to improve learning in a related ...