Wei Bai, Emmanuel M. Tadjouddine, Terry Payne & Steven Guan (2013):
A Proof-Carrying Code Approach to Certificate Auction Mechanisms.
In: The 10th International Symposium on Formal Aspects of Component Software.
Fabio Bellifemine, Federico Bergenti, Giovanni Caire & Agostino Poggi (2005):
JADE – A Java Agent DEvelopment Framework.
In: Multi-Agent Programming.
Springer,
pp. 125–147,
doi:10.1007/0-387-26350-0_5.
Marco B Caminati, Manfred Kerber, Christoph Lange & Colin Rowat (2013):
Proving soundness of combinatorial Vickrey auctions and generating verified executable code.
arXiv preprint arXiv:1308.1779.
Edward H Clarke (1971):
Multipart pricing of public goods.
Public choice 11(1),
pp. 17–33,
doi:10.1007/BF01726210.
P. Cousot & R. Cousot (2004):
Basic concepts of abstract interpretation.
Building the Information Society,
pp. 359–366,
doi:10.1007/978-1-4020-8157-6_27.
Peter Cramton, Yoav Shoham & Richard Steinberg (2006):
Combinatorial auctions * .
A-S Dadzie, R Bhagdev, A Chakravarthy, S Chapman, J Iria, V Lanfranchi, J Magalhães, D Petrelli & F Ciravegna (2009):
Applying semantic web technologies to knowledge sharing in aerospace engineering.
Journal of Intelligent Manufacturing 20(5),
pp. 611–623,
doi:10.1007/s10845-008-0141-1.
G. Gonthier (2008):
The four colour theorem: Engineering of a formal proof.
Computer Mathematics,
pp. 333–333,
doi:10.1007/978-3-540-87827-8_28.
Bhargav S Gulavani & Sriram K Rajamani (2006):
Counterexample driven refinement for abstract interpretation.
In: Tools and Algorithms for the Construction and Analysis of Systems.
Springer,
pp. 474–488,
doi:10.1007/11691372_34.
Ian Horrocks, Peter F Patel-Schneider, Harold Boley, Said Tabet, Benjamin Grosof & Mike Dean (2004):
SWRL: A semantic web rule language combining OWL and RuleML.
W3C Member submission 21.
X. Leroy (2009):
Formal verification of a realistic compiler.
Communications of the ACM 52(7),
pp. 107–115,
doi:10.1145/1538788.1538814.
Dorel Lucanu, Yuan-Fang Li & Jin Song Dong (2005):
Institution Morphisms for Relating OWL and Z..
In: SEKE,
pp. 286–291.
David Martin, Mark Burstein, Jerry Hobbs, Ora Lassila, Drew McDermott, Sheila McIlraith, Srini Narayanan, Massimo Paolucci, Bijan Parsia & Terry Payne (2004):
OWL-S: Semantic markup for web services.
W3C member submission 22.
James McAndrews, Asani Sarkar & Zhenyu Wang (2008):
The effect of the term auction facility on the london inter-bank offered rate.
Technical Report.
Staff Report, Federal Reserve Bank of New York,
doi:10.2139/ssrn.1183671.
Huaikou Miao, Tao He & Liping Li (2009):
Formal semantics of OWL-S with F-logic.
In: Computer and Information Science 2009.
Springer,
pp. 105–117,
doi:10.1007/978-3-642-01209-9_10.
Michael H Rothkopf, Aleksandar Pekeč & Ronald M Harstad (1998):
Computationally manageable combinational auctions.
Management science 44(8),
pp. 1131–1147,
doi:10.1287/mnsc.44.8.1131.
Julien Subercaze & Pierre Maret (2011):
Programming Semantic Agent for Distributed Knowledge Management.
In: Semantic Agent Systems.
Springer,
pp. 47–65,
doi:10.1007/978-3-642-18308-9_3.
Emmanuel M. Tadjouddine (2011):
Computational Complexity of Some Intelligent Computing Systems.
International Journal of Intelligent Computing and Cyberneticsl 4(2),
pp. 144 – 159,
doi:10.1108/17563781111136676.
Emmanuel M Tadjouddine, Frank Guerin & Wamberto Vasconcelos (2009):
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms.
In: Declarative Agent Languages and Technologies VI.
Springer,
pp. 197–214,
doi:10.1007/978-3-540-93920-7_13.
Valentina Tamma, Michael Wooldridge, Ian Blacoe & Ian Dickinson (2002):
An ontology based approach to automated negotiation.
In: Agent-Mediated Electronic Commerce IV. Designing Mechanisms and Systems.
Springer,
pp. 219–237,
doi:10.1007/3-540-36378-5_14.
Moshe Tennenholtz (2000):
Some tractable combinatorial auctions.
In: AAAI/IAAI,
pp. 98–103.
The Coq Development Team (2012):
The Coq proof assistant reference manual: Version 8.4.
http://coq.inria.fr.
R. Vestergaard (2006):
A constructive approach to sequential Nash equilibria.
Information Processing Letters 97(2),
pp. 46–51,
doi:10.1016/j.ipl.2005.09.010.
Amy Moormann Zaremski & Jeannette M Wing (1997):
Specification matching of software components.
ACM Transactions on Software Engineering and Methodology (TOSEM) 6(4),
pp. 333–369,
doi:10.1145/261640.261641.
Youyong Zou, Tim Finin, Li Ding, Harry Chen & Rong Pan (2003):
Using semantic web technology in multi-agent systems: a case study in the TAGA trading agent environment.
In: Proceedings of the 5th international conference on Electronic commerce.
ACM,
pp. 95–101,
doi:10.1145/948005.948018.