The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Sophie Tourret" ( http://dblp.L3S.de/Authors/Sophie_Tourret )

  Author page on DBLP  Author page in RDF  Community of Sophie Tourret in ASPL-2

Publication years (Num. hits)
2013-2019 (16)
Publication types (Num. hits)
article(3) inproceedings(12) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 17 publication records. Showing 16 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Sophie Tourret, Andrew Cropper SLD-Resolution Reduction of Second-Order Horn Fragments - technical report -. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Andrew Cropper, Sophie Tourret Logical reduction of metarules. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann Superposition with Lambdas. Search on Bibsonomy CADE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sophie Tourret, Andrew Cropper SLD-Resolution Reduction of Second-Order Horn Fragments. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrew Cropper, Sophie Tourret Derivation Reduction of Metarules in Meta-interpretive Learning. Search on Bibsonomy ILP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mnacho Echenim, Nicolas Peltier, Sophie Tourret Prime Implicate Generation in Equational Logic (extended abstract). Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mnacho Echenim, Nicolas Peltier, Sophie Tourret Prime Implicate Generation in Equational Logic. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sophie Tourret, Enguerrand Gentet, Katsumi Inoue Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks. Search on Bibsonomy ISNN (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier F. Roux, Katsumi Inoue Inductive Learning from State Transitions over Continuous Domains. Search on Bibsonomy ILP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yin Jun Phua, Tony Ribeiro, Sophie Tourret, Katsumi Inoue Learning Logic Program Representation for Delayed Systems With Limited Training Data. Search on Bibsonomy ILP (Late Breaking Papers) The full citation details ... 2017 DBLP  BibTeX  RDF
1Enguerrand Gentet, Sophie Tourret, Katsumi Inoue Learning from Interpretation Transition using Feed-Forward Neural Networks. Search on Bibsonomy ILP (Short Papers) The full citation details ... 2016 DBLP  BibTeX  RDF
1Sophie Tourret Abduction in first order logic with equality. (Prime implicate generation in equational logic). Search on Bibsonomy 2016   RDF
1Mnacho Echenim, Nicolas Peltier, Sophie Tourret Quantifier-Free Equational Logic and Prime Implicate Generation. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sophie Tourret, Mnacho Echenim, Nicolas Peltier A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses. Search on Bibsonomy PAAR@IJCAR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mnacho Echenim, Nicolas Peltier, Sophie Tourret A Rewriting Strategy to Generate Prime Implicates in Equational Logic. Search on Bibsonomy IJCAR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mnacho Echenim, Nicolas Peltier, Sophie Tourret An Approach to Abductive Reasoning in Equational Logic. Search on Bibsonomy IJCAI The full citation details ... 2013 DBLP  BibTeX  RDF
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license