@Misc{Sofronie87,
author = {Sofronie, Viorica},
title = {Automated Theorem Proving. {Algorithms} of the
{Knuth-Bendix} kind},
howpublished = {Diploma Thesis, University of Bucharest (in Romanian)},
year = 1987
}
@Misc{Sofronie88,
author = {Sofronie, Viorica},
title = {Modal Algebras and Rewriting Algorithms},
howpublished = {Specialization Thesis, University of Bucharest (in
Romanian)},
year = 1988
}
@PhdThesis{Sofronie97,
author = {Sofronie-Stokkermans, Viorica},
title = {Fibered Structures and Applications to Automated
Theorem Proving in Certain Classes of
Finitely-Valued Logics and to Modeling Interacting Systems},
school = {RISC-Linz, J.Kepler University Linz, Austria},
year = 1997
}
@Article{Sofronie89,
author = {Sofronie, Viorica},
title = {Formula-handling Computer Solution of Boolean
Equations. {I. Ring} Equations},
journal = {Bull. of the EATCS},
year = 1989,
volume = 37,
pages = {181--186}
}
@InProceedings{PfaSofSto96a,
author = {Pfalzgraf, Jochen and Sofronie, Viorica and Stokkermans, Karel},
title = {On a Semantics for Cooperative Agents Scenarios},
editor = {Trappl, R.},
pages = {201--206},
booktitle = {Cybernetics and Systems '96, Volume 1, Proceedings
of the Thirteenth European Meeting on Cybernetics
and Systems Research},
year = 1996,
organization = {Austrian Society for Cybernetic Studies}
}
@Misc{PfaSofSto96b,
author = {Pfalzgraf, Jochen and Sofronie, Viorica and Stokkermans, Karel},
title = {A Fibered Approach to Modeling Space-Time Dependent
Cooperating Agents Scenarios},
howpublished = {FAPR'96 (Workshop ``Reasoning about Actions and
Planning in Complex Environments'')},
year = 1996
}
@InProceedings{Sofronie96a,
author = {Sofronie, Viorica},
title = {Towards a Sheaf Theoretic Approach to Cooperating
Agents Scenarios},
editor = {Calmet, J. and Campbell, J.A. and Pfalzgraf, J.},
series = {LNCS 1138},
booktitle = {Proceedings of Artificial Intelligence and Symbolic
Mathematical Computation, International Conference,
AISMC-3, Steyr},
pages = {289--304},
year = 1996,
publisher = {Springer-Verlag}
}
@Misc{Sofronie1998b,
author = {Sofronie-Stokkermans, Viorica},
title = {Resolution-based Theorem Proving for $\mathit{SH\!}_n$-Logics},
publisher = {Proceedings of FTP'98, Vienna, November 23-25, 1998;
Technical Report E1852-GS-981, Technische Universit\"at Wien.},
year = {1998},
pages = {224--233},
month = {November}
}
@inproceedings{SofronieLNCS1761,
crossref = {LNCS1761},
title = {Resolution-Based Theorem Proving for $\mathit{SH\!}_n$-Logics},
author = {Sofronie-Stokkermans, V.},
pages = {268--282}
}
@Proceedings{LNCS1761,
editor = {Caferra, R. and Salzer, G.},
year = {2000},
month = jan,
title = {Automated Deduction in Classical and Non-Classical Logics},
booktitle = {Automated Deduction in Classical and Non-Classical Logics},
series = {LNCS 1761 (LNAI)},
publisher = {Springer}
}
@Misc{Sofronie1998c,
author = {Sofronie-Stokkermans, Viorica},
title = {Representation Theorems and Automated Theorem Proving
in Certain Classes of Non-Classical Logics},
publisher = {Proceedings of the ECAI-98 Workshop on Many-Valued Logic
for AI Applications, Brighton, UK, August 23-28.},
year = {1998},
month = {August},
}
@InProceedings{Sofronie1998a,
author = {Sofronie-Stokkermans, Viorica},
editor = {Prade, Henri},
title = {On Translation of Finitely-Valued Logics to
Classical First-Order Logic},
booktitle = {Proceedings of the 13th European Conference on
Artificial Intelligence (ECAI 98)},
publisher = {John Wiley & Sons},
year = 1998,
pages = {410--411},
address = {Brighton, UK}
}
@Article{Sofronie1997a,
author = {Sofronie-Stokkermans, Viorica},
title = {Priestley Duality for SHn-Algebras and Applications
to the Study of Kripke-Style Models for SHn-Logics},
journal = {Multiple-Valued Logic. An International Journal},
publisher = {Gordon and Breach},
year = {2000},
number = {4},
volume = {5},
pages = {281--305},
}
@Article{SofroniePart1,
author = {Sofronie-Stokkermans, Viorica},
title = {Duality and Canonical Extensions of Bounded Distributive
Lattices with Operators, and Applications to the
Semantics of Non-Classical Logics {I}},
journal = {Studia Logica},
year = 2000,
number = {1},
volume = {64},
pages = {93-132}
}
@Article{SofroniePart2,
author = {Sofronie-Stokkermans, Viorica},
title = {Duality and Canonical Extensions of Bounded Distributive
Lattices with Operators, and Applications to the
Semantics of Non-Classical Logics {II}},
journal = {Studia Logica},
year = 2000,
number = {2},
volume = {64},
pages = {151-172}
}
@INPROCEEDINGS{Sofronie-Stokkermans1999-ismvl,
AUTHOR = {Sofronie-Stokkermans, Viorica},
TITLE = {Representation Theorems and Automated Theorem Proving in
Non-Classical Logics},
BOOKTITLE = {Proceedings of the 29th IEEE International Symposium on
Multiple-Valued Logic (ISMVL 99)},
PUBLISHER = {IEEE Computer Society Press},
YEAR = {1999},
ORGANIZATION = {IEEE Computer Society},
PAGES = {242--247},
ADDRESS = {Freiburg im Breisgau, Germany},
MONTH = {May},
ISBN = {0-7695-0161-3},
}
@INPROCEEDINGS{Sofronie-Stokkermans1999-cade,
AUTHOR = {Sofronie-Stokkermans, Viorica},
TITLE = {On the Universal Theory of Varieties of Distributive Lattices
with Operators: Some Decidability and Complexity Results},
BOOKTITLE = {Proceedings of the 16th International Conference on
Automated Deduction (CADE-16)},
PUBLISHER = {Springer},
YEAR = {1999},
VOLUME = {1632},
PAGES = {157--171},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Trento, Italy},
}
@INPROCEEDINGS{Sofronie-Stokkermans1999-fct,
AUTHOR = {Sofronie-Stokkermans, Viorica and Stokkermans, Karel},
EDITOR = {Ciobanu, Gabriel and Paun, Gheorghe},
TITLE = {Modeling Interaction by Sheaves and Geometric Logic},
BOOKTITLE = {Proceedings of the 12th International Symposium
Fundamentals of Computation Theory (FCT'99)},
PUBLISHER = {Springer},
YEAR = {1999},
VOLUME = {1684},
PAGES = {512--523},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Iasi, Romania},
ISBN = {3-540-66412-2},
}
@InProceedings{ganzinger-sofronie-chaining-mvl,
author = {Ganzinger, Harald and Sofronie-Stokkermans, Viorica},
title = {Chaining techniques for automated theorem proving in finitely-valued logics},
booktitle = {Proceedings of the 30th ISMVL},
pages = {337--344},
year = {2000},
address = {Portland, Oregon},
month = {May},
organization = {IEEE Computer Society},
publisher = {IEEE Computer Society Press}
}
@INPROCEEDINGS{Sofronie-Stokkermans-cade2000,
AUTHOR = {Sofronie-Stokkermans, Viorica},
EDITOR = {McAllester, David},
TITLE = {On unification for bounded distributive lattices},
BOOKTITLE = {Proceedings of the 17th Conference on Automated Deduction (CADE-17)},
PUBLISHER = {Springer},
YEAR = {2000},
VOLUME = {1831},
PAGES = {465--481},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Pittsburgh, Pennsylvania, USA},
ISBN = {3-540-67664-3},
}
@ARTICLE{Sofronie-Stokkermans1999,
AUTHOR = {Sofronie-Stokkermans, Viorica},
JOURNAL = {Multiple-Valued Logic - An International Journal},
TITLE = {Automated Theorem Proving by Resolution for Finitely-Valued Logics Based on Distributive Lattices with Operators},
ADDRESS = {Amsterdam, the Netherlands},
NUMBER = {3/4},
PUBLISHER = {Gordon and Breach},
MONTH = {March},
VOLUME = {6},
ISBN = {1023-6627},
YEAR = {2001},
PAGES = {289--344},
}
@INPROCEEDINGS{Sofronie-Stokkermans2001-ismvl,
AUTHOR = {Sofronie-Stokkermans, Viorica},
TITLE = {Representation theorems and the semantics of (semi)lattice-based logics},
BOOKTITLE = {Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logics},
ORGANIZATION = {IEEE Computer Society, Institute of Computer Science Polish Academy of Sciences},
PADDRESS = {Los Alamitos, USA},
ADDRESS = {Warsaw, Poland},
PUBLISHER = {IEEE Computer Society},
ISBN = {0-7695-1083-3},
YEAR = {2001},
PAGES = {125--134},
NOTE = { }
}
@INPROCEEDINGS{Sofronie-Stokkermans-tableaux-2002,
AUTHOR = {Sofronie-Stokkermans, Viorica},
EDITOR = {Egly, Uwe and Ferm{\"u}ller, Christian},
TITLE = {On uniform word problems involving bridging operators on distributive lattices},
BOOKTITLE = {Proceedings of the Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2002)},
PADDRESS = {Berlin},
ADDRESS = {Copenhagen, Denmark},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {2381},
YEAR = {2002},
PAGES = {235--250}
}
@INCOLLECTION{Sofronie-Stokkermans-mvl-2003,
AUTHOR = {Sofronie-Stokkermans, Viorica},
EDITOR = {Fitting, Melvin and Orlowska, Ewa},
TITLE = {Representation Theorems and the Semantics of Non-classical Logics, and Applications to Automated Theorem Proving},
BOOKTITLE = {Beyond Two: Theory and Applications of Multiple Valued Logic},
CHAPTER = {3},
ADDRESS = {Berlin},
PUBLISHER = {Springer},
MONTH = {January},
SERIES = {Studies in Fuzziness and Soft Computing},
VOLUME = {114},
ISBN = {3-7908-1541-1},
YEAR = {2003},
PAGES = {59--100}
}
@ARTICLE{Sofronie-Stokkermans-jsc-2003,
AUTHOR = {Sofronie-Stokkermans, Viorica},
JOURNAL = {Journal of Symbolic Computation},
TITLE = {Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators},
PUBLISHER = {Elsevier/Academic Press},
ISBN = {ISSN: 0747-7171},
YEAR = {2003},
PAGES = {36 p},
NOTE = {to appear}
}
@INPROCEEDINGS{Sofronie-Stokkermans-jim-2003,
AUTHOR = {Sofronie-Stokkermans, Viorica},
EDITOR = {Nadif, Mohamed and Napoli, Amedeo and SanJuan,
Eric and Sigayret, Alain},
TITLE = {Automated theorem proving by resolution in non-classical logics},
BOOKTITLE = {Fourth International Conference Journees de
l'Informatique Messine:
Knowledge Discovery and Discrete Mathematics (JIM-03)},
PUBLISHER = {INRIA},
YEAR = {2003},
PAGES = {151--167},
ADDRESS = {Metz, France},
ISBN = {2-7261-1256-0},
}
@INPROCEEDINGS{Sofronie-Stokkermans-ismvl-2004,
AUTHOR = {Sofronie-Stokkermans, Viorica},
TITLE = {Resolution-based decision procedures for the positive
theory of some finitely generated varieties of algebras},
BOOKTITLE = {Proceedings of the 34th International Symposium on
Multiple-Valued Logic (ISMVL-2004)},
PUBLISHER = {IEEE Computer Society},
YEAR = {2004},
ORGANIZATION = {IEEE},
PAGES = {32--37},
ADDRESS = {Toronto, Canada},
}
@INPROCEEDINGS{Ganzinger-SofronieStokkermans-Waldmann-ijcar-2004,
AUTHOR = {Ganzinger, Harald and Sofronie-Stokkermans, Viorica
and Waldmann, Uwe},
EDITOR = {Basin, David and Rusinowitch, Michael},
TITLE = {Modular Proof Systems for Partial Functions with Weak Equality},
BOOKTITLE = {Automated reasoning : Second International Joint Conference,
IJCAR 2004},
PUBLISHER = {Springer},
YEAR = {2004},
VOLUME = {3097},
PAGES = {168--182},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {Cork, Ireland},
MONTH = {June},
ISBN = {3-540-22345-2},
}
@ARTICLE{Sofronie-Stokkermans-unif-05,
AUTHOR = {Sofronie-Stokkermans, Viorica},
TITLE = {On unification for bounded distributive lattices},
JOURNAL = {ACM Transactions on Computational Logic},
PUBLISHER = {ACM},
YEAR = {2005},
VOLUME = {To appear},
}
@INPROCEEDINGS{Sofronie-cade-05,
AUTHOR = {Sofronie-Stokkermans, Viorica},
EDITOR = {Nieuwenhuis, Robert},
TITLE = {Hierarchic reasoning in local theory extensions},
BOOKTITLE = {20th International Conference on Automated Deduction (CADE-20)},
PUBLISHER = {Springer},
YEAR = {2005},
PAGES = {?},
ADDRESS = {Tallinn, Estonia},
}