Matches in SemOpenAlex for { <https://semopenalex.org/work/W2164833657> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2164833657 endingPage "297" @default.
- W2164833657 startingPage "290" @default.
- W2164833657 abstract "Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connectives in the bodies are allowed. In this work, a procedural semantics is given for the paradigm of multiadjoint logic programming and completeness theorems are proved." @default.
- W2164833657 created "2016-06-24" @default.
- W2164833657 creator A5023733020 @default.
- W2164833657 creator A5084153650 @default.
- W2164833657 creator A5088261260 @default.
- W2164833657 date "2001-01-01" @default.
- W2164833657 modified "2023-10-14" @default.
- W2164833657 title "A Procedural Semantics for Multi-adjoint Logic Programming" @default.
- W2164833657 cites W1031777975 @default.
- W2164833657 cites W1554990043 @default.
- W2164833657 cites W1577536563 @default.
- W2164833657 cites W2140146517 @default.
- W2164833657 cites W2141538006 @default.
- W2164833657 cites W2148020453 @default.
- W2164833657 doi "https://doi.org/10.1007/3-540-45329-6_29" @default.
- W2164833657 hasPublicationYear "2001" @default.
- W2164833657 type Work @default.
- W2164833657 sameAs 2164833657 @default.
- W2164833657 citedByCount "47" @default.
- W2164833657 countsByYear W21648336572012 @default.
- W2164833657 countsByYear W21648336572014 @default.
- W2164833657 countsByYear W21648336572015 @default.
- W2164833657 countsByYear W21648336572016 @default.
- W2164833657 countsByYear W21648336572017 @default.
- W2164833657 countsByYear W21648336572018 @default.
- W2164833657 countsByYear W21648336572019 @default.
- W2164833657 countsByYear W21648336572021 @default.
- W2164833657 countsByYear W21648336572022 @default.
- W2164833657 crossrefType "book-chapter" @default.
- W2164833657 hasAuthorship W2164833657A5023733020 @default.
- W2164833657 hasAuthorship W2164833657A5084153650 @default.
- W2164833657 hasAuthorship W2164833657A5088261260 @default.
- W2164833657 hasConcept C128838566 @default.
- W2164833657 hasConcept C184337299 @default.
- W2164833657 hasConcept C199360897 @default.
- W2164833657 hasConcept C41008148 @default.
- W2164833657 hasConcept C80444323 @default.
- W2164833657 hasConceptScore W2164833657C128838566 @default.
- W2164833657 hasConceptScore W2164833657C184337299 @default.
- W2164833657 hasConceptScore W2164833657C199360897 @default.
- W2164833657 hasConceptScore W2164833657C41008148 @default.
- W2164833657 hasConceptScore W2164833657C80444323 @default.
- W2164833657 hasLocation W21648336571 @default.
- W2164833657 hasOpenAccess W2164833657 @default.
- W2164833657 hasPrimaryLocation W21648336571 @default.
- W2164833657 hasRelatedWork W1483213041 @default.
- W2164833657 hasRelatedWork W1495922050 @default.
- W2164833657 hasRelatedWork W1517132137 @default.
- W2164833657 hasRelatedWork W1587224678 @default.
- W2164833657 hasRelatedWork W1778728081 @default.
- W2164833657 hasRelatedWork W2056977125 @default.
- W2164833657 hasRelatedWork W2090686886 @default.
- W2164833657 hasRelatedWork W27605384 @default.
- W2164833657 hasRelatedWork W288103726 @default.
- W2164833657 hasRelatedWork W1894736207 @default.
- W2164833657 isParatext "false" @default.
- W2164833657 isRetracted "false" @default.
- W2164833657 magId "2164833657" @default.
- W2164833657 workType "book-chapter" @default.