1083 search results - page 151 / 217 » Using Contextual Logic Programming for Temporal Reasoning |
120
click to vote
IJCAI
1993
15 years 3 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
147
click to vote
ILP
2007
Springer
15 years 8 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 ...
114
click to vote
ENTCS
2008
15 years 2 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Action description languages, such as A and B [6], are expressive instruments introduced for formalizing planning domains and problems. The paper starts by proposing a me...
233
click to vote
POPL
2006
ACM
16 years 2 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...