L logic.

Mallika De Bhabani P. Sinha

Published in: Asian Test Symposium (1995)

Keyphrases

logic programming
modal logic
automated reasoning
database
real time
neural network
case study
video sequences
predicate logic
data sets
logical framework
computational properties
defeasible logic
abductive reasoning
asynchronous circuits
propositional dynamic logic