Translation of first order formulas into ground formulas via a completion theory
From MaRDI portal
Publication:266881
DOI10.1016/J.JAL.2016.02.002zbMath1436.03100OpenAlexW2282901080MaRDI QIDQ266881
Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
Publication date: 7 April 2016
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2016.02.002
Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Formalization of mathematics in connection with theorem provers (68V20)
Related Items (2)
Uses Software
Cites Work
- Unnamed Item
- AI*IA 2013: Advances in artificial intelligence. XIIIth international conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4--6, 2013. Proceedings
- Safety, domain independence and translation of complex value database queries
- A mechanical solution of Schubert's steamroller by many-sorted resolution
- Domain-independent formulas and databases
- Logic for improving integrity checking in relational data bases
- Linear resolution for consequence finding
- Modal languages and bounded fragments of predicate logic
- SOLAR: An automated deduction system for consequence finding
- Syntactical characterization of a subset of domain-independent formulas
- The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
This page was built for publication: Translation of first order formulas into ground formulas via a completion theory