Sciweavers

171 search results - page 5 / 35
» Logical omniscience and common knowledge: WHAT do we know an...
Sort
View
SYNTHESE
2011
87views more  SYNTHESE 2011»
13 years 2 months ago
What will they say? - Public Announcement Games
Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, thes...
Thomas Ågotnes, Hans P. van Ditmarsch
HICSS
2005
IEEE
187views Biometrics» more  HICSS 2005»
14 years 1 months ago
Change and Resistance Help for the Practitioner of Change
Change and the resistance to change has been a common occurrence probably since before recorded time. It is normal to resist that which may bring unfamiliarity and the unknown int...
Richard W. Egan, Jerry Fjermestad
WCRE
2002
IEEE
14 years 13 days ago
A Disturbing Result on the Knowledge Used during Software Maintenance
As part of a long term project aiming at empowering software maintainers with knowledge based tools we conducted an empirical study on the knowledge they use when doing maintenanc...
Maria Fernanda N. Ramal, Ricardo de Moura Meneses,...
SEMWEB
2005
Springer
14 years 1 months ago
Representing Probabilistic Relations in RDF
Probabilistic inference will be of special importance when one needs to know how much we can say with what all we know given new observations. Bayesian Network is a graphical prob...
Yoshio Fukushige
AAAI
1990
13 years 8 months ago
Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection
Since knowledge bases (KBs) are usually incomplete, they should be able to provide information regarding their own incompleteness, which requires them to introspect on what they k...
Gerhard Lakemeyer