882 search results - page 133 / 177 » A Taste of Rewrite Systems |
107
Voted
KI
2007
Springer
15 years 12 days ago
2007
Springer
Various forms of reasoning, the profusion of knowledge, the gap between neuro-inspired approaches and conceptual representations, the problem of inconsistent data input, and the ma...
99
Voted
PVLDB
2008
15 years 9 hour ago
2008
XTCcmp, the XQuery Compiler of a native XML database system, extends Starburst's well-known Query Graph Model to serve as an internal representation and basis for query restr...
108
Voted
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Grounding is the task of reducing a first order formula to ground formula that is equivalent on a given universe, and is important in many kinds of problem solving and re...
96
Voted
CORR
2009
Springer
14 years 10 months ago
2009
Springer
The minimal deterministic finite automaton is generally used to determine regular languages equality. Using Brzozowski's notion of derivative, Antimirov and Mosses proposed a...
107
Voted
AAAI
2011
14 years 16 days ago
2011
This paper extends existing plan recognition research to handle plans containing loops. We supply an encoding of plans with loops for recognition, based on techniques used to pars...