27 search results - page 1 / 6 » tableaux 2007 |
TABLEAUX
2007
Springer
13 years 11 months ago
2007
Springer
TABLEAUX
2007
Springer
13 years 11 months ago
2007
Springer
TABLEAUX
2007
Springer
13 years 11 months ago
2007
Springer
Public announcement logic is an extension of multi-agent epistemic logic with dynamic operators to model the informational consequences of announcements to the entire group of agen...
JCT
2007
13 years 4 months ago
2007
TABLEAUX
2007
Springer
13 years 11 months ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...