( en | de | ru )

 

Disambiguation of "Sebastiani, Roberto"

Author of the publication

copydeleteadd this publication to your clipboard
Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability.

, and . J. Artif. Intell. Res., (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Daniel Sebastiani

Günther Sebastiani

Daniel Sebastiani

Julia Brigitte Sebastiani

Anne Stella Maria Sebastiani

 

Other publications of authors with the same name

An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic., , , , , , and . TACAS, volume 3440 of Lecture Notes in Computer Science, page 317-333. Springer, (2005)Optimization Modulo the Theory of Floating-Point Numbers., and . CADE, volume 11716 of Lecture Notes in Computer Science, page 550-567. Springer, (2019)The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration., , , , , , and . IJCAI, page 6530-6532. ijcai.org, (2019)Four Flavors of Entailment., , and . SAT, volume 12178 of Lecture Notes in Computer Science, page 62-71. Springer, (2020)An SAT-based Decision Procedure for ALC., and . Description Logics, volume WS-96-05 of AAAI Technical Report, page 49-59. AAAI Press, (1996)Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking., , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 350-363. Springer, (2005)Enhancing SMT-based Weighted Model Integration by Structure Awareness., , , , and . CoRR, (2023)A General Purpose Reasoner for Abstraction., , , and . AI, volume 1081 of Lecture Notes in Computer Science, page 323-335. Springer, (1996)Applying the Davis-Putnam Procedure to Non-clausal Formulas., and . AI*IA, volume 1792 of Lecture Notes in Computer Science, page 84-94. Springer, (1999)SMT-based weighted model integration with structure awareness., , , , and . UAI, volume 180 of Proceedings of Machine Learning Research, page 1876-1885. PMLR, (2022)