1036 search results - page 13 / 208 » Verification Programs for Abduction |
CLIMA
2010
13 years 11 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
ML
2008
ACM
13 years 9 months ago
2008
ACM
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
TASE
2010
IEEE
13 years 4 months ago
2010
IEEE
System and program verification has been a large
LPNMR
1995
Springer
14 years 1 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
KRDB
1996
13 years 11 months ago
1996
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...