2303 search results - page 158 / 461 » On the logic of argumentation theory |
187
click to vote
ICANN
2010
Springer
15 years 7 months ago
2010
Springer
It has been one of the great challenges of neuro-symbolic integration to represent recursive logic programs using neural networks of finite size. In this paper, we propose to imple...
159
click to vote
ECCC
2007
15 years 6 months ago
2007
Algorithmic meta theorems are algorithmic results that apply to whole families of combinatorial problems, instead of just specific problems. These families are usually defined i...
139
click to vote
ESWS
2007
Springer
16 years 20 days ago
2007
Springer
In this paper we propose an approach to semantic matchmaking that exploits various knowledge representation technologies to find most promising partners in peer-to-peer e-marketpl...
405
click to vote
Book
"Spatial structures and spatial reasoning are essential to perception and cognition. Much
day-to-day practical information is about what happens at certain spatial locations....
153
click to vote
WSFM
2007
Springer
16 years 18 days ago
2007
Springer
A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the sha...