On One Approach to Goal-Driven Proof Search in Classical First-Order Logic.
Alexander V. LyaletskiAlexandre LyaletskyPublished in: SYNASC (2020)
Keyphrases
- goal driven
- proof search
- classical first order logic
- first order logic
- theorem prover
- theorem proving
- logic programming
- inference rules
- linear logic
- proof procedure
- dynamic logic
- propositional logic
- service composition
- logic programs
- knowledge representation
- software product line
- sequent calculus
- search procedure
- semantic web services
- answer set programming
- knowledge base
- default logic
- deductive databases
- artificial intelligence
- programming language
- software engineering
- reasoning tasks
- classical logic
- predicate calculus
- future directions
- life cycle