Login / Signup
Semantics for incident identification and resolution reports.
Joaquín Borrego-Díaz
Antonia M. Chávez-González
José Luis Pro-Martín
Virginia Matos-Arana
Published in:
Log. J. IGPL (2016)
Keyphrases
</>
formal semantics
consequence finding
logic programming
databases
high resolution
valued logic
multiresolution
semantic web
low resolution
semantic information
semantic relationships
conceptual graphs
default reasoning
nonmonotonic logics
proof theory
conflict detection