1486 search results - page 89 / 298 » A Logically Saturated Extension of |
188
click to vote
META
1992
15 years 9 months ago
1992
A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to thos...
156
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
156
click to vote
AI
2001
Springer
15 years 10 months ago
2001
Springer
The situation calculus is a logical formalism that has been extensively developed for planning. We apply the formalism in a complex multi-agent domain, modelled on the game of Clue...
178
click to vote
ICCD
1999
IEEE
15 years 10 months ago
1999
IEEE
Continuing improvements in semiconductor density are enabling new classes of System-on-a-Chip architectures that combine extensive processing logic and high-density memory. Many o...
153
click to vote
MTDT
1999
IEEE
15 years 10 months ago
1999
IEEE
Continuing improvements in semiconductor fabrication density are enabling new classes of System-on-aChip architectures that combine extensive processing logic and high-density mem...