2705 search results - page 181 / 541 » Formal Ontology for Subject |
KES
2004
Springer
14 years 1 months ago
2004
Springer
Current models of the immune system have proven capable of reproducing the dynamics of the immune system response. However, they lack of formalisms (including semantics) to underst...
ATAL
2007
Springer
14 years 2 days ago
2007
Springer
We present an argumentation-based formalism that an agent could use for constructing plans. We will analyze the interaction of arguments and actions when they are combined to cons...
ATAL
2010
Springer
13 years 9 months ago
2010
Springer
The paper applies modal logic to formalize fragments of argumentation theory. Such formalization allows to import, for free, a wealth of new notions (e.g., argument equivalence), ...
ER
2007
Springer
14 years 2 months ago
2007
Springer
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...
BMCBI
2010
13 years 8 months ago
2010
Background: With the continuously increasing demands on knowledge- and data-management that databases have to meet, ontologies and the theories of granularity they use become more...