No label defined (Q3976584)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
26 June 1992
0 references
survey
0 references
perception logic
0 references
approximation logic
0 references
incomplete information
0 references
perception connectives
0 references
cooperating agents
0 references
Gentzen style mechanical proof system
0 references
resolution theorem proving system
0 references
logic for reasoning about knowledge
0 references
indiscernibility relation
0 references
fuzzy logics
0 references
