ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 1402.0569
  4. Cited By
Description Logic Knowledge and Action Bases

Description Logic Knowledge and Action Bases

4 February 2014
Babak Bagheri Hariri
Diego Calvanese
Marco Montali
Giuseppe De Giacomo
Riccardo De Masellis
Paolo Felli
ArXiv (abs)PDFHTML

Papers citing "Description Logic Knowledge and Action Bases"

2 / 2 papers shown
Title
Relational Action Bases: Formalization, Effective Safety Verification,
  and Invariants (Extended Version)
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)
S. Ghilardi
Alessandro Gianola
Marco Montali
Andrey Rivkin
21
1
0
12 Aug 2022
SMT-Based Safety Verification of Data-Aware Processes under Ontologies
  (Extended Version)
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)
Diego Calvanese
Alessandro Gianola
Andrea Mazzullo
Marco Montali
22
2
0
27 Aug 2021
1