2308 search results - page 288 / 462 » Representing Symbolic Reasoning |
159
click to vote
LICS
2008
IEEE
16 years 26 days ago
2008
IEEE
This paper is an investigation of the matching problem for term equations s = t where s contains context variables, and both terms s and t are given using some kind of compressed ...
187
click to vote
LICS
2008
IEEE
16 years 26 days ago
2008
IEEE
We present a syntax for MALL (multiplicative additive linear logic without units) proof nets which refines Girard’s one. It is also based on the use of monomial weights for ide...
170
click to vote
ADBIS
2008
Springer
16 years 25 days ago
2008
Springer
A similarity join correlating fragments in XML documents, which are similar in structure and content, can be used as the core algorithm to support data cleaning and data integratio...
155
click to vote
COMPSAC
2007
IEEE
16 years 24 days ago
2007
IEEE
Building an adaptive software system that can cope with changing requirements and changing environments presents four major challenges. These are (1) to receive, represent and rea...
153
click to vote
IAT
2007
IEEE
16 years 24 days ago
2007
IEEE
Agent training techniques study methods to embed empirical, inductive knowledge representations into intelligent agents, in dynamic, recursive or semi-automated ways, expressed in...