FRINK Linked Data Fragments server

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

• W2040284947 endingPage "345" @default.
• W2040284947 startingPage "319" @default.
• W2040284947 abstract "This paper introduces an extension of logic programming based on multi-dimensional logics, called MLP. In a multi-dimensional logic the values of elements vary depending on more than one dimension, such as time and space. The resulting logic programming language is suitable for modelling objects which involve implicit and/or explicit temporal and spatial dependencies. The execution of programs of the language is based on a resolution-type proof procedure called MSLD-resolution (for multi-dimensional SLD-resolution). The paper also establishes the declarative semantics of multi-dimensional logic programs, based on an extension of Herbrand models. In particular, it is shown that MLP programs satisfy the minimum model semantics. A novel multidimensional interface to MLP is also outlined; it can be used as a powerful development tool with the advantage of non-determinism inherent in logic programming." @default.
• W2040284947 created "2016-06-24" @default.
• W2040284947 creator A5010152619 @default.
• W2040284947 creator A5017177739 @default.
• W2040284947 date "1997-10-01" @default.
• W2040284947 modified "2023-10-11" @default.
• W2040284947 title "Multi-dimensional logic programming: theoretical foundations" @default.
• W2040284947 cites W123871734 @default.
• W2040284947 cites W124516423 @default.
• W2040284947 cites W1486653873 @default.
• W2040284947 cites W1487044139 @default.
• W2040284947 cites W1497559908 @default.
• W2040284947 cites W1504134701 @default.
• W2040284947 cites W1541434994 @default.
• W2040284947 cites W1579416470 @default.
• W2040284947 cites W1582224163 @default.
• W2040284947 cites W1584571167 @default.
• W2040284947 cites W1589223644 @default.
• W2040284947 cites W1591357117 @default.
• W2040284947 cites W1596067335 @default.
• W2040284947 cites W161073712 @default.
• W2040284947 cites W1905565601 @default.
• W2040284947 cites W1910735682 @default.
• W2040284947 cites W1971043386 @default.
• W2040284947 cites W1986446931 @default.
• W2040284947 cites W1996656410 @default.
• W2040284947 cites W2008276941 @default.
• W2040284947 cites W2020666986 @default.
• W2040284947 cites W2024016985 @default.
• W2040284947 cites W2031440740 @default.
• W2040284947 cites W2058797962 @default.
• W2040284947 cites W2086240210 @default.
• W2040284947 cites W2105940697 @default.
• W2040284947 cites W2108911687 @default.
• W2040284947 cites W2113316597 @default.
• W2040284947 cites W2118391576 @default.
• W2040284947 cites W2134592706 @default.
• W2040284947 cites W2143382644 @default.
• W2040284947 cites W2153903356 @default.
• W2040284947 cites W2212036697 @default.
• W2040284947 cites W2480691574 @default.
• W2040284947 cites W270081759 @default.
• W2040284947 cites W50233445 @default.
• W2040284947 cites W600852043 @default.
• W2040284947 cites W618815147 @default.
• W2040284947 cites W87862204 @default.
• W2040284947 doi "https://doi.org/10.1016/s0304-3975(97)00048-0" @default.
• W2040284947 hasPublicationYear "1997" @default.
• W2040284947 type Work @default.
• W2040284947 sameAs 2040284947 @default.
• W2040284947 citedByCount "12" @default.
• W2040284947 countsByYear W20402849472013 @default.
• W2040284947 crossrefType "journal-article" @default.
• W2040284947 hasAuthorship W2040284947A5010152619 @default.
• W2040284947 hasAuthorship W2040284947A5017177739 @default.
• W2040284947 hasConcept C11413529 @default.
• W2040284947 hasConcept C127001435 @default.
• W2040284947 hasConcept C128838566 @default.
• W2040284947 hasConcept C138268822 @default.
• W2040284947 hasConcept C156325763 @default.
• W2040284947 hasConcept C184337299 @default.
• W2040284947 hasConcept C199360897 @default.
• W2040284947 hasConcept C202444582 @default.
• W2040284947 hasConcept C2778029271 @default.
• W2040284947 hasConcept C33676613 @default.
• W2040284947 hasConcept C33923547 @default.
• W2040284947 hasConcept C34165917 @default.
• W2040284947 hasConcept C41008148 @default.
• W2040284947 hasConcept C50033165 @default.
• W2040284947 hasConcept C80444323 @default.
• W2040284947 hasConcept C96315309 @default.
• W2040284947 hasConceptScore W2040284947C11413529 @default.
• W2040284947 hasConceptScore W2040284947C127001435 @default.
• W2040284947 hasConceptScore W2040284947C128838566 @default.
• W2040284947 hasConceptScore W2040284947C138268822 @default.
• W2040284947 hasConceptScore W2040284947C156325763 @default.
• W2040284947 hasConceptScore W2040284947C184337299 @default.
• W2040284947 hasConceptScore W2040284947C199360897 @default.
• W2040284947 hasConceptScore W2040284947C202444582 @default.
• W2040284947 hasConceptScore W2040284947C2778029271 @default.
• W2040284947 hasConceptScore W2040284947C33676613 @default.
• W2040284947 hasConceptScore W2040284947C33923547 @default.
• W2040284947 hasConceptScore W2040284947C34165917 @default.
• W2040284947 hasConceptScore W2040284947C41008148 @default.
• W2040284947 hasConceptScore W2040284947C50033165 @default.
• W2040284947 hasConceptScore W2040284947C80444323 @default.
• W2040284947 hasConceptScore W2040284947C96315309 @default.
• W2040284947 hasIssue "2" @default.
• W2040284947 hasLocation W20402849471 @default.
• W2040284947 hasOpenAccess W2040284947 @default.
• W2040284947 hasPrimaryLocation W20402849471 @default.
• W2040284947 hasRelatedWork W1966767581 @default.
• W2040284947 hasRelatedWork W2071557240 @default.
• W2040284947 hasRelatedWork W2116733130 @default.
• W2040284947 hasRelatedWork W2121389878 @default.
• W2040284947 hasRelatedWork W2155588070 @default.
• W2040284947 hasRelatedWork W2157541508 @default.
• W2040284947 hasRelatedWork W47258078 @default.

• next