1413 search results - page 114 / 283 » ideas 2007 |
143
click to vote
KESAMSTA
2007
Springer
15 years 10 months ago
2007
Springer
Web is the boundless source of information and no one is able to process the vast amount of new documents published on the web every day, even with filtering out the documents the ...
138
click to vote
KI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[D...
146
click to vote
LOPSTR
2007
Springer
15 years 10 months ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
137
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...
156
click to vote
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...