Determining the Reliability of Prolog Programs.

Alireza Azem Fevzi Belli

Published in: Softw. Test. Verification Reliab. (1994)

Keyphrases

prolog programs
logic programs
computer vision
logic programming
reliability analysis
neural network
orders of magnitude
answer sets
reliability assessment
databases
artificial intelligence
website
high level
multiscale
natural language
answer set programming