From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP.
Chitta BaralShanshan LiangPublished in: KR (2012)
Keyphrases
- knowledge representation
- representing knowledge
- formal representation
- reasoning mechanisms
- knowledge base
- explicitly represented
- declarative knowledge
- knowledge acquisition
- representation language
- reasoning process
- knowledge representation languages
- logical formulas
- domain knowledge
- temporal knowledge
- knowledge processing
- knowledge based systems
- reasoning mechanism
- formal models
- procedural knowledge
- reasoning engine
- knowledge discovery
- knowledge management
- multiple representations
- general knowledge
- expert systems
- uncertain information
- expressive power
- logical rules
- highly expressive
- inconsistent information
- perceptual information
- domain independent
- artificial intelligence
- prior knowledge
- incomplete knowledge
- model based reasoning
- logic programming
- spatial reasoning
- language independent
- answer set programming