Enhancing the Power of a Decidable First-Order Reasoner. Lakemeyer, G. & Meyer, S. In KR, pages 403-414, 1994. bibtex @inproceedings{ DBLP:conf/kr/LakemeyerM94,
author = {Gerhard Lakemeyer and Susanne Meyer},
title = {Enhancing the Power of a Decidable First-Order Reasoner},
booktitle = {KR},
pages = {403-414},
year = {1994}
}
Downloads: 0
{"_id":{"_str":"51f5ca86a57e92543f00041c"},"__v":13,"authorIDs":["54575ce32abc8e9f37000307"],"author_short":["Lakemeyer, G.","Meyer, S."],"bibbaseid":"lakemeyer-meyer-enhancingthepowerofadecidablefirstorderreasoner-1994","bibdata":{"author":["Lakemeyer, Gerhard","Meyer, Susanne"],"author_short":["Lakemeyer, G.","Meyer, S."],"bibtex":"@inproceedings{ DBLP:conf/kr/LakemeyerM94,\n author = {Gerhard Lakemeyer and Susanne Meyer},\n title = {Enhancing the Power of a Decidable First-Order Reasoner},\n booktitle = {KR},\n pages = {403-414},\n year = {1994}\n}","bibtype":"inproceedings","booktitle":"KR","id":"DBLP:conf/kr/LakemeyerM94","key":"DBLP:conf/kr/LakemeyerM94","pages":"403-414","title":"Enhancing the Power of a Decidable First-Order Reasoner","type":"inproceedings","year":"1994","bibbaseid":"lakemeyer-meyer-enhancingthepowerofadecidablefirstorderreasoner-1994","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/provenance/httpwwwbibbaseorgdblplakemeyer_gerhardbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["enhancing","power","decidable","first","order","reasoner","lakemeyer","meyer"],"title":"Enhancing the Power of a Decidable First-Order Reasoner","title_words":["enhancing","power","decidable","first","order","reasoner"],"year":1994,"dataSources":["w3suBtzdfNE9PR5Bt"]}