An Attempt Towards Charge-Domain Logic (CDL).

Koichi Itoh Masashi Yamazaki Shinji Nakamura Yasuo Nagazumi

Published in: CISS (2007)

Keyphrases

domain specific
modal logic
logic programming
data sets
desirable properties
knowledge acquisition
domain ontology
expressive power
databases
database
automated reasoning
programming language
expert systems
information systems
domain experts
domain independent
asynchronous circuits