Seniority Logic: A Logic for a Committee Machine.
Martin OsbornePublished in: IEEE Trans. Computers (1977)
Keyphrases
- modal logic
- classical logic
- logic programming
- predicate logic
- multi valued
- logical framework
- proof theory
- asynchronous circuits
- deontic logic
- abductive reasoning
- formal theory
- digital circuits
- database systems
- computational properties
- search engine
- logic programs
- artificial neural networks
- expert systems
- data structure
- bayesian networks