1194 search results - page 4 / 239 » A Language for Implementing Arbitrary Logics |
SMALLTALK
2007
Springer
14 years 4 months ago
2007
Springer
IFIP
1994
Springer
14 years 2 months ago
1994
Springer
FSTTCS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We investigate streaming evaluation of filters on XML documents, evaluated both at the root node and at an arbitrary node. Motivated by applications in protocol processin...
EACL
2003
ACL Anthology
13 years 11 months ago
2003
ACL Anthology
Finite structure query (fsq for short) is a tool for querying syntactically annotated corpora. fsq employs a query language of high expressive power, namely full first order logi...
IPPS
1997
IEEE
14 years 2 months ago
1997
IEEE
Naive parallel implementation of nondeterministic systems (such as a theorem proving system) and languages (such as a logic, constraint, or a concurrent constraint language)can re...