3319 search results - page 152 / 664 » Subshifts, Languages and Logic |
ECAI
1992
Springer
15 years 4 months ago
1992
Springer
We introduce a deductive planning system intended to supply intelligent help systems. It consists of a deductive planner and a plan reuse component, providing planning from rst as...
110
click to vote
NAACL
2007
15 years 2 months ago
2007
Previous work on discourse parsing has mostly relied on surface syntactic and lexical features; the use of semantics is limited to shallow semantics. The goal of this thesis is to...
95
Voted
ECEASST
2008
15 years 26 days ago
2008
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...
102
click to vote
JCS
2006
15 years 22 days ago
2006
Abstract-- SPKI/SDSI is a standard for issuing authorization and name certificates. SPKI/SDSI can be used to implement a Trust Management System, where the policy for resource acce...
194
Voted
ICDT
2009
ACM
16 years 1 months ago
2009
ACM
Marx and de Rijke have shown that the navigational core of the w3c XML query language XPath is not first-order complete ? that is it cannot express every query definable in firsto...