2585 search results - page 186 / 517 » Automating Coherent Logic |
146
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...
254
click to vote
DLOG
2011
14 years 10 months ago
2011
Evolution of Knowledge Bases expressed in Description Logics (DLs) proved its importance. Most studies on evolution in DLs have focused on modelbased approaches to evolution semant...
139
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
This paper describes a family of novel dynamically reconfigurable logic gates based on double-gate carbon nanotube field-effect transistors which demonstrate p-type or n-type switc...
155
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
One of the keys to the success of the Thousands of Problems for Theorem Provers (TPTP) problem library and related infrastructure is the consistent use of the TPTP language. This p...
146
click to vote
ECSQARU
2007
Springer
16 years 20 days ago
2007
Springer
A sufficient condition is given for a probability function in Inductive Logic (with relations of all arities) satisfying spectrum exchangeability to additionally satisfy Language ...