Abduction and Concurrent Logic Languages.
Christian CodognetPhilippe CodognetPublished in: ECAI (1994)
Keyphrases
- abductive reasoning
- logic programming
- expressive power
- predicate logic
- classical logic
- multi valued
- logic programs
- modal logic
- background knowledge
- language independent
- cross lingual
- formal language
- text summarization
- plan recognition
- reasoning tasks
- highly expressive
- query translation
- statistical machine translation
- defeasible logic
- reasoning about actions
- relational databases
- linear logic
- constraint language