3440 search results - page 118 / 688 » Logics For Context-Free Languages |
150
click to vote
TBILLC
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We introduce an inquisitive semantics for a language of propositional logic, where the interpretation of disjunction is the source of inquisitiveness. Indicative conditio...
169
click to vote
EACL
2003
ACL Anthology
15 years 8 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...
166
click to vote
IJCAI
2001
15 years 8 months ago
2001
Combinatorial auctions provide a valuable mechanism for the allocation of goods in settings where buyer valuations exhibit complex structure with respect to substitutabilityand co...
209
click to vote
FMCO
2007
Springer
16 years 1 months ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
171
click to vote
PODS
2000
ACM
15 years 11 months ago
2000
ACM
We consider spatial databases in the plane that can be defined by polynomial constraint formulas. Motivated by applications in geographic information systems, we investigate line...