Model theory

Related papers: 1

Top Researchers

Kurt Konolige

Institution: —

Top Cited Papers

A deduction model of belief and its logics

Kurt Konolige

Citations: 62 • 1984

Related Technologies

Artificial intelligence Computer science Mathematics Programming language Knowledge representation and reasoning Discrete mathematics Interpretation (philosophy)Soundness Non-monotonic logic Deductive reasoning