1948 search results - page 158 / 390 » Formalizing Mirror Theory |
130
click to vote
ER
2005
Springer
16 years 21 hour ago
2005
Springer
Abstract. In an ongoing effort to better understand the process of creating conceptual models (in particular formal ones), we present a fundamental view of the process of modeling...
167
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Since our world is populated by entities that persist through time and that change over time it is important to represent knowledge about those entities in a formal manner. In this...
189
click to vote
LPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
181
click to vote
PPSWR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
193
click to vote
DEON
2010
Springer
15 years 11 months ago
2010
Springer
The aim of this paper is to strengthen the point made by Horty about the relationship between reason holism and moral particularism. In the literature prima facie obligations have ...