775 search results - page 4 / 155 » First-order probabilistic inference |
121
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged Ontology ? SUMO), and methods for making SUMO suita...
133
click to vote
EGOV
2010
Springer
15 years 4 months ago
2010
Springer
Within a framework for enriched on-line discussion forums for e-government policy-making, pro and con statements for positions are input, structurally related, then logically repre...
137
click to vote
CADE
2003
Springer
16 years 3 months ago
2003
Springer
In this paper we present a translation principle, called the axiomatic translation, for reducing propositional modal logics with background theories, including triangular propertie...
117
Voted
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...
122
click to vote
TLCA
2007
Springer
15 years 9 months ago
2007
Springer
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...