130 search results - page 6 / 26 » On the Complexity of Linking Deductive and Abstract Argument... |
DDEP
2000
Springer
14 years 27 days ago
2000
Springer
There are parallels between the construction of programs and the construction of hypertexts, and in ar between the abstractions available to the application programmer and those a...
BMCBI
2007
13 years 8 months ago
2007
nd: A key abstraction in representing proteomics knowledge is the notion of unique identifiers for individual entities (e.g. proteins) and the massive graph of relationships among...
DANCE
2002
IEEE
14 years 1 months ago
2002
IEEE
Active applications can add value to communication. Yet it involves sophisticated domain knowledge and complex development process. In this paper we discuss a framework for the co...
OTM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Nowadays, ontology is applied as an integral part of many applications in several domains, especially in the world of law. The ontology based judicial support system is b...
ENTCS
2000
13 years 8 months ago
2000
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...