Search - Archive ouverte HAL Access content directly

Filter your results

22 Results

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

Mnacho Echenim , Nicolas Peltier , Sophie Tourret
ADDTC 2014, Jul 2014, Vienna, Austria
Conference papers hal-01132800v1
Image document

SLD-Resolution Reduction of Second-Order Horn Fragments

Sophie Tourret , Andrew Cropper
JELIA 2019 - European Conference on Logics in Artificial Intelligence, May 2019, Rende, Italy. pp.259-276, ⟨10.1007/978-3-030-19570-0_17⟩
Conference papers hal-02988015v1
Image document

Making Higher-Order Superposition Work

Petar Vukmirović , Alexander Bentkamp , Jasmin Blanchette , Simon Cruanes , Visa Nummelin , et al.
Journal of Automated Reasoning, 2022, 66 (4), pp.541-564. ⟨10.1007/s10817-021-09613-z⟩
Journal articles hal-03909997v1

Superposition with First-class Booleans and Inprocessing Clausification

Visa Nummelin , Alexander Bentkamp , Sophie Tourret , Petar Vukmirović
CADE 2021 - 28th International Conference on Automated Deduction, Jul 2021, Pittsburgh, PA / online, United States. pp.378-395, ⟨10.1007/978-3-030-79876-5_22⟩
Conference papers hal-03552065v1
Image document

Abduction in first order logic with equality

Sophie Tourret
Artificial Intelligence [cs.AI]. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM006⟩
Theses tel-01366458v1
Image document

Abduction inELvia Translation to FOL

Fajar Haifani , Patrick Koopmann , Sophie Tourret
SOQE 2021 - 2nd Workshop on Second-Order Quantifier Elimination and Related Topics, Nov 2021, Hanoï (online), Vietnam. pp.46-58
Conference papers hal-03516691v1

Signature-Based Abduction for Expressive Description Logics

Patrick Koopmann , Warren Del-Pinto , Sophie Tourret , Renate Schmidt
17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}, Sep 2020, Rhodes, France. pp.592-602, ⟨10.24963/kr.2020/59⟩
Conference papers hal-03141064v1
Image document

Prime Implicate Generation in Equational Logic

Mnacho Echenim , Nicolas Peltier , Sophie Tourret
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, 2018, Stockholm, Sweden
Conference papers hal-01946497v1
Image document

Learning Logic Program Representation for Delayed Systems With Limited Training Data

Yin Jun Phua , Tony Ribeiro , Sophie Tourret , Katsumi Inoue
the 27th International Conference on Inductive Logic Programming, Sep 2017, Orléans, France
Conference papers hal-01766236v1

Prime Implicate Generation in Equational Logic

Mnacho Echenim , Nicolas Peltier , Sophie Tourret
Journal of Artificial Intelligence Research, 2017, 60, pp.827-880
Journal articles hal-01946538v1
Image document

Superposition with Lambdas

Alexander Bentkamp , Jasmin Blanchette , Sophie Tourret , Petar Vukmirović , Uwe Waldmann
CADE-27 - The 27th International Conference on Automated Deduction, Aug 2019, Natal, Brazil. pp.55-73, ⟨10.1007/978-3-030-29436-6_4⟩
Conference papers hal-02296038v1

Generalized Completeness for SOS Resolution and its Application to a New Notion of Relevance

Fajar Haifani , Sophie Tourret , Christoph Weidenbach
CADE 2021 - 28th International Conference on Automated Deduction, Jul 2021, Pittsburgh, PA / online, United States. pp.327-343, ⟨10.1007/978-3-030-79876-5_19⟩
Conference papers hal-03516684v1
Image document

Inductive Learning from State Transitions over Continuous Domains

Tony Ribeiro , Sophie Tourret , Maxime Folschette , Morgan Magnin , Domenico Borzacchiello , et al.
27th International Conference on Inductive Logic Programming, LNCS, volume 10759, Springer, Cham, pp.124-139, 2018, Inductive Logic Programming, ⟨10.1007/978-3-319-78090-0_9⟩
Book sections hal-01655644v3
Image document

A Unifying Splitting Framework

Gabriel Ebner , Jasmin Blanchette , Sophie Tourret
CADE 2021 - 28th International Conference on Automated Deduction, Jul 2021, Pittsburgh, PA / online, United States. pp.344-360, ⟨10.1007/978-3-030-79876-5_20⟩
Conference papers hal-03364063v1
Image document

Lifting congruence closure with free variables to λ-free higher-order logic via SAT encoding

Sophie Tourret , Pascal Fontaine , Daniel El Ouraoui , Haniel Barbosa
SMT 2020 - 18th International Workshop on Satisfiability Modulo Theories, Jul 2020, Online COVID-19, France
Conference papers hal-03049088v1

A Rewriting Strategy to Generate Prime Implicates in Equational Logic

Mnacho Echenim , Nicolas Peltier , Sophie Tourret
IJCAR 2014, Jul 2014, Vienna, Austria. pp.137-151
Conference papers hal-01018692v1
Image document

A Superposition Strategy for Abductive Reasoning in Ground Equational Logic

Mnacho Echenim , Nicolas Peltier , Sophie Tourret
IWS 2012 - International Workshop on Strategies in Rewriting, Proving and Programming (IJCAR 2012 workshop ), Jul 2012, Manchester, United Kingdom. pp.4-11
Conference papers hal-00933582v1
Image document

Logical reduction of metarules

Andrew Cropper , Sophie Tourret
Machine Learning, 2020, 109 (7), pp.1323 - 1369. ⟨10.1007/s10994-019-05834-x⟩
Journal articles hal-02988003v1
Image document

An Approach to Abductive Reasoning in Equational Logic

Mnacho Echenim , Nicolas Peltier , Sophie Tourret
IJCAI 2013 - International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.531-537
Conference papers hal-00934278v1

Quantifier-Free Equational Logic and Prime Implicate Generation

Mnacho Echenim , Nicolas Peltier , Sophie Tourret
CADE-25, Jul 2015, Berlin, Germany. pp.311-325, ⟨10.1007/978-3-319-21401-6_21⟩
Conference papers hal-01363987v1

A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses

Mnacho Echenim , Nicolas Peltier , Sophie Tourret
PAAR 2014, Jul 2014, Vienna, Austria
Conference papers hal-01132801v1
Image document

Derivation Reduction of Metarules in Meta-interpretive Learning

Andrew Cropper , Sophie Tourret
Inductive Logic Programming, Sep 2018, Ferrara, Italy. pp.1-21, ⟨10.1007/978-3-319-99960-9_1⟩
Conference papers hal-02988024v1