9719 search results - page 156 / 1944 » Answer Set Optimization |
69
Voted
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
The PLATYPUS approach offers a generic platform for distributed answer set solving, accommodating a variety of different architectures for distributing the search for answer sets a...
105
Voted
AAAI
2004
15 years 2 months ago
2004
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...
102
Voted
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
Stable models of logic programs have been studied by many researchers, mainly because of their role in the foundations of answer set programming. This is a review of some of the de...
216
Voted
LPNMR
2011
Springer
14 years 3 months ago
2011
Springer
Communicating answer set programming is a framework to represent and reason about the combined knowledge of multiple agents using the idea of stable models. The semantics and expre...
117
Voted
OTM
2007
Springer
15 years 7 months ago
2007
Springer
Practical scalability of Description Logic (DL) reasoning is an important premise for the adoption of OWL in a real-world setting. Many highly efficient optimizations for the DL ta...