Login / Signup
Static Analysis to Identify Vectorizable Numerical Domain in Logic Programs for Efficient Execution of Scientific Expert Systems.
Arvind K. Bansal
Dilip S. Poduval
Published in:
SCAI (1991)
Keyphrases
</>
logic programs
static analysis
efficient execution
expert systems
logic programming
source code
stable models
answer sets
query optimization
regular expressions
artificial intelligence
query processor
parallel execution
active databases
test suite
first order logic
open source
knowledge base
data mining