Publications

Export 77 results:
Filters: Type is Conference Paper  [Clear All Filters]
2009
Stouppa, P., Studer, T.: Data Privacy for ALC Knowledge Bases. In: Artemov, S. and Nerode, A. Proceedings of Logical Foundations of Computer Science LFCS'09. pp. 409-421. Springer (2009).
Artemov, S., Kuznets, R.: 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).
Brünnler, K., Straßburger, L.: Modular Sequent Systems for Modal Logic. In: Giese, M. and Waaler, A. Tableaux 2009. Springer-Verlag (2009).
Jäger, G.: Operations, sets and classes. In: Glymour, C., Wei, W., and Westerstahl, D. Logic, Methodology and Philosophy of Science - Proceedings of the Thirteenth International Congress. College Publications (2009).
Brünnler, K., Studer, T.: Syntactic cut-elimination for common knowledge. In: Areces, C. and Demri, S. Proceedings of Methods for Modalities M4M5. pp. 227-240. Elsevier (2009).
Buss, S.R., Kuznets, R.: The NP-completeness of reflected fragments of justification logics. In: Artemov, S. and Nerode, A. Proceedings of Symposium on Logical Foundations of Computer Science (LFCS'09). pp. 122-136 (2009).
2007
Stouppa, P., Studer, T.: A formal model of data privacy. In: Virbitskaite, I. and Voronkov, A. 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).
Kottmann, N., Studer, T.: Improving semantic query answering. In: Wagner, R., Revell, N., and Pernul, G. 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).
Steiner, D., Studer, T.: Total public announcements. In: Artemov, S. and Nerode, A. 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: Artemov, S. and Parikh, R. 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: Beckmann, A., Berger, U., Löwe, B., and Tucker, J.V. Proceedings of Computability in Europe. pp. 65-74. Springer (2006).
Brünnler, K.: Deep sequent systems for modal logic. In: Governatori, G., Hodkinson, I., and Venema, Y. 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
Jäger, G., Kretz, M., Studer, T.: 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: Cori, R., Razborov, A., Todorcevic, S., and Wood, C. Proceedings of Logic Colloquium '00. pp. 272-293. AK Peters (2005).
Brünnler, K., Lengrand, S.: On two forms of bureaucracy in derivations. In: Bruscoli, P., Lamarche, F., and Stewart, C. Proceedings of Structures and Deduction. pp. 65-74. Technische Universität Dresden (2005).
Dürig, M., Studer, T.: Probabilistic ABox reasoning: preliminary results. In: Horrocks, I., Sattler, U., and Wolter, F. Proceedings of Description Logics '05. pp. 104-111. CEUR-WS.org (2005).
Stoffel, K., Studer, T.: Provable data privacy. In: Andersen, K.V., Debenham, J.K., and Wagner, R. 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: Isaías, P., Nunes, M.B., and dos Reis, A.P. Proceedings of Multi '05. pp. 271-278. International Association for Development of the Information Society (2005).
2004
Jäger, G., Probst, D.: 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
Ostrin, G.E., Wainer, S.S.: Proof theoretic complexity. In: Schwichtenberg, H. and Steinbrüggen, R. Proof and System Reliability. pp. 369-398. Springer (2002).

Pages