112 search results - page 9 / 23 » Handling Preprocessor-Conditioned Declarations |
149
click to vote
CONSTRAINTS
2010
15 years 1 months ago
2010
MiniZinc arose as a response to the extended discussion at CP2006 of the need for a standard modelling language for CP. This is a challenging problem, and we believe MiniZinc makes...
168
click to vote
ISPAN
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Querying non-conventional data sources is recognized as a major issue in new environments and applications such as those occurring in pervasive computing. A key issue is...
121
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
119
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Current information retrieval (IR) approaches do not formally capture the explicit meaning of a keyword query but provide a comfortable way for the user to specify information need...
165
click to vote
CLIMA
2004
15 years 5 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...