Completeness, minimal logic and programs extraction.
Christophe RaffalliPublished in: Theor. Comput. Sci. (2001)
Keyphrases
- dynamic logic
- information extraction
- logic programming
- classical logic
- modal logic
- automatic extraction
- artificial intelligence
- databases
- java programs
- predicate logic
- functional programs
- minimal models
- declarative semantics
- epistemic logic
- automatically extracting
- digital circuits
- logical framework
- control flow
- multi valued
- knowledge extraction
- search engine