Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1402.0569
Cited By
Description Logic Knowledge and Action Bases
4 February 2014
Babak Bagheri Hariri
Diego Calvanese
Marco Montali
Giuseppe De Giacomo
Riccardo De Masellis
Paolo Felli
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Description Logic Knowledge and Action Bases"
2 / 2 papers shown
Title
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)
S. Ghilardi
Alessandro Gianola
Marco Montali
Andrey Rivkin
35
1
0
12 Aug 2022
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)
Diego Calvanese
Alessandro Gianola
Andrea Mazzullo
Marco Montali
25
2
0
27 Aug 2021
1