1137 search results - page 125 / 228 » Knowledge Representation with Logic Programs |
133
click to vote
DKE
2007
15 years 2 months ago
2007
ct 9 The benefits of modular representations are well known from many areas of computer science. While in software engi10 neering modularization is mainly a vehicle for supporting...
148
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...
126
Voted
IJCAI
2003
15 years 3 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...
153
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...
121
click to vote
ENTCS
2007
15 years 2 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 ...