|
|||||
|
|
Extensions for Open Default Theories via the Domain Closure Assumption |
|
| Authors: | KAMINSKI MICHAEL; MAKOWSKY JOHANN A; TIOMKIN MICHAEL |
| Affiliation: | Department of Computer Science, Technion - Israel Institute of Technology Haifa 32000, Israel Intel Israel, MTM - Scientific Industries Center P.O.B. 1659, Haifa 31015, Israel |
| Abstract: | |
| Keywords: | Default logic infinitary logic Herbrand semantics open default theories the domain closure assumption |
| 本文献已被 Oxford 等数据库收录！ | |