2432 search results - page 130 / 487 » Cryptographic logical relations |
90
Voted
COMBINATORICS
2002
15 years 15 days ago
2002
A map is a graph equipped with a circular order of edges around each vertex. These circular orders represent local planar embeddings. The genus of a map is the minimal genus of an...
125
click to vote
SEMWEB
2010
Springer
14 years 10 months ago
2010
Springer
RDF(S) and OWL 2 currently support only static ontologies. In practice, however, the truth of statements often changes with time, and Semantic Web applications often need to repres...
94
Voted
JMLR
2010
14 years 7 months ago
2010
The paper analyzes peculiarities of preprocessing of learning data represented in object data bases constituted by multiple relational tables with ontology on top of it. Exactly s...
110
click to vote
RULEML
2010
Springer
14 years 11 months ago
2010
Springer
We propose a systematic investigation on how to modify a preference relation in a defeasible logic theory to change the conclusions of the theory itself. We argue that the approach...
130
click to vote
WOLLIC
2009
Springer
15 years 7 months ago
2009
Springer
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...