Contrary-to-Duty Reasoning: A Categorical Approach.

Clayton Peterson

Published in: Logica Universalis (2015)

Keyphrases

reasoning tasks
knowledge representation
conflicting information
neural network
real world
knowledge base
categorical data
inference engine
default reasoning
search engine
website
case study
multi agent
domain knowledge
probabilistic reasoning
proof theory