2599 search results - page 250 / 520 » An Operational Semantics for Knowledge Bases |
148
click to vote
IJCAI
1989
15 years 7 months ago
1989
Platypus is a constraint-based reasoning engine for synthesis, diagnosis and other recognition tasks. While its target applications are similar to those of many rule-based expert ...
165
click to vote
PVLDB
2010
15 years 5 months ago
2010
Large data resources are ubiquitous in science and business. For these domains, an intuitive view on the data is essential to fully exploit the hidden knowledge. Often, these data...
152
click to vote
PPDP
2005
Springer
16 years 20 hour ago
2005
Springer
Lolli is a logic programming language based on the asynchronous propositions of intuitionistic linear logic. It uses a backward chaining, backtracking operational semantics. In th...
185
click to vote
KCAP
2003
ACM
15 years 11 months ago
2003
ACM
Our research aims at interactive document viewers that can select and highlight relevant text passages on demand. Another related objective is the generation of topic-specific su...
147
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
: Earth Observations (EO) collect various characteristics of the objective environment using sensors which often have different measuring, spatial and temporal coverage. Making ind...