Sciweavers

2611 search results - page 304 / 523
» A Logic for Concepts and Similarity
Sort
View
SIGIR
2008
ACM
15 years 6 months ago
Geometric and quantum methods for information retrieval
This paper reviews the recent developments in applying geometric and quantum mechanics methods for information retrieval and natural language processing. It discusses the interest...
Yaoyong Li, Hamish Cunningham
IGPL
2010
110views more  IGPL 2010»
15 years 5 months ago
Capturing dynamic conceptual frames
: The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic ...
Rafal Urbaniak
LOGCOM
2010
96views more  LOGCOM 2010»
15 years 5 months ago
The Complexity of the Warranted Formula Problem in Propositional Argumentation
The notion of warrant or justification is one of the central concepts in formal models of argumentation. The dialectical definition of warrant is expressed in terms of recursive...
Robin Hirsch, Nikos Gorogiannis
SYNTHESE
2010
97views more  SYNTHESE 2010»
15 years 5 months ago
The analytic-synthetic distinction and the classical model of science: Kant, Bolzano and Frege
This paper concentrates on some aspects of the history of the analytic-synthetic distinction from Kant to Bolzano and Frege. This history evinces considerable continuity but also ...
Willem R. de Jong
VIROLOGY
2010
113views more  VIROLOGY 2010»
15 years 5 months ago
A general definition of malware
We propose a general, formal definition of the concept of malware (malicious software) as a single sentence in the language of a certain modal logic. Our definition al thanks to it...
Simon Kramer, Julian C. Bradfield