Publications

Export 77 results:
Filters: Type is Conference Paper  [Clear All Filters]
2009
: Data Privacy for ALC Knowledge Bases. In: Proceedings of Logical Foundations of Computer Science LFCS'09. pp. 409-421. Springer (2009).
: Logical Omniscience as a Computational Complexity Problem. In: Heifetz, A. Theoretical Aspects of Rationality and Knowledge, Proceedings of the Twelfth Conference (TARK 2009). pp. 14-23. ACM, Stanford University, California (2009).
: Modular Sequent Systems for Modal Logic. In: Tableaux 2009. Springer-Verlag (2009).
Jäger, G.: Operations, sets and classes. In: Logic, Methodology and Philosophy of Science - Proceedings of the Thirteenth International Congress. College Publications (2009).
: Syntactic cut-elimination for common knowledge. In: Proceedings of Methods for Modalities M4M5. pp. 227-240. Elsevier (2009).
: The NP-completeness of reflected fragments of justification logics. In: Proceedings of Symposium on Logical Foundations of Computer Science (LFCS'09). pp. 122-136 (2009).
2008
: An Algorithmic Interpretation of a Deep Inference System. In: LPAR 2008. pp. 482-496. Springer-Verlag (2008).
2007
: A formal model of data privacy. In: Proceedings of Perspectives of System Informatics. pp. 401-411. Springer (2007).
Wehbe, R.: Computing with common knowledge. In: del Pobil, A.P. Proceedings of Artificial Intelligence and Soft Computing. pp. 45-50. ACTA Press (2007).
: Improving semantic query answering. In: Proceedings of Database and Expert Systems Applications. pp. 671-679. Springer (2007).
Wehbe, R.: Merging rule-based belief databases. In: Devedżić, V. Proceedings of Artificial Intelligence and Applications. pp. 585-589. ACTA Press (2007).
: Total public announcements. In: Proceedings of Logical Foundations of Computer Science. pp. 498-511. Springer (2007).
2006
Wehbe, R.: A hybrid representation of knowledge and belief. Proceedings of Formal Approaches to Multi-Agent Systems (2006).
Steiner, D.: A system for consistency preserving belief change. In: Proceedings of Rationality and Knowledge. pp. 133-144. Association for Logic, Language and Information (2006).
Brünnler, K.: Deep inference and its normal form of derivations. In: Proceedings of Computability in Europe. pp. 65-74. Springer (2006).
Brünnler, K.: Deep sequent systems for modal logic. In: Proceedings of Advances in Modal Logic. pp. 107-119. College Publications (2006).
Wehbe, R.: Revising non-monotonic rule-based belief databases. Proceedings of Belief Revision, Belief Merging and Social Choice (2006).
2005
: Cut-free axiomatizations for stratified modal fixed point logic. In: Schlingloff, H. Proceedings of Methods for Modalities 4. pp. 125-143. Humboldt-Universität Berlin (2005).
Jäger, G.: Metapredicative and explicit Mahlo: a proof-theoretic perspective. In: Proceedings of Logic Colloquium '00. pp. 272-293. AK Peters (2005).
: On two forms of bureaucracy in derivations. In: Proceedings of Structures and Deduction. pp. 65-74. Technische Universität Dresden (2005).
: Probabilistic ABox reasoning: preliminary results. In: Proceedings of Description Logics '05. pp. 104-111. CEUR-WS.org (2005).
: Provable data privacy. In: Proceedings of 16th International Conference on Database and Expert Systems Applications. pp. 324-332. Springer (2005).
Studer, T.: Relational representation of $\mathcal{ALN}$ knowledge bases. In: Proceedings of Multi '05. pp. 271-278. International Association for Development of the Information Society (2005).
2004
: Iterating $Σ$ operations in admissible set theory without foundation: a further aspect of metapredicative Mahlo. In: Link, G. One Hundred Years of Russell's Paradox. Papers from the 2001 Munich Russell Conference. pp. 119-134. de Gruyter (2004).
2002
: Proof theoretic complexity. In: Proof and System Reliability. pp. 369-398. Springer (2002).