506 search results - page 29 / 102 » Constructor-based observational logic |
113
click to vote
KR
2010
Springer
15 years 5 months ago
2010
Springer
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know...
101
click to vote
DLOG
2008
15 years 2 months ago
2008
Representing probabilistic knowledge in combination with a description logic has been a research topic for quite some time. In [1] one of such combinations is introduced. We presen...
85
Voted
JAPLL
2007
15 years 14 days ago
2007
Employing a logic program approach, this paper focuses on applying preferential reasoning to theory revision, both by means of preferences among existing theory rules, and by means...
102
click to vote
DRUMS
1998
Springer
15 years 4 months ago
1998
Springer
In this paper logical techniques developed to formalise the analysis of multi-interpretable information, in particular belief set operators and selection operators, are applied to...
118
click to vote
ICTAC
2009
Springer
14 years 10 months ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...