Original language | English |
---|---|
Title of host publication | PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE (KR 92) |
Editors | B Nebel, C Rich, W Swartout |
Place of Publication | San Mateo, CA |
Publisher | Morgan Kaufmann Publishers |
Pages | 627-638 |
Number of pages | 12 |
ISBN (Print) | 1-55860-262-3 |
Publication status | Published - 1992 |
MoE publication type | A4 Conference publication |
Event | International Conference on Principles of Knowledge Representation and Reasoning - Cambridge, United States Duration: 25 Oct 1992 → 29 Oct 1992 Conference number: 3 |
Conference
Conference | International Conference on Principles of Knowledge Representation and Reasoning |
---|---|
Abbreviated title | KR |
Country/Territory | United States |
City | Cambridge |
Period | 25/10/1992 → 29/10/1992 |
Keywords
- autoepistemic logic
- automated theorem proving
- default logic
- logic programs
- tractability
- truth maintenance systems