Sciweavers

224 search results - page 16 / 45
» A Formal Treatment of Context-Awareness
Sort
View
BMCBI
2010
104views more  BMCBI 2010»
14 years 12 months ago
Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
Anil Sorathiya, Andrea Bracciali, Pietro Liò...
LICS
1987
IEEE
15 years 3 months ago
A Framework for Defining Logics
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...
Robert Harper, Furio Honsell, Gordon D. Plotkin
COLING
1990
15 years 28 days ago
Japanese Sentence Analysis as Argumentation
This paper proposes that sentence analysis should be treated as defeasible reasoning, and presents such a treatment lbr Japanese sentence analyses using an argumentation system by...
Akira Shimazu
133
Voted
ICCS
2005
Springer
15 years 5 months ago
Morphisms in Context
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zh...
COLING
2002
14 years 11 months ago
A Quantitative Model of Word Order and Movement in English, Dutch and German Complement Constructions
We present a quantitative model of word order and movement constraints that enables a simple and uniform treatment of a seemingly heterogeneous collection of linear order phenomena...
Karin Harbusch, Gerard Kempen