The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems (Q4930777)
From MaRDI portal
scientific article; zbMATH DE number 5794804
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems |
scientific article; zbMATH DE number 5794804 |
Statements
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems (English)
0 references
1 October 2010
0 references
