Publications

Export 6 results:
Filters: Author is A Voronkov  [Clear All Filters]
2012
Studer, T.: Justified Terminological Reasoning. In: Clarke, E.E., Virbitskaite, I., and Voronkov, A. Proceedings of Perspectives of System Informatics PSI'11. pp. 349-361. Springer (2012).
2010
McKinley, R.: Expansion nets: Proof nets for for propositional classical logic. In: Fermüller, C. and Voronkov, A. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 17). pp. 535-549. Springer Berlin / Heidelberg (2010).
Studer, T.: Privacy Preserving Modules for Ontologies. In: Pnueli, A., Virbitskaite, I., and Voronkov, A. Proceedings of Perspectives of System Informatics PSI'09. pp. 380-387 (2010).
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).
1997
Clarke, E.E., Heinle, W., Schlingloff, H.: Model checking. In: Robinson, A. and Voronkov, A. Handbook of Automated Reasoning. pp. 1635-1790. Elsevier Science (1997).