Sciweavers

4231 search results - page 327 / 847
» Using Language More Responsibly
Sort
View
FLAIRS
2006
15 years 8 months ago
Uncertainty Reasoning in Description Logics: A Generic Approach
Description Logics (DL) are gaining more popularity as the foundation of ontology languages for the Semantic Web. As most information in real life is imperfect, there has been an ...
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
SLP
1994
121views more  SLP 1994»
15 years 8 months ago
CLP(Intervals) Revisited
The design and implementation of constraint logic programming (CLP) languages over intervals is revisited. Instead of decomposing complex constraints in terms of simple primitive ...
Frédéric Benhamou, David A. McAllest...
ENTCS
2007
109views more  ENTCS 2007»
15 years 6 months ago
Free Theorems and Runtime Type Representations
’s abstraction theorem [21], often referred to as the parametricity theorem, can be used to derive properties about functional programs solely from their types. Unfortunately, i...
Dimitrios Vytiniotis, Stephanie Weirich
TCBB
2010
89views more  TCBB 2010»
15 years 5 months ago
Model Composition for Macromolecular Regulatory Networks
—Models of regulatory networks become more difficult to construct and understand as they grow in size and complexity. Large models are usually built up from smaller models, repre...
Ranjit Randhawa, Clifford A. Shaffer, John J. Tyso...
TAL
2010
Springer
15 years 1 months ago
A Formal Ontology for a Computational Approach of Time and Aspect
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...
Aurelien Arena, Jean-Pierre Desclés