Matches in SemOpenAlex for { <https://semopenalex.org/work/W86183852> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W86183852 abstract "We present a logic programming language, which we call Proflog, with an operational semantics based on tableaus, and a denotational semantics based on supervaluations. We show the two agree. Negation is well-behaved, and semantic non-computability issues do not arise. This is accomplished essentially by dropping a domain closure requirement. The cost is that intuitions developed through the use of classical logic may need modification, though the system is still classical at a level once removed. Implementation problems are discussed very briefly — the thrust of the paper is primarily theoretical." @default.
- W86183852 created "2016-06-24" @default.
- W86183852 creator A5086117892 @default.
- W86183852 date "1999-01-01" @default.
- W86183852 modified "2023-09-27" @default.
- W86183852 title "Tableaus for Logic Programming" @default.
- W86183852 cites W1536217426 @default.
- W86183852 cites W1554618854 @default.
- W86183852 cites W1591825827 @default.
- W86183852 cites W159279589 @default.
- W86183852 cites W1672891595 @default.
- W86183852 cites W1964113811 @default.
- W86183852 cites W1968513265 @default.
- W86183852 cites W2003531456 @default.
- W86183852 cites W2010104109 @default.
- W86183852 cites W2069972706 @default.
- W86183852 cites W6204907 @default.
- W86183852 hasPublicationYear "1999" @default.
- W86183852 type Work @default.
- W86183852 sameAs 86183852 @default.
- W86183852 citedByCount "0" @default.
- W86183852 crossrefType "journal-article" @default.
- W86183852 hasAuthorship W86183852A5086117892 @default.
- W86183852 hasConcept C127001435 @default.
- W86183852 hasConcept C128838566 @default.
- W86183852 hasConcept C134306372 @default.
- W86183852 hasConcept C146834321 @default.
- W86183852 hasConcept C156325763 @default.
- W86183852 hasConcept C162324750 @default.
- W86183852 hasConcept C184337299 @default.
- W86183852 hasConcept C199360897 @default.
- W86183852 hasConcept C207648694 @default.
- W86183852 hasConcept C2185349 @default.
- W86183852 hasConcept C33923547 @default.
- W86183852 hasConcept C34447519 @default.
- W86183852 hasConcept C36503486 @default.
- W86183852 hasConcept C41008148 @default.
- W86183852 hasConcept C80444323 @default.
- W86183852 hasConcept C89448276 @default.
- W86183852 hasConceptScore W86183852C127001435 @default.
- W86183852 hasConceptScore W86183852C128838566 @default.
- W86183852 hasConceptScore W86183852C134306372 @default.
- W86183852 hasConceptScore W86183852C146834321 @default.
- W86183852 hasConceptScore W86183852C156325763 @default.
- W86183852 hasConceptScore W86183852C162324750 @default.
- W86183852 hasConceptScore W86183852C184337299 @default.
- W86183852 hasConceptScore W86183852C199360897 @default.
- W86183852 hasConceptScore W86183852C207648694 @default.
- W86183852 hasConceptScore W86183852C2185349 @default.
- W86183852 hasConceptScore W86183852C33923547 @default.
- W86183852 hasConceptScore W86183852C34447519 @default.
- W86183852 hasConceptScore W86183852C36503486 @default.
- W86183852 hasConceptScore W86183852C41008148 @default.
- W86183852 hasConceptScore W86183852C80444323 @default.
- W86183852 hasConceptScore W86183852C89448276 @default.
- W86183852 hasLocation W861838521 @default.
- W86183852 hasOpenAccess W86183852 @default.
- W86183852 hasPrimaryLocation W861838521 @default.
- W86183852 hasRelatedWork W1487503742 @default.
- W86183852 hasRelatedWork W1488887276 @default.
- W86183852 hasRelatedWork W1503791035 @default.
- W86183852 hasRelatedWork W1514335004 @default.
- W86183852 hasRelatedWork W1529790367 @default.
- W86183852 hasRelatedWork W1558326452 @default.
- W86183852 hasRelatedWork W1572660243 @default.
- W86183852 hasRelatedWork W1572831335 @default.
- W86183852 hasRelatedWork W1579536519 @default.
- W86183852 hasRelatedWork W1580003217 @default.
- W86183852 hasRelatedWork W2096947206 @default.
- W86183852 hasRelatedWork W2106556867 @default.
- W86183852 hasRelatedWork W2137828991 @default.
- W86183852 hasRelatedWork W2180498373 @default.
- W86183852 hasRelatedWork W2281063294 @default.
- W86183852 hasRelatedWork W2520633456 @default.
- W86183852 hasRelatedWork W2581682598 @default.
- W86183852 hasRelatedWork W333022668 @default.
- W86183852 hasRelatedWork W82600474 @default.
- W86183852 hasRelatedWork W87112092 @default.
- W86183852 isParatext "false" @default.
- W86183852 isRetracted "false" @default.
- W86183852 magId "86183852" @default.
- W86183852 workType "article" @default.