1137 search results - page 125 / 228 » Logic Programming for Knowledge Representation |
154
click to vote
ENTCS
2002
15 years 2 months ago
2002
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...
129
click to vote
IJCAI
2003
15 years 4 months ago
2003
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...
158
click to vote
DLOG
2011
14 years 6 months ago
2011
A combination of open and closed-world reasoning (usually called local closed world reasoning) is a desirable capability of knowledge representation formalisms for Semantic Web app...
126
click to vote
ENTCS
2007
15 years 3 months ago
2007
Many modern program verifiers translate the program to be verified and its specification into a simple intermediate representation and then compute verification conditions on ...
129
click to vote
IJCAI
2007
15 years 4 months ago
2007
A key problem in reinforcement learning is finding a good balance between the need to explore the environment and the need to gain rewards by exploiting existing knowledge. Much ...