The SCEAS System
| |||||||

## Search the dblp DataBase
Arild Waaler:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Arild Waaler
**Consistency Proofs for Systems of Multi?agent Only Knowing.**[Citation Graph (0, 0)][DBLP] Advances in Modal Logic, 2004, pp:347-366 [Conf] - Johan W. Klüwer, Arild Waaler
**Trustworthiness by Default.**[Citation Graph (0, 0)][DBLP] CLIMA VI, 2005, pp:96-111 [Conf] - Bjørnar Solhaug, Arild Waaler
**Logical Spaces in Multi-agent Only Knowing Systems.**[Citation Graph (0, 0)][DBLP] CLIMA VI, 2005, pp:77-95 [Conf] - Johan W. Klüwer, Arild Waaler
**Relative Trustworthiness.**[Citation Graph (0, 0)][DBLP] Formal Aspects in Security and Trust, 2005, pp:158-170 [Conf] - Espen H. Lian, Tore Langholm, Arild Waaler
**Only Knowing with Confidence Levels: Reductions and Complexity.**[Citation Graph (0, 0)][DBLP] JELIA, 2004, pp:500-512 [Conf] - Iselin Engan, Tore Langholm, Espen H. Lian, Arild Waaler
**Default Reasoning with Preference Within Only Knowing Logic.**[Citation Graph (0, 0)][DBLP] LPNMR, 2005, pp:304-316 [Conf] - Roger Antonsen, Arild Waaler
**Consistency of Variable Splitting in Free Variable Systems of First-Order Logic.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 2005, pp:33-47 [Conf] - Arild Waaler, Roger Antonsen
**A Free Variable Sequent Calculus with Uniform Variable Splitting.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 2003, pp:214-229 [Conf] - Arild Waaler, Bjørnar Solhaug
**Semantics for multi-agent only knowing: extended abstract.**[Citation Graph (0, 0)][DBLP] TARK, 2005, pp:109-125 [Conf] - Roger Antonsen, Arild Waaler
**A Labelled System for IPL with Variable Splitting.**[Citation Graph (0, 0)][DBLP] CADE, 2007, pp:132-146 [Conf] - Arild Waaler, Johan W. Klüwer, Tore Langholm, Espen H. Lian
**Only knowing with degrees of confidence.**[Citation Graph (0, 0)][DBLP] J. Applied Logic, 2007, v:5, n:3, pp:492-518 [Journal] - Roger Antonsen, Arild Waaler
**Liberalized Variable Splitting.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2007, v:38, n:1-3, pp:3-30 [Journal] **An Only Knowing Approach to Defeasible Description Logics (Extended Abstract).**[Citation Graph (, )][DBLP]**Computing Default Extensions by Reductions on OR.**[Citation Graph (, )][DBLP]**Proof Search for the First-Order Connection Calculus in Maude.**[Citation Graph (, )][DBLP]
Search in 0.007secs, Finished in 0.008secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |