3845 search results - page 18 / 769 » Belief Logic Programming |
171
click to vote
APPINF
2003
15 years 7 months ago
2003
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
155
Voted
AMAI
2008
Springer
15 years 6 months ago
2008
Springer
Several justification logics have been created, starting with the logic LP, [1]. These can be thought of as explicit versions of modal logics, or of logics of knowledge or belief,...
144
Voted
RSCTC
2004
Springer
15 years 11 months ago
2004
Springer
188
Voted
TARK
2007
Springer
16 years 23 hour ago
2007
Springer
We investigate the discrete (finite) case of the Popper-Renyi theory of conditional probability, introducing discrete conditional probabilistic models for (multi-agent) knowledge...
140
click to vote
TARK
2005
Springer
15 years 11 months ago
2005
Springer
Fagin, Halpern, Moses, and Vardi have proposed a framework of epistemic agents with multiple “frames of mind” (local-reasoning structures), to solve problems concerning incons...