Matches in SemOpenAlex for { <https://semopenalex.org/work/W1572253000> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1572253000 abstract "In the domain of qualitative constraint reasoning, a subfield of AI which has evolved in the past 25 years, a large number of calculi for efficient reasoning about spatial and temporal entities has been developed. Reasoning techniques developed for these constraint calculi typically rely on so-called composition tables of the calculus at hand, which allow for replacing semantic reasoning by symbolic operations. Often these composition tables are developed in a quite informal, pictorial manner—a method which seems to be error-prone. In view of possible safety critical applications of qualitative calculi, however, it is desirable to formally verify these composition tables. In general, the verification of composition tables is a tedious task, in particular in cases where the semantics of the calculus depends on higher-order constructs such as sets. In this paper we address this problem by presenting a heterogeneous proof method that allows for combining a higherorder proof assistance system (such as Isabelle) with an automatic (first order) reasoner (such as SPASS or VAMPIRE). The benefit of this method is that the number of proof obligations that is to be proven interactively with a semi-automatic reasoner can be minimized to an acceptable level." @default.
- W1572253000 created "2016-06-24" @default.
- W1572253000 creator A5013913904 @default.
- W1572253000 creator A5040001719 @default.
- W1572253000 creator A5073765060 @default.
- W1572253000 date "2005-01-01" @default.
- W1572253000 modified "2023-09-27" @default.
- W1572253000 title "Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables." @default.
- W1572253000 cites W1489157673 @default.
- W1572253000 cites W1496725166 @default.
- W1572253000 cites W1514021483 @default.
- W1572253000 cites W156128023 @default.
- W1572253000 cites W1567910670 @default.
- W1572253000 cites W1807555267 @default.
- W1572253000 cites W1844476468 @default.
- W1572253000 cites W1875347247 @default.
- W1572253000 cites W2016627289 @default.
- W1572253000 cites W2106192381 @default.
- W1572253000 cites W2112448067 @default.
- W1572253000 cites W2116537119 @default.
- W1572253000 cites W2129292012 @default.
- W1572253000 cites W2133039566 @default.
- W1572253000 cites W2479999086 @default.
- W1572253000 cites W2492089900 @default.
- W1572253000 cites W2916262976 @default.
- W1572253000 cites W852874 @default.
- W1572253000 cites W2498152513 @default.
- W1572253000 cites W2610461240 @default.
- W1572253000 hasPublicationYear "2005" @default.
- W1572253000 type Work @default.
- W1572253000 sameAs 1572253000 @default.
- W1572253000 citedByCount "0" @default.
- W1572253000 crossrefType "journal-article" @default.
- W1572253000 hasAuthorship W1572253000A5013913904 @default.
- W1572253000 hasAuthorship W1572253000A5040001719 @default.
- W1572253000 hasAuthorship W1572253000A5073765060 @default.
- W1572253000 hasConcept C134306372 @default.
- W1572253000 hasConcept C138885662 @default.
- W1572253000 hasConcept C154945302 @default.
- W1572253000 hasConcept C155911833 @default.
- W1572253000 hasConcept C184337299 @default.
- W1572253000 hasConcept C195344581 @default.
- W1572253000 hasConcept C199360897 @default.
- W1572253000 hasConcept C206880738 @default.
- W1572253000 hasConcept C2524010 @default.
- W1572253000 hasConcept C2776036281 @default.
- W1572253000 hasConcept C33923547 @default.
- W1572253000 hasConcept C36503486 @default.
- W1572253000 hasConcept C40231798 @default.
- W1572253000 hasConcept C41008148 @default.
- W1572253000 hasConcept C41895202 @default.
- W1572253000 hasConcept C80444323 @default.
- W1572253000 hasConcept C83725634 @default.
- W1572253000 hasConcept C9616225 @default.
- W1572253000 hasConceptScore W1572253000C134306372 @default.
- W1572253000 hasConceptScore W1572253000C138885662 @default.
- W1572253000 hasConceptScore W1572253000C154945302 @default.
- W1572253000 hasConceptScore W1572253000C155911833 @default.
- W1572253000 hasConceptScore W1572253000C184337299 @default.
- W1572253000 hasConceptScore W1572253000C195344581 @default.
- W1572253000 hasConceptScore W1572253000C199360897 @default.
- W1572253000 hasConceptScore W1572253000C206880738 @default.
- W1572253000 hasConceptScore W1572253000C2524010 @default.
- W1572253000 hasConceptScore W1572253000C2776036281 @default.
- W1572253000 hasConceptScore W1572253000C33923547 @default.
- W1572253000 hasConceptScore W1572253000C36503486 @default.
- W1572253000 hasConceptScore W1572253000C40231798 @default.
- W1572253000 hasConceptScore W1572253000C41008148 @default.
- W1572253000 hasConceptScore W1572253000C41895202 @default.
- W1572253000 hasConceptScore W1572253000C80444323 @default.
- W1572253000 hasConceptScore W1572253000C83725634 @default.
- W1572253000 hasConceptScore W1572253000C9616225 @default.
- W1572253000 hasLocation W15722530001 @default.
- W1572253000 hasOpenAccess W1572253000 @default.
- W1572253000 hasPrimaryLocation W15722530001 @default.
- W1572253000 hasRelatedWork W147047677 @default.
- W1572253000 hasRelatedWork W1553543780 @default.
- W1572253000 hasRelatedWork W1559086064 @default.
- W1572253000 hasRelatedWork W1576002006 @default.
- W1572253000 hasRelatedWork W1591290710 @default.
- W1572253000 hasRelatedWork W2000863621 @default.
- W1572253000 hasRelatedWork W2019597813 @default.
- W1572253000 hasRelatedWork W2108096932 @default.
- W1572253000 hasRelatedWork W2206612216 @default.
- W1572253000 hasRelatedWork W2244970067 @default.
- W1572253000 hasRelatedWork W2286436627 @default.
- W1572253000 hasRelatedWork W2295879328 @default.
- W1572253000 hasRelatedWork W2359626047 @default.
- W1572253000 hasRelatedWork W2399406087 @default.
- W1572253000 hasRelatedWork W2406344851 @default.
- W1572253000 hasRelatedWork W2516268646 @default.
- W1572253000 hasRelatedWork W2798349943 @default.
- W1572253000 hasRelatedWork W2809249895 @default.
- W1572253000 hasRelatedWork W3037866143 @default.
- W1572253000 hasRelatedWork W3214340885 @default.
- W1572253000 isParatext "false" @default.
- W1572253000 isRetracted "false" @default.
- W1572253000 magId "1572253000" @default.
- W1572253000 workType "article" @default.