PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Sebastiani, Roberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration.

, , , , , , und . IJCAI, Seite 6530-6532. ijcai.org, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Sebastiani, Roberto
Eine Person hinzufügen mit dem Namen Sebastiani, Roberto
 

Weitere Publikationen von Autoren mit dem selben Namen

Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability., , und . AAAI/IAAI, Seite 948-953. AAAI Press / The MIT Press, (1998)More Evaluation of Decision Procedures for Modal Logics., , , und . KR, Seite 626-635. Morgan Kaufmann, (1998)Verilog2SMV: A tool for word-level verification., , , , und . DATE, Seite 1156-1159. IEEE, (2016)Optimization Modulo Theories with Linear Rational Costs., und . ACM Trans. Comput. Log., 16 (2): 12:1-12:43 (2015)Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis., , , , und . LPAR, Volume 4246 von Lecture Notes in Computer Science, Seite 527-541. Springer, (2006)Simple and Minimum-Cost Satisfiability for Goal Models., , und . CAiSE, Volume 3084 von Lecture Notes in Computer Science, Seite 20-35. Springer, (2004)Automated Reasoning in ALCQALCQ via SMT., , und . CADE, Volume 6803 von Lecture Notes in Computer Science, Seite 283-298. Springer, (2011)Satisfiability Modulo Transcendental Functions via Incremental Linearization., , , , und . CADE, Volume 10395 von Lecture Notes in Computer Science, Seite 95-113. Springer, (2017)A New Method for Testing Decision Procedures in Modal Logics., , und . CADE, Volume 1249 von Lecture Notes in Computer Science, Seite 264-267. Springer, (1997)Optimization in SMT with $LA$ (ℚ) Cost Functions., und . IJCAR, Volume 7364 von Lecture Notes in Computer Science, Seite 484-498. Springer, (2012)