Matches in SemOpenAlex for { <https://semopenalex.org/work/W335682308> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W335682308 abstract "Abstract : Logic programming is declarative, but its programs can be executed relatively efficiently. This balance is a precarious one: languages with a more imperative nature are much faster in execution, but programming is more difficult; if the declarative expressiveness of the language is extended, its execution can become so slow that it is unusable. The languages typified by 'pure' PROLOG strike this balance on the side of efficiency, by fixing on SLD resolution as the execution algorithm. The Horn-clause subset of first-order logic for which SLD resolution is adequate is limited in the naturalness of its expressiveness, and the most notable omission is that negative information cannot be expressed. (jes)" @default.
- W335682308 created "2016-06-24" @default.
- W335682308 creator A5018039673 @default.
- W335682308 date "1988-03-01" @default.
- W335682308 modified "2023-09-28" @default.
- W335682308 title "Constructive Negotiation in Logic Programs" @default.
- W335682308 doi "https://doi.org/10.21236/ada215318" @default.
- W335682308 hasPublicationYear "1988" @default.
- W335682308 type Work @default.
- W335682308 sameAs 335682308 @default.
- W335682308 citedByCount "0" @default.
- W335682308 crossrefType "report" @default.
- W335682308 hasAuthorship W335682308A5018039673 @default.
- W335682308 hasConcept C128838566 @default.
- W335682308 hasConcept C138268822 @default.
- W335682308 hasConcept C146206909 @default.
- W335682308 hasConcept C189790780 @default.
- W335682308 hasConcept C199305712 @default.
- W335682308 hasConcept C199360897 @default.
- W335682308 hasConcept C34165917 @default.
- W335682308 hasConcept C41008148 @default.
- W335682308 hasConcept C50033165 @default.
- W335682308 hasConcept C81721847 @default.
- W335682308 hasConcept C96315309 @default.
- W335682308 hasConceptScore W335682308C128838566 @default.
- W335682308 hasConceptScore W335682308C138268822 @default.
- W335682308 hasConceptScore W335682308C146206909 @default.
- W335682308 hasConceptScore W335682308C189790780 @default.
- W335682308 hasConceptScore W335682308C199305712 @default.
- W335682308 hasConceptScore W335682308C199360897 @default.
- W335682308 hasConceptScore W335682308C34165917 @default.
- W335682308 hasConceptScore W335682308C41008148 @default.
- W335682308 hasConceptScore W335682308C50033165 @default.
- W335682308 hasConceptScore W335682308C81721847 @default.
- W335682308 hasConceptScore W335682308C96315309 @default.
- W335682308 hasLocation W3356823081 @default.
- W335682308 hasOpenAccess W335682308 @default.
- W335682308 hasPrimaryLocation W3356823081 @default.
- W335682308 hasRelatedWork W1505808374 @default.
- W335682308 hasRelatedWork W1573761730 @default.
- W335682308 hasRelatedWork W1585895903 @default.
- W335682308 hasRelatedWork W1995343269 @default.
- W335682308 hasRelatedWork W2024935946 @default.
- W335682308 hasRelatedWork W2037317726 @default.
- W335682308 hasRelatedWork W2055587259 @default.
- W335682308 hasRelatedWork W2064276275 @default.
- W335682308 hasRelatedWork W2132678579 @default.
- W335682308 hasRelatedWork W2132975374 @default.
- W335682308 hasRelatedWork W2144859273 @default.
- W335682308 hasRelatedWork W2157226141 @default.
- W335682308 hasRelatedWork W2168617729 @default.
- W335682308 hasRelatedWork W2737865386 @default.
- W335682308 hasRelatedWork W29725558 @default.
- W335682308 hasRelatedWork W70312424 @default.
- W335682308 hasRelatedWork W9944727 @default.
- W335682308 hasRelatedWork W2117658650 @default.
- W335682308 hasRelatedWork W2137197719 @default.
- W335682308 hasRelatedWork W228465666 @default.
- W335682308 isParatext "false" @default.
- W335682308 isRetracted "false" @default.
- W335682308 magId "335682308" @default.
- W335682308 workType "report" @default.