Sciweavers

3444 search results - page 132 / 689
» A Theory of Object-Oriented Design
Sort
View
JAIR
2012
254views Hardware» more  JAIR 2012»
13 years 8 months ago
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at ...
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos...
IWPC
2002
IEEE
15 years 11 months ago
Theory-based Analysis of Cognitive Support in Software Comprehension Tools
Past research on software comprehension tools has produced a wealth of lessons in building good tools. However our explanations of these tools tends to be weakly grounded in exist...
Andrew Walenstein
ICAIL
2003
ACM
15 years 11 months ago
Developing Legal Knowledge Based Systems Through Theory Construction
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
Alison Chorley, Trevor J. M. Bench-Capon
KR
2010
Springer
15 years 10 months ago
Towards a Logic of Feature-Based Semantic Science Theories
The aim of semantic science is to allow for the publications of ontologies, observation data, and hypotheses/theories. Hypotheses make predictions on data and on new cases. Those ...
David Poole
INTERACT
2003
15 years 7 months ago
Layering a Minimal Interface
: This paper reports on a software tutorial designed according to minimalist principles. The design extends minimalism beyond paper-based instructions to computer-based interface, ...
Frank Vetere, Steve Howard