Program Partition and Logic Program Analysis.

Published in: IEEE Trans. Software Eng. (1995)

Keyphrases

proof theory
logic programming
modal logic
predicate logic
data sets
databases
genetic algorithm
computational properties
recursive programs
real time
declarative semantics
operational semantics
defeasible logic
static analysis
computer programs
artificial intelligence
information retrieval