@inproceedings{DBLP:conf/lopstr/MorenoPRV16,
  author    = {Gin{\'{e}}s Moreno and
               Jaime Penabad and
               Jos{\'{e}} A. Riaza and
               Germ{\'{a}}n Vidal},
  title     = {Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic
               Programs},
  booktitle = {Logic-Based Program Synthesis and Transformation - 26th International
               Symposium, {LOPSTR} 2016, Edinburgh, UK, September 6-8, 2016, Revised
               Selected Papers},
  pages     = {131--147},
  year      = {2016},
  crossref  = {DBLP:conf/lopstr/2016},
  url       = {https://doi.org/10.1007/978-3-319-63139-4\_8},
  doi       = {10.1007/978-3-319-63139-4\_8},
  timestamp = {Sat, 16 Sep 2017 12:11:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lopstr/MorenoPRV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"6yizErxqKtHpXmBWk","bibbaseid":"moreno-penabad-riaza-vidal-symbolicexecutionandthresholdingforefficientlytuningfuzzylogicprograms-2016","downloads":0,"creationDate":"2018-11-28T10:55:34.206Z","title":"Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs","author_short":["Moreno, G.","Penabad, J.","Riaza, J. A.","Vidal, G."],"year":2016,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/jariazavalverde/fasill/master/bibliography.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Ginés"],"propositions":[],"lastnames":["Moreno"],"suffixes":[]},{"firstnames":["Jaime"],"propositions":[],"lastnames":["Penabad"],"suffixes":[]},{"firstnames":["José","A."],"propositions":[],"lastnames":["Riaza"],"suffixes":[]},{"firstnames":["Germán"],"propositions":[],"lastnames":["Vidal"],"suffixes":[]}],"title":"Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs","booktitle":"Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers","pages":"131–147","year":"2016","crossref":"DBLP:conf/lopstr/2016","url":"https://doi.org/10.1007/978-3-319-63139-4\\_8","doi":"10.1007/978-3-319-63139-4_8","timestamp":"Sat, 16 Sep 2017 12:11:15 +0200","biburl":"https://dblp.org/rec/bib/conf/lopstr/MorenoPRV16","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/lopstr/MorenoPRV16,\n author = {Gin{\\'{e}}s Moreno and\n Jaime Penabad and\n Jos{\\'{e}} A. Riaza and\n Germ{\\'{a}}n Vidal},\n title = {Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic\n Programs},\n booktitle = {Logic-Based Program Synthesis and Transformation - 26th International\n Symposium, {LOPSTR} 2016, Edinburgh, UK, September 6-8, 2016, Revised\n Selected Papers},\n pages = {131--147},\n year = {2016},\n crossref = {DBLP:conf/lopstr/2016},\n url = {https://doi.org/10.1007/978-3-319-63139-4\\_8},\n doi = {10.1007/978-3-319-63139-4\\_8},\n timestamp = {Sat, 16 Sep 2017 12:11:15 +0200},\n biburl = {https://dblp.org/rec/bib/conf/lopstr/MorenoPRV16},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Moreno, G.","Penabad, J.","Riaza, J. A.","Vidal, G."],"key":"DBLP:conf/lopstr/MorenoPRV16","id":"DBLP:conf/lopstr/MorenoPRV16","bibbaseid":"moreno-penabad-riaza-vidal-symbolicexecutionandthresholdingforefficientlytuningfuzzylogicprograms-2016","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-63139-4\\_8"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["symbolic","execution","thresholding","efficiently","tuning","fuzzy","logic","programs","moreno","penabad","riaza","vidal"],"keywords":[],"authorIDs":[],"dataSources":["wxX9jdBZybhgkmjGb"]}