FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W150932629> ?p ?o ?g. }

• W150932629 abstract "We present an ExpTime decision procedure for the full - Calculus (including converse programs) extended with nominals and a universal program, thus devising a new, highly expressive ExpTime logic. The decision procedure is based on tree automata, and makes explicit the problems caused by nominals and how to overcome them. Roughly speak- ing, we show how to reason in a logic lacking the tree model property using techniques for logics with the tree model property. The contribu- tion of the paper is two-fold: we extend the family of ExpTime logics, and we present a technique to reason in the presence of nominals." @default.
• W150932629 created "2016-06-24" @default.
• W150932629 creator A5000059818 @default.
• W150932629 creator A5072391425 @default.
• W150932629 date "2001-01-01" @default.
• W150932629 modified "2023-09-26" @default.
• W150932629 title "The Hybrid -Calculus" @default.
• W150932629 cites W1241680585 @default.
• W150932629 cites W139763282 @default.
• W150932629 cites W145896926 @default.
• W150932629 cites W1514356467 @default.
• W150932629 cites W1516892340 @default.
• W150932629 cites W1517844372 @default.
• W150932629 cites W1524698412 @default.
• W150932629 cites W1525337695 @default.
• W150932629 cites W1535158818 @default.
• W150932629 cites W1540180960 @default.
• W150932629 cites W1614615401 @default.
• W150932629 cites W1636976386 @default.
• W150932629 cites W1816620374 @default.
• W150932629 cites W1936956611 @default.
• W150932629 cites W195403415 @default.
• W150932629 cites W1969184283 @default.
• W150932629 cites W1980794674 @default.
• W150932629 cites W1989040088 @default.
• W150932629 cites W1996207810 @default.
• W150932629 cites W2083398633 @default.
• W150932629 cites W2083987012 @default.
• W150932629 cites W2086035610 @default.
• W150932629 cites W2092043492 @default.
• W150932629 cites W2109003533 @default.
• W150932629 cites W2124876285 @default.
• W150932629 cites W2129254290 @default.
• W150932629 cites W2133630909 @default.
• W150932629 cites W2140147652 @default.
• W150932629 cites W2145465694 @default.
• W150932629 cites W2170933628 @default.
• W150932629 cites W53060394 @default.
• W150932629 cites W80737574 @default.
• W150932629 hasPublicationYear "2001" @default.
• W150932629 type Work @default.
• W150932629 sameAs 150932629 @default.
• W150932629 citedByCount "30" @default.
• W150932629 countsByYear W1509326292012 @default.
• W150932629 countsByYear W1509326292013 @default.
• W150932629 countsByYear W1509326292014 @default.
• W150932629 countsByYear W1509326292015 @default.
• W150932629 countsByYear W1509326292016 @default.
• W150932629 countsByYear W1509326292017 @default.
• W150932629 countsByYear W1509326292018 @default.
• W150932629 countsByYear W1509326292020 @default.
• W150932629 countsByYear W1509326292021 @default.
• W150932629 crossrefType "journal-article" @default.
• W150932629 hasAuthorship W150932629A5000059818 @default.
• W150932629 hasAuthorship W150932629A5072391425 @default.
• W150932629 hasConcept C111472728 @default.
• W150932629 hasConcept C112505250 @default.
• W150932629 hasConcept C113174947 @default.
• W150932629 hasConcept C11413529 @default.
• W150932629 hasConcept C114614502 @default.
• W150932629 hasConcept C118615104 @default.
• W150932629 hasConcept C138885662 @default.
• W150932629 hasConcept C179799912 @default.
• W150932629 hasConcept C189950617 @default.
• W150932629 hasConcept C197685441 @default.
• W150932629 hasConcept C199343813 @default.
• W150932629 hasConcept C2524010 @default.
• W150932629 hasConcept C2776809875 @default.
• W150932629 hasConcept C2777686260 @default.
• W150932629 hasConcept C33923547 @default.
• W150932629 hasConcept C41008148 @default.
• W150932629 hasConcept C56049555 @default.
• W150932629 hasConcept C71924100 @default.
• W150932629 hasConcept C80444323 @default.
• W150932629 hasConceptScore W150932629C111472728 @default.
• W150932629 hasConceptScore W150932629C112505250 @default.
• W150932629 hasConceptScore W150932629C113174947 @default.
• W150932629 hasConceptScore W150932629C11413529 @default.
• W150932629 hasConceptScore W150932629C114614502 @default.
• W150932629 hasConceptScore W150932629C118615104 @default.
• W150932629 hasConceptScore W150932629C138885662 @default.
• W150932629 hasConceptScore W150932629C179799912 @default.
• W150932629 hasConceptScore W150932629C189950617 @default.
• W150932629 hasConceptScore W150932629C197685441 @default.
• W150932629 hasConceptScore W150932629C199343813 @default.
• W150932629 hasConceptScore W150932629C2524010 @default.
• W150932629 hasConceptScore W150932629C2776809875 @default.
• W150932629 hasConceptScore W150932629C2777686260 @default.
• W150932629 hasConceptScore W150932629C33923547 @default.
• W150932629 hasConceptScore W150932629C41008148 @default.
• W150932629 hasConceptScore W150932629C56049555 @default.
• W150932629 hasConceptScore W150932629C71924100 @default.
• W150932629 hasConceptScore W150932629C80444323 @default.
• W150932629 hasLocation W1509326291 @default.
• W150932629 hasOpenAccess W150932629 @default.
• W150932629 hasPrimaryLocation W1509326291 @default.
• W150932629 hasRelatedWork W142499984 @default.
• W150932629 hasRelatedWork W1493568378 @default.
• W150932629 hasRelatedWork W1512766599 @default.
• W150932629 hasRelatedWork W1551503011 @default.

• next