STAIRS 2014 U. Endriss and J. Leite (Eds.) © 2014 The Authors and IOS Press. This article is published online with Open Access by IOS Press and distributed under the terms of the Creative Commons Attribution Non-Commerc - IOS Press - Document - PDFSEARCH.IO

First Page	Meta Content
	STAIRS 2014 U. Endriss and J. Leite (Eds.) © 2014 The Authors and IOS Press. This article is published online with Open Access by IOS Press and distributed under the terms of the Creative Commons Attribution Non-Commerc Add to Reading List Document Date: 2014-09-26 16:26:02 Open Document File Size: 254,21 KB Share Result on Facebook Company Creative Commons / IOS Press / / Continent Europe / / IndustryTerm bank / / Organization International Organization for Standardization / University of Nottingham / / Person S. Schockaert / / Position MP / satisfying model for it / / ProgrammingLanguage R / / Technology artificial intelligence / / URL http / SocialTag Mathematics Formal languages Structure Universal algebra Interpretation Dual Orbifold Model theory Logic Metalogic

STAIRS 2014 U. Endriss and J. Leite (Eds.) © 2014 The Authors and IOS Press. This article is published online with Open Access by IOS Press and distributed under the terms of the Creative Commons Attribution Non-CommercAdd to Reading List