A Polynomial Time Subsumption Algorithm for Nominal Safe ELO\(_\mbox\(\perp\)\) under Rational Closure. Casini, G., Straccia, U., & Meyer, T. CoRR, 2018. Paper bibtex @article{DBLP:journals/corr/abs-1802-08201,
author = {Giovanni Casini and
Umberto Straccia and
Thomas Meyer},
title = {A Polynomial Time Subsumption Algorithm for Nominal Safe ELO\({}_{\mbox{{\(\perp\)}}}\)
under Rational Closure},
journal = {CoRR},
volume = {abs/1802.08201},
year = {2018},
url = {http://arxiv.org/abs/1802.08201},
archivePrefix = {arXiv},
eprint = {1802.08201},
timestamp = {Thu, 31 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-08201.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"LDEzZK9rBjgHS3jxk","bibbaseid":"casini-straccia-meyer-apolynomialtimesubsumptionalgorithmfornominalsafeelomboxperpunderrationalclosure-2018","author_short":["Casini, G.","Straccia, U.","Meyer, T."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Giovanni"],"propositions":[],"lastnames":["Casini"],"suffixes":[]},{"firstnames":["Umberto"],"propositions":[],"lastnames":["Straccia"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Meyer"],"suffixes":[]}],"title":"A Polynomial Time Subsumption Algorithm for Nominal Safe ELO\\(_\\mbox\\(\\perp\\)\\) under Rational Closure","journal":"CoRR","volume":"abs/1802.08201","year":"2018","url":"http://arxiv.org/abs/1802.08201","archiveprefix":"arXiv","eprint":"1802.08201","timestamp":"Thu, 31 Dec 2020 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/corr/abs-1802-08201.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-1802-08201,\n author = {Giovanni Casini and\n Umberto Straccia and\n Thomas Meyer},\n title = {A Polynomial Time Subsumption Algorithm for Nominal Safe ELO\\({}_{\\mbox{{\\(\\perp\\)}}}\\)\n under Rational Closure},\n journal = {CoRR},\n volume = {abs/1802.08201},\n year = {2018},\n url = {http://arxiv.org/abs/1802.08201},\n archivePrefix = {arXiv},\n eprint = {1802.08201},\n timestamp = {Thu, 31 Dec 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/corr/abs-1802-08201.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Casini, G.","Straccia, U.","Meyer, T."],"key":"DBLP:journals/corr/abs-1802-08201","id":"DBLP:journals/corr/abs-1802-08201","bibbaseid":"casini-straccia-meyer-apolynomialtimesubsumptionalgorithmfornominalsafeelomboxperpunderrationalclosure-2018","role":"author","urls":{"Paper":"http://arxiv.org/abs/1802.08201"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://dblp.org/pid/s/UmbertoStraccia.bib","dataSources":["6irvXp6A5KCALDdaf"],"keywords":[],"search_terms":["polynomial","time","subsumption","algorithm","nominal","safe","elo","mbox","perp","under","rational","closure","casini","straccia","meyer"],"title":"A Polynomial Time Subsumption Algorithm for Nominal Safe ELO\\(_\\mbox\\(\\perp\\)\\) under Rational Closure","year":2018}