381 search results - page 4 / 77 » Tableaux for Acceptance Logic |
TABLEAUX
2007
Springer
14 years 2 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
14 years 6 days 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
14 years 28 days 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...
CADE
2010
Springer
13 years 9 months ago
2010
Springer
AIML
2008
13 years 10 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...