3954 search results - page 492 / 791 » Image-based Model Completion |
157
click to vote
AAAI
2006
15 years 5 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
138
click to vote
AIML
2006
15 years 5 months ago
2006
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complet...
119
click to vote
ECIS
2001
15 years 5 months ago
2001
The IT Plan is generally seen as a cornerstone of the IS/IT presence in an organisation. Researchers have outlined various approaches to IT planning and many have suggested catego...
157
click to vote
IJCAI
2001
15 years 5 months ago
2001
R-max is a very simple model-based reinforcement learning algorithm which can attain near-optimal average reward in polynomial time. In R-max, the agent always maintains a complet...
NETWORKING
2004
15 years 5 months ago
2004
While network-level multicast has tremendous potential for increasing the efficiency of group-oriented applications, the adoption of network-level multicast has been tepid at best....