Embedding Logics in the Local Computation Framework (Q4443007)
From MaRDI portal
scientific article; zbMATH DE number 2024285
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Embedding Logics in the Local Computation Framework |
scientific article; zbMATH DE number 2024285 |
Statements
Embedding Logics in the Local Computation Framework (English)
0 references
8 January 2004
0 references
theorem proving
0 references
conditional logics
0 references
circumscription
0 references
uncertainty
0 references
computation of logical deduction
0 references
model structures
0 references
0 references
