119 search results - page 1 / 24 » Logic of infons: The propositional case |
TOCL
2011
12 years 11 months ago
2011
BIRTHDAY
2010
Springer
13 years 5 months ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
IANDC
2002
13 years 4 months ago
2002
PKDD
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. Problem solving with experiences that are recorded in text form requires a mapping from text to structured cases, so that case comparison can provide informed feedback fo...
LPNMR
2005
Springer
13 years 9 months ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...