Knowledge representation with multiple logical theories and time (Q4421284)
From MaRDI portal
scientific article; zbMATH DE number 1967535
Language | Label | Description | Also known as |
---|---|---|---|
English | Knowledge representation with multiple logical theories and time |
scientific article; zbMATH DE number 1967535 |
Statements
Knowledge representation with multiple logical theories and time (English)
0 references
1999
0 references
meta-logic temporal reasoning
0 references
0 references