An alternative proof method for possibilistic logic and its application to terminological logics (Q1346240)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An alternative proof method for possibilistic logic and its application to terminological logics |
scientific article |
Statements
An alternative proof method for possibilistic logic and its application to terminological logics (English)
0 references
22 March 1995
0 references
possibilistic reasoning
0 references
knowledge representation
0 references
possibilistic logic
0 references
terminological logic
0 references
