2395 search results - page 179 / 479 » Reasoning in Semantic Wikis |
162
click to vote
AUSAI
2005
Springer
16 years 6 days ago
2005
Springer
In this paper we present several efficient computational procedures for defeasible reasoning while the plausible and well-defined semantics, viz. preferred models and stable mode...
172
click to vote
LICS
1989
IEEE
15 years 10 months ago
1989
IEEE
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...
141
click to vote
DEON
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. By making use of modal logic techniques, the paper disentangles two semantically different readings of statements of the type X counts as Y in context C (the classificato...
200
Voted
DLOG
2008
15 years 9 months ago
2008
A recurring problem in conceptual modelling and ontology development is the representation of part-whole relations, with a requirement to be able to distinguish between essential a...
171
click to vote
AAAI
1990
15 years 8 months ago
1990
In this paper we present a purely semantic view on non-monotonic reasoning. We follow the direction pointed in [16] and claim that any non-monotonic logic can be viewed as a resul...