381 search results - page 4 / 77 » Tableaux for Acceptance Logic |
TABLEAUX
2007
Springer
15 years 3 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...
TABLEAUX
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...
KBSE
1999
IEEE
15 years 1 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
61
Voted
CADE
2010
Springer
14 years 10 months ago
2010
Springer
90
Voted
AIML
2008
14 years 11 months ago
2008
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This pap...