Login / Signup
Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014).
Michael Fink
Martin Homola
Alessandra Mileo
Published in:
CoRR (2014)
Keyphrases
</>
formal theory
multi valued
selected papers
expert systems
classical logic
modal logic
logic programming
logical framework
contextual information
context aware
relation algebra
context sensitive
defeasible logic
set theory
linear logic
logic circuits
proof theory
logical representation