Model theory

相关论文数: 1

顶级研究者

Kurt Konolige

研究机构: —

最高引用论文

A deduction model of belief and its logics

Kurt Konolige

引用数: 62 • 1984

相关技术

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