635 search results - page 31 / 127 » Reasoning About Quantum Knowledge |
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
The Family History Knowledge Base (FHKB) was presented at OWLED in 2008. The FHKB uses a rich object property hierarchy, including many OWL 2 features, to derive many entailments o...
147
Voted
LPNMR
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Multi-context systems are a formalism to interlink decentralized and heterogeneous knowledge based systems (contexts), which interact via (possibly nonmonotonic) bridge r...
83
Voted
CORR
2006
Springer
15 years 14 days ago
2006
Springer
The science of complexity is based on a new way of thinking that stands in sharp contrast to the philosophy underlying Newtonian science, which is based on reductionism, determinis...
100
Voted
CADE
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
127
Voted
DLOG
2009
14 years 10 months ago
2009
Abstract. Model-based most specific concepts are a non-standard reasoning service in Description Logics. They have turned out to be useful in knowledge base completion for ontologi...