Decidable Reasoning in a First-Order Logic of Limited Conditional Belief. Schwering, C. & Lakemeyer, G. In Proceedings of the Twenty-Second European Conference on Artificial Intelligence (ECAI), pages 1379–1387, The Hague, Netherlands, 2016. IOS Press. Paper bibtex @inproceedings {Schwering:ECAI-2016,
title = {Decidable Reasoning in a First-Order Logic of Limited Conditional Belief},
booktitle = {Proceedings of the Twenty-Second European Conference on Artificial Intelligence (ECAI)},
year = {2016},
pages = {1379--1387},
publisher = {IOS Press},
address = {The Hague, Netherlands},
url_Paper = {https://kbsg.rwth-aachen.de/sites/kbsg/files/SchweringLakemeyer2016.pdf},
author = {Christoph Schwering and Lakemeyer, Gerhard}
}
Downloads: 0
{"_id":"dqiXqRvDmggAcsdGj","bibbaseid":"schwering-lakemeyer-decidablereasoninginafirstorderlogicoflimitedconditionalbelief-2016","author_short":["Schwering, C.","Lakemeyer, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Decidable Reasoning in a First-Order Logic of Limited Conditional Belief","booktitle":"Proceedings of the Twenty-Second European Conference on Artificial Intelligence (ECAI)","year":"2016","pages":"1379–1387","publisher":"IOS Press","address":"The Hague, Netherlands","url_paper":"https://kbsg.rwth-aachen.de/sites/kbsg/files/SchweringLakemeyer2016.pdf","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Schwering"],"suffixes":[]},{"propositions":[],"lastnames":["Lakemeyer"],"firstnames":["Gerhard"],"suffixes":[]}],"bibtex":"@inproceedings {Schwering:ECAI-2016,\n title = {Decidable Reasoning in a First-Order Logic of Limited Conditional Belief},\n booktitle = {Proceedings of the Twenty-Second European Conference on Artificial Intelligence (ECAI)},\n year = {2016},\n pages = {1379--1387},\n publisher = {IOS Press},\n address = {The Hague, Netherlands},\n url_Paper = {https://kbsg.rwth-aachen.de/sites/kbsg/files/SchweringLakemeyer2016.pdf},\n author = {Christoph Schwering and Lakemeyer, Gerhard}\n}\n\n","author_short":["Schwering, C.","Lakemeyer, G."],"key":"Schwering:ECAI-2016","id":"Schwering:ECAI-2016","bibbaseid":"schwering-lakemeyer-decidablereasoninginafirstorderlogicoflimitedconditionalbelief-2016","role":"author","urls":{" paper":"https://kbsg.rwth-aachen.de/sites/kbsg/files/SchweringLakemeyer2016.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.bib","dataSources":["dqRQPSg6Hy3ZXQg7z"],"keywords":[],"search_terms":["decidable","reasoning","first","order","logic","limited","conditional","belief","schwering","lakemeyer"],"title":"Decidable Reasoning in a First-Order Logic of Limited Conditional Belief","year":2016}