216 search results - page 11 / 44 » Automated Translation of Semantic Relationships |
BMCBI
2007
14 years 9 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...
OTM
2005
Springer
15 years 2 months ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
ACL
1998
14 years 10 months ago
1998
This paper describes a method for recognizing coherence relations between clauses which are linked by te in Japanese -- a translational equivalent of English and. We consider that...
AMAI
2008
Springer
14 years 9 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
LPNMR
2001
Springer
15 years 1 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...