Towards Abductive Reasoning in First-order Logic
2006; Oxford University Press; Volume: 14; Issue: 2 Linguagem: Inglês
10.1093/jigpal/jzk019
ISSN1368-9894
AutoresA. Liliana Reyes-Cabello, Atocha Aliseda, Ángel Nepomuceno–Fernández,
Tópico(s)Logic, programming, and type systems
ResumoJournal Article Towards Abductive Reasoning in First-order Logic Get access A. Liliana Reyes-Cabello, A. Liliana Reyes-Cabello Search for other works by this author on: Oxford Academic Google Scholar Atocha Aliseda-Llera, Atocha Aliseda-Llera Search for other works by this author on: Oxford Academic Google Scholar Ángel Nepomuceno-Fernández Ángel Nepomuceno-Fernández Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 14, Issue 2, March 2006, Pages 287–304, https://doi.org/10.1093/jigpal/jzk019 Published: 01 March 2006
Referência(s)