16616 search results - page 345 / 3324 » Extending Extended Vacuity |
209
click to vote
JAPLL
2007
15 years 6 months ago
2007
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...
201
click to vote
TSP
2008
15 years 6 months ago
2008
The two-band discrete wavelet transform (DWT) provides an octave-band analysis in the frequency domain, but this might not be "optimal" for a given signal. The discrete w...
121
click to vote
AIL
2002
15 years 6 months ago
2002
er is an extended abstract of an article submitted to Artificial Intelligence and Law 26-10-00. I thank Trevor Bench-Capon and Giovanni Sartor for their comments on earlier version...
185
click to vote
AML
2002
15 years 6 months ago
2002
Abstract We extend Barbanera and Berardi's symmetric lambda calculus [2] to second order classical propositional logic and prove its strong normalization.
146
click to vote
IJON
2002
15 years 6 months ago
2002
We show how our previously described system model of the primate neocortex can be extended to allow the modeling of problem-solving behaviors. Speci