Sciweavers

1573 search results - page 199 / 315
» Signs and Formal Concepts
Sort
View
ISI
2004
Springer
15 years 7 months ago
Interactive Query Languages for Intelligence Tasks
Counterterrorism and intelligence tasks rely on the efficient collection, analysis and dissemination of information. While information systems play a key role in such tasks, databa...
Antonio Badia
117
Voted
LPNMR
2004
Springer
15 years 7 months ago
Logic Programs With Monotone Cardinality Atoms
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...
V. Wiktor Marek, Ilkka Niemelä, Miroslaw Trus...
NMR
2004
Springer
15 years 7 months ago
The structural model interpretation of the NESS test
Within the law, the traditional test for attributing causal responsibility is the counterfactual “but-for” test, which asks whether the injury complained of would have occurre...
Richard A. Baldwin, Eric Neufeld
ROCAI
2004
Springer
15 years 7 months ago
Learning Interestingness Measures in Terminology Extraction. A ROC-based approach
Abstract. In the field of Text Mining, a key phase in data preparation is concerned with the extraction of terms, i.e. collocation of words attached to specific concepts (e.g. Ph...
Mathieu Roche, Jérôme Azé, Yve...
SEMWEB
2004
Springer
15 years 7 months ago
A Model Theoretic Semantics for Ontology Versioning
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
Jeff Heflin, Zhengxiang Pan