Filter your results
- 14
- 8
- 17
- 3
- 1
- 1
- 22
- 1
- 1
- 4
- 3
- 2
- 3
- 2
- 1
- 1
- 3
- 1
- 1
- 22
- 12
- 11
- 11
- 10
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 22
- 8
- 8
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
22 Results
|
|
sorted by
|
A Superposition-Based Approach to Abductive Reasoning in Equational Clausal LogicADDTC 2014, Jul 2014, Vienna, Austria
Conference papers
hal-01132800v1
|
|||
|
SLD-Resolution Reduction of Second-Order Horn FragmentsJELIA 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
|
||
|
Making Higher-Order Superposition WorkJournal 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 ClausificationCADE 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
|
||
|
Abduction in first order logic with equalityArtificial Intelligence [cs.AI]. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM006⟩
Theses
tel-01366458v1
|
||
|
Abduction inELvia Translation to FOLSOQE 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 Logics17th 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
|
||
|
Prime Implicate Generation in Equational LogicProceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, 2018, Stockholm, Sweden
Conference papers
hal-01946497v1
|
||
|
Learning Logic Program Representation for Delayed Systems With Limited Training Datathe 27th International Conference on Inductive Logic Programming, Sep 2017, Orléans, France
Conference papers
hal-01766236v1
|
||
Prime Implicate Generation in Equational LogicJournal of Artificial Intelligence Research, 2017, 60, pp.827-880
Journal articles
hal-01946538v1
|
|||
|
Superposition with LambdasCADE-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 RelevanceCADE 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
|
||
|
Inductive Learning from State Transitions over Continuous Domains27th 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
|
||
|
A Unifying Splitting FrameworkCADE 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
|
||
|
Lifting congruence closure with free variables to λ-free higher-order logic via SAT encodingSMT 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 LogicIJCAR 2014, Jul 2014, Vienna, Austria. pp.137-151
Conference papers
hal-01018692v1
|
|||
|
A Superposition Strategy for Abductive Reasoning in Ground Equational LogicIWS 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
|
||
|
Logical reduction of metarulesMachine Learning, 2020, 109 (7), pp.1323 - 1369. ⟨10.1007/s10994-019-05834-x⟩
Journal articles
hal-02988003v1
|
||
|
An Approach to Abductive Reasoning in Equational LogicIJCAI 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 GenerationCADE-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 ClausesPAAR 2014, Jul 2014, Vienna, Austria
Conference papers
hal-01132801v1
|
|||
|
Derivation Reduction of Metarules in Meta-interpretive LearningInductive Logic Programming, Sep 2018, Ferrara, Italy. pp.1-21, ⟨10.1007/978-3-319-99960-9_1⟩
Conference papers
hal-02988024v1
|