Dr. Jandson Santos Ribeiro Santos - Fernuni Hagen
www.fernuni-hagen.de
2021; Jandson S Ribeiro, Viorica Sofronie-Stokkermans and Matthias Thimm. „Measuring Disagreement withInterpolants“. In:Proceedings of the 14th ... › team
Politeness for the Theory of Algebraic Datatypes
theory.stanford.edu
In Proceedings of the 10^th International Joint Conference on Automated Reasoning (IJCAR '20), (Nicolas Peltier and Viorica Sofronie-Stokkermans, eds.) ... › pubs
Sharing is Caring: Combination of Theories - Stanford CS ...theory.stanford.edu › ~barrett › pubs
theory.stanford.edu
In Proceedings of the 8^th International Symposium on Frontiers of Combining Systems (FroCoS '11), (Cesare Tinelli and Viorica Sofronie-Stokkermans, eds.) ...
Search Results - interactive theorem proving software
psnz.umt.edu.my
... Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II / edited by Nicolas Peltier, Viorica Sofronie-Stokkermans. › seal › Re...
Frontiers of Combining Systems, Cesare Tinelli (Edited ) Viorica...
www.fishpond.de
Fishpond Germany, Frontiers of Combining Systems: 8th International Symposium, FROCOS 2011, Saarbrucken, Germany, October 5-7, Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by Cesare Tinelli (Edited ) Viorica Sofronie-Stokkermans (Edited )Buy . Books online: Frontiers of Combining Systems: 8th International Symposium, …
Frontiers of Combining Systems, Cesare Tinelli - Libris
libris.nl
8th International Symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, Proceedings. Cesare Tinelli ; Viorica Sofronie-Stokkermans | Taal: Engels. › visscher › boek
Automated Deduction -- CADE-23 on Apple Books
books.apple.com
This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wrocław, Poland, in July/August...
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
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,
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
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
Alle Infos zum Namen "Viorica Sofronie-Stokkermans"
BibSLEIGH — Hierarchic Reasoning in Local Theory Extensions
bibtex.github.io
Full names. Links ISxN. @inproceedings{CADE Sofronie-Stokkermans, author = "Viorica Sofronie-Stokkermans", booktitle = "{Proceedings of the 20th ... › CADE
HIBPM - Handling Inconsistencies in Business Process Modelling
hibpm.mthimm.de
Jandson Santos Ribeiro Santos, Viorica Sofronie-Stokkermans, Matthias Thimm. Measuring Disagreement with Interpolants. In Proceedings of the 14th International Conference on Scalable Uncertainty Management (SUM'20). September bibtex pdf; Markus Ulbricht, Matthias Thimm, Gerhard Brewka. Handling and measuring inconsistency in non-monotonic logics. In Artificial …
MPI-INF RG1 Publications: Proceedings Article: Theory Instantiation
domino.mpi-inf.mpg.de
Viorica Sofronie-Stokkermans: Created :44:25 AM: Revisions Editor(s) Christine Kiesel Viorica Sofronie-Stokkermans Viorica Sofronie-Stokkermans Viorica Sofronie-Stokkermans: Edit Dates :32: :02:59 PM :46:01 PM :45:15 PM
@INPROCEEDINGS{MPB-SMW:IJCAR2020:SGGSdp ...profs.sci.univr.it › bibEntries
profs.sci.univr.it
... EDITOR = "Nicolas Peltier and Viorica Sofronie-Stokkermans", PUBLISHER = "Springer", SERIES = "Lecture Notes in Artificial Intelligence", VOLUME =
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