Login / Signup
Towards detecting redundancy in domain engineering process using first order logic rules.
Abdelrahman Osman Elfaki
Sim Liew Fong
Kevin Loo Teow Aik
Md Gapar Md Johar
Published in:
Int. J. Knowl. Eng. Soft Data Paradigms (2013)
Keyphrases
</>
logic rules
higher order
domain specific
domain independent
database
databases
integrity constraints
machine learning
expert systems
situation calculus
action theories