4814 search results - page 141 / 963 » Combining abstract interpreters |
211
click to vote
NLDB
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. A large amount of biological knowledge today is only available from full-text research papers. Since neither manual database curators nor users can keep up with the rapid...
154
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...
168
click to vote
ITS
2004
Springer
2004
Springer
Combining Heuristics and Formal Methods in a Tool for Supporting Simulation-Based Discovery Learning
15 years 11 months ago
Abstract. This paper describes the design of a tool to support learners in simulation-based discovery learning environments. The design redesigns and extents a previous tool to ove...
180
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
conflicts between goals and plans in Dung’s abstract argumentation framework. Argumentation theory has traditionally been used to deal with conflicts between defaults and beli...
172
click to vote
AIMS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. A central issue in autonomic management is how to coordinate several autonomic management processes, which is assumed to require significant knowledge exchange. This stu...