Daniele Porello, Ulle Endriss. Modelling Combinatorial Auctions in Linear Logic. In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. AAAI Press, 2010. [doi]
@inproceedings{PorelloE10-0, title = {Modelling Combinatorial Auctions in Linear Logic}, author = {Daniele Porello and Ulle Endriss}, year = {2010}, url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1264}, tags = {meta-model, logic, Meta-Environment}, researchr = {https://researchr.org/publication/PorelloE10-0}, cites = {0}, citedby = {0}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010}, editor = {Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski}, publisher = {AAAI Press}, }