Conference Report: Abduction and Induction in AI; Logic, Proofs and Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation (LOCUS).
Peter A. FlachAntonis C. KakasRuy J. G. B. de QueirozKátia Silva GuimaraesPublished in: Log. J. IGPL (1998)
Keyphrases
- logic programming
- modal logic
- proof search
- abductive reasoning
- multi valued
- natural language
- knowledge representation
- asynchronous circuits
- predicate logic
- cut elimination
- data structure
- proof theory
- natural deduction
- automated reasoning
- theorem proving
- theorem prover
- inductive logic programming
- sequent calculus
- information extraction
- evolutionary algorithm