Publications
Export 11 results:
Filters: First Letter Of Last Name is V [Clear All Filters]
, “Justified Terminological Reasoning”, in Proceedings of Perspectives of System Informatics PSI'11, 2012, vol. 7162, pp. 349-361.
, “Justified Terminological Reasoning”, in Proceedings of Perspectives of System Informatics PSI'11, 2012, vol. 7162, pp. 349-361.
, “Expansion nets: Proof nets for for propositional classical logic”, in Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 17), 2010, vol. 6397, pp. 535-549.
, “Privacy Preserving Modules for Ontologies”, in Proceedings of {P}erspectives of {S}ystem {I}nformatics {PSI}'09, 2010, vol. 5947, p. 380{–}387.
, “Privacy Preserving Modules for Ontologies”, in Proceedings of {P}erspectives of {S}ystem {I}nformatics {PSI}'09, 2010, vol. 5947, p. 380{–}387.
, “An Algorithmic Interpretation of a Deep Inference System”, in LPAR 2008, 2008, vol. 5330, p. 482–-496.
, “An Algorithmic Interpretation of a Deep Inference System”, in LPAR 2008, 2008, vol. 5330, p. 482–-496.
, “A formal model of data privacy”, in Proceedings of Perspectives of System Informatics, 2007, vol. 4378, p. 401{–}411.
, “A formal model of data privacy”, in Proceedings of Perspectives of System Informatics, 2007, vol. 4378, p. 401{–}411.
, “Deep sequent systems for modal logic”, in Proceedings of Advances in Modal Logic, 2006, vol. 6, p. 107{–}119.
, “Model checking”, in Handbook of Automated Reasoning, 1997, p. 1635{–}1790.