3994 search results - page 147 / 799 » A Linear Logical Framework |
148
click to vote
DLOG
2004
15 years 5 months ago
2004
Several applications require the matching of user profiles, e.g., job recruitment or dating systems. In this paper we present a logical framework for specifying user profiles that...
107
click to vote
ENTCS
2008
15 years 4 months ago
2008
Rewrite theories and their associated Kripke structures constitute a flexible and executable framework in which a wide range of systems can be studied. We present a general notion...
125
click to vote
ECSQARU
2009
Springer
15 years 11 months ago
2009
Springer
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possi...
154
click to vote
RR
2009
Springer
15 years 11 months ago
2009
Springer
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
156
click to vote
WILF
2007
Springer
15 years 10 months ago
2007
Springer
The conceptual formalism supported by an ontology is not sufficient for handling vague information that is commonly found in many application domains. We describe how to introduce...