8486 search results - page 146 / 1698 » Ordered Enumeration Method |
121
click to vote
CSL
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. In classical approaches to knowledge representation, reasoners are assumed to derive all the logical consequences of their knowledge base. As a result, reasoning in the ļ...
110
Voted
BIBE
2004
IEEE
15 years 4 months ago
2004
IEEE
Phylogenetic reconstruction from gene-order data has attracted attention from both biologists and computer scientists over the last few years. So far, our software suite GRAPPA is...
107
Voted
AAAI
2008
15 years 3 months ago
2008
Unifying first-order logic and probability is a long-standing goal of AI, and in recent years many representations combining aspects of the two have been proposed. However, infere...
109
Voted
AIPS
2007
15 years 3 months ago
2007
Most traditional approaches to probabilistic planning in relationally speciļ¬ed MDPs rely on grounding the problem w.r.t. speciļ¬c domain instantiations, thereby incurring a com...
118
click to vote
AISC
2008
Springer
15 years 2 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...