Sciweavers

823 search results - page 34 / 165
» A taxonomy of argumentation models used for knowledge repres...
Sort
View
SIGLEX
1991
15 years 5 months ago
Lexicon, Ontology, and Text Meaning
A computationally relevant theory of lexical semantics must take into consideration both the form and the content of three different static knowledge sources -- the lexicon, the o...
Boyan A. Onyshkevych, Sergei Nirenburg
ASIACRYPT
2004
Springer
15 years 7 months ago
Improved Setup Assumptions for 3-Round Resettable Zero Knowledge
In the bare public-key model, introduced by Canetti et al. [STOC 2000], it is only assumed that each verifier deposits during a setup phase a public key in a file accessible by a...
Giovanni Di Crescenzo, Giuseppe Persiano, Ivan Vis...
WOA
2007
15 years 2 months ago
Declarative representation of curricula models: an LTL- and UML-based approach
Abstract—In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical lang...
Matteo Baldoni, Cristina Baroglio, Giuseppe Berio,...
ICDE
2007
IEEE
130views Database» more  ICDE 2007»
16 years 2 months ago
Semantic Data Management: Towards Querying Data with their Meaning
Relational database management systems are constantly being extended and augmented to accommodate data in different domains. Recently, with the increasing use of ontology in vario...
Lipyeow Lim, Haixun Wang, Min Wang
DLOG
2004
15 years 2 months ago
Using Non-Primitive Concept Definitions for Improving DL-based Knowledge Bases
Medical Terminological Knowledge Bases contain a large number of primitive concept definitions. This is due to the large number of natural kinds that are represented, and due to t...
Ronald Cornet, Ameen Abu-Hanna