1598 search results - page 28 / 320 » A Unified Computation Model for Functional and Logic Program... |
182
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...
150
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
The Semantic Web drives towards the use of the Web for interacting with logically interconnected data. Through knowledge models such as Resource Description Framework (RDF), the S...
159
click to vote
JAIR
2008
15 years 4 months ago
2008
Decision-theoretic planning is a popular approach to sequential decision making problems, because it treats uncertainty in sensing and acting in a principled way. In single-agent ...
127
click to vote
PPDP
2009
Springer
15 years 10 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
118
click to vote
COOPIS
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we present an implementation of a constraint solving module, CLP(Flex), for dealing with unification in an equality theory for terms with flexible arity function symb...