Generating Finite Counter Examples with Semantic Tableaux.
Stefan KlingenbeckPublished in: TABLEAUX (1995)
Keyphrases
- counter examples
- modal logic
- semantic web
- semantic network
- semantic annotation
- artificial intelligence
- decision procedures
- semantic level
- semantic knowledge
- generation process
- semantic features
- knowledge base
- domain specific
- natural language
- neural network
- semantic similarity
- functional dependencies
- semantic analysis
- semantic information
- semantically related
- cooperative
- semantically equivalent
- high level