1529 search results - page 249 / 306 » On the Construction of Ontologies based on Natural Language ... |
97
Voted
BSL
2006
15 years 17 days ago
2006
Schemata have played important roles in logic since Aristotle's Prior Analytics. The syllogistic figures and moods can be taken to be argument schemata as can the rules of the...
121
Voted
ASE
2005
15 years 13 days ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
106
click to vote
TCC
2009
Springer
16 years 1 months ago
2009
Springer
Verifiable random functions (VRFs), introduced by Micali, Rabin and Vadhan, are pseudorandom functions in which the owner of the seed produces a public-key that constitutes a commi...
103
click to vote
SIGMOD
2003
ACM
16 years 20 days ago
2003
ACM
We propose a framework for integrating data from multiple relational sources into an XML document that both conforms to a given DTD and satisfies predefined XML constraints. The f...
81
Voted
SEMWEB
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We introduce a framework, based on logic programming, for preferential reasoning with agents on the Semantic Web. Initially, we encode the knowledge of an agent as a logi...