Sciweavers

441 search results - page 35 / 89
» Possibility theory and statistical reasoning
Sort
View
KR
1992
Springer
13 years 11 months ago
Embedding Defaults into Terminological Knowledge Representation Formalisms
Abstract, We consider the problem of integrating Reiter's default logic into terminological representation systems. It turns out that such an integration is less straightforwa...
Franz Baader, Bernhard Hollunder
AINA
2009
IEEE
14 years 2 months ago
Quantitative Evaluation of Software Quality Metrics in Open-Source Projects
The validation of software quality metrics lacks statistical significance. One reason for this is that the data collection requires quite some effort. To help solve this problem,...
Henrike Barkmann, Rüdiger Lincke, Welf Lö...
AUTOMATICA
2005
82views more  AUTOMATICA 2005»
13 years 7 months ago
From experiment design to closed-loop control
The links between identification and control are examined. The main trends in this research area are summarized, with particular focus on the design of low complexity controllers ...
Håkan Hjalmarsson
POPL
2012
ACM
12 years 3 months ago
Towards a program logic for JavaScript
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...
Philippa Gardner, Sergio Maffeis, Gareth David Smi...
LPNMR
2001
Springer
14 years 4 days ago
Multi-dimensional Dynamic Knowledge Representation
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...
João Alexandre Leite, José Jú...