8486 search results - page 146 / 1698 » Ordered Enumeration Method |
CSL
2001
Springer
14 years 2 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 ļ...
BIBE
2004
IEEE
14 years 2 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...
AAAI
2008
14 years 19 days 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...
AIPS
2007
14 years 19 days 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...
AISC
2008
Springer
14 years 10 days 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...