8228 search results - page 137 / 1646 » Structural Logical Relations |
108
click to vote
ACL
1998
15 years 3 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...
113
click to vote
ECAI
1990
Springer
15 years 6 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...
148
Voted
CORR
2004
Springer
15 years 2 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
15 years 2 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...
169
Voted
NAR
2011
14 years 9 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...