112 search results - page 9 / 23 » Handling Preprocessor-Conditioned Declarations |
CONSTRAINTS
2010
13 years 5 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...
ISPAN
2009
IEEE
14 years 2 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...
ATAL
2007
Springer
14 years 1 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...
SEMWEB
2007
Springer
14 years 1 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...
CLIMA
2004
13 years 9 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)...