1
0
0
(1 - 30 von 41
)
dblp: Viorica Sofronie-Stokkermans
dblp.uni-trier.de
List of computer science publications by Viorica Sofronie-Stokkermans
Barbara Morawska: publications - TU Dresden
lat.inf.tu-dresden.de
In Nikolaj Bj??rner and Viorica Sofronie-Stokkermans, editors, Pro- ceedings of the 23rd International Conference on Automated Deduction (CADE 2011), volume of Lecture Notes in Computer Science, pages , Wroclaw, Poland, Springer-Verlag. Franz Baader and Barbara Morawska. SAT encoding of unifcation in EL.
Viorica Sofronie-Stokkermans - Uni Koblenz-Landau
userpages.uni-koblenz.de
Viorica Sofronie-Stokkermans Postal address: Universität Koblenz-Landau, Universitätsstr.1, D Koblenz Phone: (+49) Research Interests. Logic. Classical logic, non-classical logics, description logics; Logic and algebra; Applications (verification, knowledge representation) ...
Viorica Sofronie-Stokkermans - DBLPdblp.uni-trier.de › Viorica Sofronie-Stokkermans
dblp.uni-trier.de
· Cesare Tinelli , Viorica Sofronie-Stokkermans: Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrücken, ...
Franz Baader — Professur für Automatentheorie — TU Dresden
tu-dresden.de
Ein neues Lehrbuch zum Thema Beschreibungslogik: Franz Baader, ... In Nikolaj Bjørner and Viorica Sofronie-Stokkermans, editors, Proceedings of the 23rd International Conference on Automated Deduction (CADE 2011), volume of Lecture Notes in Computer Science, pages 70–84. Wroclaw, Poland, Springer-Verlag,
dblp: CADE
dblp.uni-trier.de
Nikolaj Bjørner, Viorica Sofronie-Stokkermans: Automated Deduction - CADE rd International Conference on Automated Deduction, Wroclaw, Poland, July August 5, Proceedings. Lecture Notes in Computer Science 6803, Springer 2011, ISBN
On the Undecidability of Fuzzy Description Logics with GCIs and...
iccl.inf.tu-dresden.de
Franz Baader, Rafael Peñaloza On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm In Cesare Tinelli and Viorica Sofronie-Stokkermans, eds., Proceedings of 8th International Symposium Frontiers of Combining Systems (FroCoS 2011), volume of Lecture Notes in Aritificial IntelligenceSpringer
Viorica Sofronie-Stokkermans: Curriculum Vitae
userpages.uni-koblenz.de
Education ; 2004: Habilitation in Computer Science. Habilitation talk: ``Algebraic and logic methods in automated theorem proving and in the study of concurrency'' (January 26, 2004)
Publications of Stefan Borgwardt - International Center for...
iccl.inf.tu-dresden.de
In Nikolaj Bjørner and Viorica Sofronie-Stokkermans, eds., Proceedings of the 23rd International Conference on Automated Deduction (CADE 2011), volume of Lecture Notes in Computer ScienceSpringer
Prof. Dr. Viorica Sofronie-Stokkermans — Universität Koblenz
www.uni-koblenz-landau.de
› AGVSS › personen
On the Undecidability of Fuzzy Description Logics with ...
iccl.inf.tu-dresden.de
On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm In Cesare Tinelli and Viorica Sofronie-Stokkermans, eds., Proceedings of 8th International Symposium Frontiers of Combining Systems (FroCoS 2011), volume of Lecture Notes in …
Open Positions — University of Koblenz · Landau
www.uni-koblenz-landau.de
``Formal methods and theoretical computer science'' (Prof. Dr. Viorica Sofronie-Stokkermans) and ``Computer Networks'' (Prof. Dr. Hannes Frey), . The position is available for 2 years. A further extension is planned. To receive full consideration, applications should be received by January 31, Applications sent after this date will be ...
Seminare am Institut für Algebra — Institut für Algebra — TU...
tu-dresden.de
PD Dr. Viorica Sofronie-Stokkermans (MPI für Informatik Saarbrücken) "Automatisches Beweisen in Algebra und Anwendungen in der Informatik" Uhr: PD Dr. Andreas Klein (Universität Kassel) (Vortragsthema wird noch bekanntgegeben) Uhr: Doz. Dr. Dietrich Kuske (Universität Leipzig) "Verallgemeinerte Quantoren und automatische Strukturen"
Publications — University of Koblenz · Landau
www.uni-koblenz-landau.de
Viorica Sofronie-Stokkermans: Parametric Systems: Verification and Synthesis, Fundamenta Informaticae, To appear. Conference papers Dennis Peuter, Viorica Sofronie-Stokkermans: On Invariant Synthesis for Parametric Systems. Proc. CADE 2019, LNCS …
[clean-list] Tableaux First Call for Papersmailman.science.ru.nl › pipermail › clean-list
mailman.science.ru.nl
[clean-list] Tableaux First Call for Papers. Viorica Sofronie-Stokkermans sofronie at mpi-inf.mpg.de. Thu Oct 7 10:28:33 MEST
Unification in the Description Logic EL without the Top Concept -...
iccl.inf.tu-dresden.de
Unification in the Description Logic EL without the Top Concept In Nikolaj Bjørner and Viorica Sofronie-Stokkermans, eds., Proceedings of the 23rd International Conference on Automated Deduction (CADE 2011), volume of Lecture Notes in Computer ScienceSpringer
[DL] TABLEAUX 2007: Call for Workshop Proposals
mailman.informatik.uni-bremen.de
Workshop proposals should be sent as plain text and as postscript or PDF to the workshop chair (Viorica Sofronie-Stokkermans, e-mail: sofronie at mpi-sb.mpg.de) no later than December 5, The proposals will be reviewed by members of the program committee.
Special JSC issue on First Order Theorem Proving - Uni Bremenmailman.zfn.uni-bremen.de › pipermail
mailman.zfn.uni-bremen.de
· [DL] DEADLINE EXTENSION: Special JSC issue on First Order Theorem Proving. Viorica Sofronie-Stokkermans sofronie at mpi-sb.mpg.de
Verwandte Suchanfragen zu Viorica Sofronie-Stokkermans
| Nicolas Peltier Christoph Weidenbach Heinrich Wansing | Matthias Thimm Franz Baader René Walendy | Ursula Zeeb |
Personen Vorname "Viorica" (99) Name "Sofronie-Stokkermans" (1) |
sortiert nach Relevanz / Datum