Four-Valued Reasoning and Cyclic Circuits.
Graeme GangeBenjamin HorsfallLee NaishHarald SøndergaardPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2014)
Keyphrases
- high speed
- reasoning tasks
- knowledge base
- reasoning process
- automated reasoning
- knowledge representation and reasoning
- qualitative reasoning
- computational properties
- circuit design
- model based reasoning
- knowledge representation
- multi agent systems
- multi agent
- artificial intelligence
- probabilistic logic
- analogical reasoning
- deductive reasoning
- analog vlsi