1151 search results - page 87 / 231 » Collaborative Programming: Applications of Logic and Automat... |
127
Voted
ICLP
2005
Springer
15 years 9 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...
150
Voted
DLOG
2009
15 years 1 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...
120
Voted
FLOPS
2004
Springer
15 years 7 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...
130
Voted
LPAR
2000
Springer
15 years 7 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...
159
Voted
ILP
2007
Springer
15 years 9 months 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 ...