@inproceedings {Schwering:IJCAI-2015,
        title = {Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus},
        booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-2015)},
        year = {2015},
        address = {Buenos Aires, Argentina},
        url = {http://kbsg.rwth-aachen.de/~schwering/ijcai-2015.pdf},
        url_Paper = {https://kbsg.rwth-aachen.de/sites/kbsg/files/SchweringLakemeyerPagnucco2015.pdf},
        author = {Christoph Schwering and Lakemeyer, Gerhard and Maurice Pagnucco}
}

{"_id":"eNpvi358LRjz3JaKJ","bibbaseid":"schwering-lakemeyer-pagnucco-beliefrevisionandprogressionofknowledgebasesintheepistemicsituationcalculus-2015","author_short":["Schwering, C.","Lakemeyer, G.","Pagnucco, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus","booktitle":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-2015)","year":"2015","address":"Buenos Aires, Argentina","url":"http://kbsg.rwth-aachen.de/~schwering/ijcai-2015.pdf","url_paper":"https://kbsg.rwth-aachen.de/sites/kbsg/files/SchweringLakemeyerPagnucco2015.pdf","author":[{"firstnames":["Christoph"],"propositions":[],"lastnames":["Schwering"],"suffixes":[]},{"propositions":[],"lastnames":["Lakemeyer"],"firstnames":["Gerhard"],"suffixes":[]},{"firstnames":["Maurice"],"propositions":[],"lastnames":["Pagnucco"],"suffixes":[]}],"bibtex":"@inproceedings {Schwering:IJCAI-2015,\n title = {Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus},\n booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-2015)},\n year = {2015},\n address = {Buenos Aires, Argentina},\n url = {http://kbsg.rwth-aachen.de/~schwering/ijcai-2015.pdf},\n url_Paper = {https://kbsg.rwth-aachen.de/sites/kbsg/files/SchweringLakemeyerPagnucco2015.pdf},\n author = {Christoph Schwering and Lakemeyer, Gerhard and Maurice Pagnucco}\n}\n\n","author_short":["Schwering, C.","Lakemeyer, G.","Pagnucco, M."],"key":"Schwering:IJCAI-2015","id":"Schwering:IJCAI-2015","bibbaseid":"schwering-lakemeyer-pagnucco-beliefrevisionandprogressionofknowledgebasesintheepistemicsituationcalculus-2015","role":"author","urls":{"Paper":"http://kbsg.rwth-aachen.de/~schwering/ijcai-2015.pdf"," paper":"https://kbsg.rwth-aachen.de/sites/kbsg/files/SchweringLakemeyerPagnucco2015.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://kbsg.rwth-aachen.de/files/kbsgweb.bib","dataSources":["dqRQPSg6Hy3ZXQg7z"],"keywords":[],"search_terms":["belief","revision","progression","knowledge","bases","epistemic","situation","calculus","schwering","lakemeyer","pagnucco"],"title":"Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus","year":2015}