64 search results - page 10 / 13 » On the Proof Complexity of Deep Inference |
LPAR
2010
Springer
14 years 11 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...
123
click to vote
AI
2008
Springer
14 years 11 months ago
2008
Springer
Although classical first-order logic is the de facto standard logical foundation for artificial intelligence, the lack of a built-in, semantically grounded capability for reasonin...
103
click to vote
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is becoming much more complex. S...
113
click to vote
FUIN
2006
15 years 1 months ago
2006
Traditional Machine Learning approaches based on single inference mechanisms have reached their limits. This causes the need for a framework that integrates approaches based on aba...
125
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Domains are the basic functional units of proteins. It is believed that protein-protein interactions are realized through domain interactions. Revealing multi-domain c...