8228 search results - page 137 / 1646 » Structural Logical Relations |
ACL
1998
13 years 11 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...
ECAI
1990
Springer
14 years 2 months ago
1990
Springer
Modal logics based on Kripke style semantics are the prominent formalismin AI for modeling beliefs. Kripke semantics involve a collection of possible worlds and a relation among t...
CORR
2004
Springer
13 years 10 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
NAR
2011
13 years 5 months ago
2011
The Protein Data Bank (PDB) is the world-wide repository of macromolecular structure information. We present a series of databases that run parallel to the PDB. Each database hold...