 | Up a level |
Metcalfe, George; Cintula, Petr; Diaconescu, Denisa (2015). Skolemization for Substructural Logics. In: Davis, Martin; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei (eds.) Logic for Programming, Artificial Intelligence, and Reasoning - Proceedings of LPAR 2015. Lecture Notes in Computer Science: Vol. 9450 (pp. 1-15). Springer 10.1007/978-3-662-48899-7_1
Cintula, Petr; Metcalfe, George (2013). Herbrand Theorems for Substructural Logics. In: McMillan, Ken; Middeldorp, Aart; Voronkov, Andrei (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science: Vol. 8312 (pp. 584-600). Springer 10.1007/978-3-642-45221-5_39
Studer, Thomas (2012). Justified Terminological Reasoning. In: Clarke, Edmund; Virbitskaite, Irina; Voronkov, Andrei (eds.) Perspectives of Systems Informatics. 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 7162 (pp. 349-361). Heidelberg: Springer Verlag 10.1007/978-3-642-29709-0_30
McKinley, Richard (2010). Expansion nets: Proof nets for propositional classical logic. In: Fermüller, Christian; Voronkov, Andrei (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings 6397 (pp. 535-549). Heidelberg: Springer Verlag 10.1007/978-3-642-16242-8
Brünnler, Kai; McKinley, Richard (2008). An Algorithmic Interpretation of a Deep Inference System. In: Cervesato, Iliano; Veith, Helmut; Voronkov, Andrei (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Lecture Notes in Computer Science: Vol. 5330 (pp. 482-496). Heidelberg: Springer Verlag 10.1007/978-3-540-89439-1_34
Stouppa, Phiniki; Studer, Thomas (2007). A formal model of data privacy. In: Virbitskaite, Irina; Voronkov, Andrei (eds.) Perspectives of Systems Informatics. 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. Theoretical Computer Science and General Issues: Vol. 4378 (pp. 400-408). Heidelberg: Springer Verlag 10.1007/978-3-540-70881-0_34
