17 search results - page 1 / 4 » lfcs 2007 |
LFCS
2007
Springer
14 years 1 months ago
2007
Springer
LFCS
2007
Springer
14 years 1 months ago
2007
Springer
LFCS
2007
Springer
14 years 1 months ago
2007
Springer
LFCS
2007
Springer
14 years 1 months ago
2007
Springer
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of mode...
LFCS
2007
Springer
14 years 1 months ago
2007
Springer
We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead ...