HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:abduction

Publications
An Interactive SMT Tactic in Coq using Abductive Reasoning
Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli and Clark Barrett
In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Abduction by Non-Experts
Nikolaj Bjorner, Dejan Jovanović, Tancrède Lepoint, Philipp Rümmer and Martin Schäf
In:IWIL Workshop and LPAR Short Presentations
Copyright © 2012-2025 easychair.org. All rights reserved.