1737 search results - page 47 / 348 » On Interpolation in Existence Logics |
167
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools ...
176
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
Traditionally, a logic program is built up to reason about atomic first-order formulas. The key idea of parametrized logic programming is that, instead of atomic first-order form...
162
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
164
click to vote
VTS
2002
IEEE
15 years 11 months ago
2002
IEEE
For deep sub-micron system-on-chips (SoC), interconnects are critical determinants of performance, reliability and power. Buses and long interconnects being susceptible to crossta...
137
click to vote
ISCI
2007
15 years 6 months ago
2007
act 11 Recommender systems anticipate users’ needs by suggesting items that are likely to interest them. Most existing systems 12 employ collaborative filtering (CF) techniques,...