Common Logic and the Horatio problem.
Fabian NeuhausPatrick J. HayesPublished in: Appl. Ontology (2012)
Keyphrases
- multi valued
- asynchronous circuits
- classical logic
- modal logic
- real time
- image processing
- bayesian networks
- formal theory
- predicate logic
- computational properties
- logic programming
- intuitionistic logic
- logic synthesis
- defeasible logic
- logical framework
- automated reasoning
- inference rules
- expressive power
- evolutionary algorithm
- relational databases
- multi agent
- multiscale
- website
- information systems
- artificial intelligence