Acquisition, Representation and Reasoning About Context with Logic (ARCOE-Logic 2014).
Alessandra MileoMartin HomolaMichael FinkPublished in: EKAW (Satellite Events) (2014)
Keyphrases
- multi valued
- classical logic
- modal logic
- logic programming
- relation algebra
- modal operators
- artificial intelligence
- formal theory
- automated reasoning
- set theory
- inference mechanism
- expert systems
- asynchronous circuits
- predicate calculus
- computational properties
- digital circuits
- horn logic
- epistemic logic
- complete axiomatization
- logical framework
- database
- context sensitive
- data acquisition
- image representation
- context aware
- object recognition
- information retrieval
- neural network