6355 search results - page 1204 / 1271 » From Logic to Games |
164
click to vote
ML
2007
ACM
15 years 5 months ago
2007
ACM
We develop new algorithms for learning monadic node selection queries in unranked trees from annotated examples, and apply them to visually interactive Web information extraction. ...
133
click to vote
MLQ
2007
15 years 5 months ago
2007
We define two notions for intuitionistic predicate logic: that of a submodel of a Kripke model, and that of a universal sentence. We then prove a corresponding preservation theor...
252
click to vote
JAPLL
2008
15 years 5 months ago
2008
Procedural norms are instrumental norms addressed to agents playing a role in the normative system, for example to motivate these role playing agents to recognize violations or to...
161
click to vote
PUC
2008
15 years 5 months ago
2008
Although many recent systems have been built to support Information Capture and Retrieval (ICR), these have not generally been successful. This paper presents studies that evaluate...
181
click to vote
ICDT
2010
ACM
15 years 5 months ago
2010
ACM
Schema mapping composition is a fundamental operation in schema management and data exchange. The mapping composition problem has been extensively studied for a number of mapping ...