Ganzinger, Harald; Sofronie-Stokkermans, Viorica
Chaining Techniques for Automated Theorem Proving in Many-Valued LogicsMarek Perkowski (Hrsg). Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic ISMVL 2000; May 23-25, 2000; Portland, Oregon, USA. Los Alamitos, CA: IEEE Computer Society 2000 S. 337 - 344
Sofronie-Stokkermans, Viorica
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics IStudia Logica. Bd. 64. H. 1. Dordrecht: Springer 2000 S. 93 - 132
Sofronie-Stokkermans, Viorica
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics IIStudia Logica. Bd. 64. H. 2. Dordrecht: Springer 2000 S. 151 - 172
Sofronie-Stokkermans, Viorica
On Unification for Bonded Distributive LatticesDavid McAllester (Hrsg). Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000. Proceedings. Berlin: Springer 2000 S. 465 - 481
Sofronie-Stokkermans, Viorica
Resolution-Based Theorem Proving for SHn-LogicsRicardo Caferra; Gernot Salzer (Hrsg). Automated Deduction in Classical and Non-Classical Logics: Selected Papers. Berlin: Springer 2000 S. 267 - 281
Sofronie-Stokkermans, Viorica; Stokkermans, Karel
Modeling interaction by sheaves and geometric logicGabriel Ciobanu; Gheorghe Păun (Hrsg). Fundamentals of Computation Theory: 12th International Symposium, FCT’99 Iaşi, Romania, August 30 - September 3, 1999 Proceedings. Berlin: Springer 1999 S. 512 - 523
Sofronie-Stokkermans, Viorica
On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity ResultsHarald Ganzinger (Hrsg). Automated Deduction - CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Berlin: Springer 1999 S. 157 - 171
Sofronie-Stokkermans, Viorica
Representation Theorems and Theorem Proving in Non-Classical LogicsRolf Drechsler; Bernd Becker (Hrsg). Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic ISMVL 1999; 20. - 22. May, 1999; Freiburg im Breisgau. Los Alamitos, CA: IEEE Computer Society 1999 S. 242 - 247
Sofronie-Stokkermans, Viorica
On Translation of Finitely-Valued Logics to Classical First-Order LogicHenri Prade (Hrsg). Proceeding of the 13th European Conference on Artificial Intelligence ECAI 98 August 23-28, Brighton, UK. Chichester: Wiley 1998 S. 410 - 411
Sofronie, Viorica
Towards a sheaf semantics for cooperating agents scenariosJacques Calmet; John A. Campbell; Jochen Pfalzgraf (Hrsg). Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings. Berlin: Springer 1996 S. 289 - 304