( en | de | ru )

 

Disambiguierung von "Sebastiani, Roberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction.

, , und . IJCAI, Seite 720-728. ijcai.org, (2017)

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.

Daniel Sebastiani

Günther Sebastiani

Daniel Sebastiani

Julia Brigitte Sebastiani

Anne Stella Maria Sebastiani

 

Weitere Publikationen von Autoren mit dem selben Namen

Pushing the envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions., und . CoRR, (2014)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)Simple and Minimum-Cost Satisfiability for Goal Models., , und . CAiSE, Volume 3084 von Lecture Notes in Computer Science, Seite 20-35. Springer, (2004)Enumerating Disjoint Partial Models without Blocking Clauses., , und . CoRR, (2023)SAT vs. translation based decision procedures for modal logics: a comparative evaluation., , , und . J. Appl. Non Class. Logics, 10 (2): 145-172 (2000)Building Decision Procedures for Modal Logics from Propositional Decision Procedures: The Case Study of Modal K(m)., und . Inf. Comput., 162 (1-2): 158-178 (2000)A Unified Framework for Probabilistic Verification of AI Systems via Weighted Model Integration., , und . CoRR, (2024)Handling Polynomial and Transcendental Functions in SMT via Unconstrained Optimisation and Topological Degree Test., , , und . ATVA, Volume 13505 von Lecture Notes in Computer Science, Seite 137-153. Springer, (2022)Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability., , und . AAAI/IAAI, Seite 948-953. AAAI Press / The MIT Press, (1998)