Translation of first order formulas into ground formulas via a completion theory

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

zbMATH Keywords

domainapplication to biologyautomated deductionindependent formulasmodeling in logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Formalization of mathematics in connection with theorem provers (68V20)

Related Items (2)

Temporal Logic Modeling of Biological Systems ⋮ Abductive Reasoning on Molecular Interaction Maps

Uses Software

• SOLAR

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