Third International Workshop on Hybrid Logic (HyLo'01).
Patrick BlackburnMaarten MarxPublished in: Log. J. IGPL (2001)
Keyphrases
- database
- automated reasoning
- hybrid approaches
- deontic logic
- modal logic
- computer vision
- similarity measure
- proof theory
- logic programming
- asynchronous circuits
- revised selected papers
- multi valued
- defeasible logic
- probabilistic logic
- machine learning
- predicate logic
- classical logic
- information systems
- website
- temporal logic
- query language
- multi agent