%0 Conference Paper %1 conf/atal/SchweringP19 %A Schwering, Christoph %A Pagnucco, Maurice %B AAMAS %D 2019 %E Elkind, Edith %E Veloso, Manuela %E Agmon, Noa %E Taylor, Matthew E. %I International Foundation for Autonomous Agents and Multiagent Systems %K dblp %P 926-934 %T A Representation Theorem for Reasoning in First-Order Multi-Agent Knowledge Bases. %U http://dblp.uni-trier.de/db/conf/atal/aamas2019.html#SchweringP19 %@ 978-1-4503-6309-9

@inproceedings{conf/atal/SchweringP19, added-at = {2019-05-29T00:00:00.000+0200}, author = {Schwering, Christoph and Pagnucco, Maurice}, biburl = {https://www.bibsonomy.org/bibtex/2ab4ebb70d9248b9aa3f26bb3302e03ce/dblp}, booktitle = {AAMAS}, crossref = {conf/atal/2019}, editor = {Elkind, Edith and Veloso, Manuela and Agmon, Noa and Taylor, Matthew E.}, ee = {http://dl.acm.org/citation.cfm?id=3331787}, interhash = {01c5a3cd0edb89943bfef48cfcce2c71}, intrahash = {ab4ebb70d9248b9aa3f26bb3302e03ce}, isbn = {978-1-4503-6309-9}, keywords = {dblp}, pages = {926-934}, publisher = {International Foundation for Autonomous Agents and Multiagent Systems}, timestamp = {2019-05-30T11:55:59.000+0200}, title = {A Representation Theorem for Reasoning in First-Order Multi-Agent Knowledge Bases.}, url = {http://dblp.uni-trier.de/db/conf/atal/aamas2019.html#SchweringP19}, year = 2019 }