VSL 2014: VIENNA SUMMER OF LOGIC 2014

A Superposition-Based Approach to Abductive Reasoning in Equational Clausal Logic

Authors: Mnacho Echenim, Nicolas Peltier and Sophie Tourret

PapersPapers with AbstractsPrefaceAuthor IndexKeyword IndexAdditional files

Paper Information

Title:A Superposition-Based Approach to Abductive Reasoning in Equational Clausal Logic
Authors:Mnacho Echenim, Nicolas Peltier and Sophie Tourret
Proceedings:ADDCT 2014 Proceedings
Editors: Viorica Sofronie-Stokkermans, Silvio Ghilardi and Uli Sattler
Keywords:
Abstract:
Pages:18
Talk:Jul 18 10:45
Paper:
Disclaimer | Powered by EasyChair Smart Program