88 citations · 340 across the 23 of their papers we have counts for
6 papers · 1 filter
Enhancing SMT-based Weighted Model Integration by Structure Awareness
Giuseppe Spallitta, Gabriele Masina, Paolo Morettin +2
The development of efficient exact and approximate algorithms for probabilistic inference is a long-standing goal of artificial intelligence research. Whereas substantial progress…
SMT-based Weighted Model Integration with Structure Awareness
Giuseppe Spallitta, Gabriele Masina, Paolo Morettin +2
Weighted Model Integration (WMI) is a popular formalism aimed at unifying approaches for probabilistic inference in hybrid domains, involving logical and algebraic constraints. Des…
Multi-Object Reasoning with Constrained Goal Models
Chi Mai Nguyen, Roberto Sebastiani, Paolo Giorgini +1
Goal models have been widely used in Computer Science to represent software requirements, business objectives, and design qualities. Existing goal modelling techniques, however, ha…
Structured Learning Modulo Theories
Stefano Teso, Roberto Sebastiani, Andrea Passerini
Modelling problems containing a mixture of Boolean and numerical variables is a long-standing interest of Artificial Intelligence. However, performing inference and learning in hyb…
Optimization in SMT with LA(Q) Cost Functions
Roberto Sebastiani, Silvia Tomasi
In the contexts of automated reasoning and formal verification, important decision problems are effectively encoded into Satisfiability Modulo Theories (SMT). In the last decade ef…
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures
P. F. Patel-Schneider, R. Sebastiani
The recent emergence of heavily-optimized modal decision procedures has highlighted the key role of empirical testing in this domain. Unfortunately, the introduction of extensive e…