3119 search results - page 533 / 624 » General Default Logic |
112
Voted
IANDC
2006
15 years 25 days ago
2006
This paper studies the complexity of learning classes of expressions in propositional logic from equivalence queries and membership queries. In particular, we focus on bounding th...
98
Voted
IJDAR
2006
15 years 24 days ago
2006
Tables are a ubiquitous form of communication. While everyone seems to know what a table is, a precise, analytical definition of "tabularity" remains elusive because some...
101
Voted
JIIS
2008
15 years 24 days ago
2008
An ever greater range of applications call for learning from sequences. Grammar induction is one prominent tool for sequence learning, it is therefore important to know its proper...
155
Voted
JODS
2008
15 years 24 days ago
2008
Information integration and retrieval are useful tasks in many information systems. In these systems, it is far from an easy task to directly integrate information from natural lan...
113
click to vote
JUCS
2008
15 years 23 days ago
2008
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...