Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912013601> ?p ?o ?g. }
- W2912013601 endingPage "165" @default.
- W2912013601 startingPage "135" @default.
- W2912013601 abstract "This work describes the Sibyl prover, an implementation of a tableau based proof procedure for multi-modal hybrid logic with the converse, graded and global modalities, and enriched with features largely used in description logics: transitivity and relation hierarchies. The proof procedure is provably terminating when the input problem belongs to an expressive decidable fragment of hybrid logic. After a description of the implemented proof procedure, the way how the implementation deals with the most delicate aspects of the calculus is explained. Some experimental results, run on sets of randomly generated problems as well as some hand-tailored ones, show only a moderate deterioration in the performances of the prover when the number of transitivity and inclusion axioms increase. Sibyl is compared with other provers (HTab, the hybrid logic prover whose expressive power is closer to Sibyl’s one, and the first-order prover SPASS). The obtained results show that Sibyl has reasonable performances." @default.
- W2912013601 created "2019-02-21" @default.
- W2912013601 creator A5013807767 @default.
- W2912013601 date "2019-02-12" @default.
- W2912013601 modified "2023-10-16" @default.
- W2912013601 title "A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies" @default.
- W2912013601 cites W1483892218 @default.
- W2912013601 cites W1496861770 @default.
- W2912013601 cites W1500674647 @default.
- W2912013601 cites W1519551513 @default.
- W2912013601 cites W1539127213 @default.
- W2912013601 cites W1559485762 @default.
- W2912013601 cites W1593443951 @default.
- W2912013601 cites W1593590470 @default.
- W2912013601 cites W1678486145 @default.
- W2912013601 cites W1689987508 @default.
- W2912013601 cites W1964664152 @default.
- W2912013601 cites W1975468279 @default.
- W2912013601 cites W1976699340 @default.
- W2912013601 cites W1978912716 @default.
- W2912013601 cites W1979654686 @default.
- W2912013601 cites W1981904119 @default.
- W2912013601 cites W1999165408 @default.
- W2912013601 cites W2002949351 @default.
- W2912013601 cites W2015932695 @default.
- W2912013601 cites W2021550356 @default.
- W2912013601 cites W2049677513 @default.
- W2912013601 cites W2055678419 @default.
- W2912013601 cites W2067803913 @default.
- W2912013601 cites W2073398076 @default.
- W2912013601 cites W2109523922 @default.
- W2912013601 cites W2126583599 @default.
- W2912013601 cites W2126755595 @default.
- W2912013601 cites W2153838820 @default.
- W2912013601 cites W2162361330 @default.
- W2912013601 cites W2219260021 @default.
- W2912013601 cites W2337512840 @default.
- W2912013601 cites W2588018425 @default.
- W2912013601 cites W2742138459 @default.
- W2912013601 cites W2811227589 @default.
- W2912013601 cites W2952560635 @default.
- W2912013601 cites W4256000740 @default.
- W2912013601 doi "https://doi.org/10.1007/s10817-019-09513-3" @default.
- W2912013601 hasPublicationYear "2019" @default.
- W2912013601 type Work @default.
- W2912013601 sameAs 2912013601 @default.
- W2912013601 citedByCount "0" @default.
- W2912013601 crossrefType "journal-article" @default.
- W2912013601 hasAuthorship W2912013601A5013807767 @default.
- W2912013601 hasBestOaLocation W29120136012 @default.
- W2912013601 hasConcept C102993220 @default.
- W2912013601 hasConcept C108710211 @default.
- W2912013601 hasConcept C11191006 @default.
- W2912013601 hasConcept C11413529 @default.
- W2912013601 hasConcept C114614502 @default.
- W2912013601 hasConcept C153269930 @default.
- W2912013601 hasConcept C159718280 @default.
- W2912013601 hasConcept C167729594 @default.
- W2912013601 hasConcept C185592680 @default.
- W2912013601 hasConcept C188027245 @default.
- W2912013601 hasConcept C191399111 @default.
- W2912013601 hasConcept C195818886 @default.
- W2912013601 hasConcept C199343813 @default.
- W2912013601 hasConcept C203659156 @default.
- W2912013601 hasConcept C206880738 @default.
- W2912013601 hasConcept C2524010 @default.
- W2912013601 hasConcept C25343380 @default.
- W2912013601 hasConcept C27508121 @default.
- W2912013601 hasConcept C2776809875 @default.
- W2912013601 hasConcept C2777686260 @default.
- W2912013601 hasConcept C33923547 @default.
- W2912013601 hasConcept C41008148 @default.
- W2912013601 hasConcept C71139939 @default.
- W2912013601 hasConcept C71924100 @default.
- W2912013601 hasConcept C77088390 @default.
- W2912013601 hasConcept C80444323 @default.
- W2912013601 hasConceptScore W2912013601C102993220 @default.
- W2912013601 hasConceptScore W2912013601C108710211 @default.
- W2912013601 hasConceptScore W2912013601C11191006 @default.
- W2912013601 hasConceptScore W2912013601C11413529 @default.
- W2912013601 hasConceptScore W2912013601C114614502 @default.
- W2912013601 hasConceptScore W2912013601C153269930 @default.
- W2912013601 hasConceptScore W2912013601C159718280 @default.
- W2912013601 hasConceptScore W2912013601C167729594 @default.
- W2912013601 hasConceptScore W2912013601C185592680 @default.
- W2912013601 hasConceptScore W2912013601C188027245 @default.
- W2912013601 hasConceptScore W2912013601C191399111 @default.
- W2912013601 hasConceptScore W2912013601C195818886 @default.
- W2912013601 hasConceptScore W2912013601C199343813 @default.
- W2912013601 hasConceptScore W2912013601C203659156 @default.
- W2912013601 hasConceptScore W2912013601C206880738 @default.
- W2912013601 hasConceptScore W2912013601C2524010 @default.
- W2912013601 hasConceptScore W2912013601C25343380 @default.
- W2912013601 hasConceptScore W2912013601C27508121 @default.
- W2912013601 hasConceptScore W2912013601C2776809875 @default.
- W2912013601 hasConceptScore W2912013601C2777686260 @default.
- W2912013601 hasConceptScore W2912013601C33923547 @default.
- W2912013601 hasConceptScore W2912013601C41008148 @default.