Matches in SemOpenAlex for { <https://semopenalex.org/work/W1688385935> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1688385935 abstract "Answer-set programming (ASP) has emerged recently as a viable programming paradigm. We describe here an ASP system, DATALOG with constraints or DC, based on non-monotonic logic. Informally, DC theories consist of propositional clauses (constraints) and of Horn rules. The semantics is a simple and natural extension of the semantics of the propositional logic. However, thanks to the presence of Horn rules in the system, modeling of transitive closure becomes straightforward. We describe the syntax, use and implementation of DC and provide experimental results." @default.
- W1688385935 created "2016-06-24" @default.
- W1688385935 creator A5012637765 @default.
- W1688385935 creator A5079794036 @default.
- W1688385935 date "2000-03-14" @default.
- W1688385935 modified "2023-09-27" @default.
- W1688385935 title "dcs: An Implementation of DATALOG with Constraints" @default.
- W1688385935 cites W1552605223 @default.
- W1688385935 cites W1639901403 @default.
- W1688385935 cites W2152131859 @default.
- W1688385935 cites W2408006898 @default.
- W1688385935 cites W83671853 @default.
- W1688385935 hasPublicationYear "2000" @default.
- W1688385935 type Work @default.
- W1688385935 sameAs 1688385935 @default.
- W1688385935 citedByCount "9" @default.
- W1688385935 crossrefType "posted-content" @default.
- W1688385935 hasAuthorship W1688385935A5012637765 @default.
- W1688385935 hasAuthorship W1688385935A5079794036 @default.
- W1688385935 hasConcept C111472728 @default.
- W1688385935 hasConcept C114614502 @default.
- W1688385935 hasConcept C118615104 @default.
- W1688385935 hasConcept C127001435 @default.
- W1688385935 hasConcept C128838566 @default.
- W1688385935 hasConcept C128896722 @default.
- W1688385935 hasConcept C138885662 @default.
- W1688385935 hasConcept C146834321 @default.
- W1688385935 hasConcept C148230440 @default.
- W1688385935 hasConcept C154945302 @default.
- W1688385935 hasConcept C156325763 @default.
- W1688385935 hasConcept C162324750 @default.
- W1688385935 hasConcept C177264268 @default.
- W1688385935 hasConcept C182620335 @default.
- W1688385935 hasConcept C184337299 @default.
- W1688385935 hasConcept C189790780 @default.
- W1688385935 hasConcept C191399111 @default.
- W1688385935 hasConcept C199360897 @default.
- W1688385935 hasConcept C207648694 @default.
- W1688385935 hasConcept C2778029271 @default.
- W1688385935 hasConcept C2780586882 @default.
- W1688385935 hasConcept C33923547 @default.
- W1688385935 hasConcept C34447519 @default.
- W1688385935 hasConcept C41008148 @default.
- W1688385935 hasConcept C60048249 @default.
- W1688385935 hasConcept C80444323 @default.
- W1688385935 hasConcept C89497691 @default.
- W1688385935 hasConceptScore W1688385935C111472728 @default.
- W1688385935 hasConceptScore W1688385935C114614502 @default.
- W1688385935 hasConceptScore W1688385935C118615104 @default.
- W1688385935 hasConceptScore W1688385935C127001435 @default.
- W1688385935 hasConceptScore W1688385935C128838566 @default.
- W1688385935 hasConceptScore W1688385935C128896722 @default.
- W1688385935 hasConceptScore W1688385935C138885662 @default.
- W1688385935 hasConceptScore W1688385935C146834321 @default.
- W1688385935 hasConceptScore W1688385935C148230440 @default.
- W1688385935 hasConceptScore W1688385935C154945302 @default.
- W1688385935 hasConceptScore W1688385935C156325763 @default.
- W1688385935 hasConceptScore W1688385935C162324750 @default.
- W1688385935 hasConceptScore W1688385935C177264268 @default.
- W1688385935 hasConceptScore W1688385935C182620335 @default.
- W1688385935 hasConceptScore W1688385935C184337299 @default.
- W1688385935 hasConceptScore W1688385935C189790780 @default.
- W1688385935 hasConceptScore W1688385935C191399111 @default.
- W1688385935 hasConceptScore W1688385935C199360897 @default.
- W1688385935 hasConceptScore W1688385935C207648694 @default.
- W1688385935 hasConceptScore W1688385935C2778029271 @default.
- W1688385935 hasConceptScore W1688385935C2780586882 @default.
- W1688385935 hasConceptScore W1688385935C33923547 @default.
- W1688385935 hasConceptScore W1688385935C34447519 @default.
- W1688385935 hasConceptScore W1688385935C41008148 @default.
- W1688385935 hasConceptScore W1688385935C60048249 @default.
- W1688385935 hasConceptScore W1688385935C80444323 @default.
- W1688385935 hasConceptScore W1688385935C89497691 @default.
- W1688385935 hasLocation W16883859351 @default.
- W1688385935 hasOpenAccess W1688385935 @default.
- W1688385935 hasPrimaryLocation W16883859351 @default.
- W1688385935 hasRelatedWork W1502083504 @default.
- W1688385935 hasRelatedWork W1503579182 @default.
- W1688385935 hasRelatedWork W1511336005 @default.
- W1688385935 hasRelatedWork W1520957705 @default.
- W1688385935 hasRelatedWork W1539763149 @default.
- W1688385935 hasRelatedWork W1541340697 @default.
- W1688385935 hasRelatedWork W1602972790 @default.
- W1688385935 hasRelatedWork W1605586974 @default.
- W1688385935 hasRelatedWork W1628187346 @default.
- W1688385935 hasRelatedWork W1645675097 @default.
- W1688385935 hasRelatedWork W16661495 @default.
- W1688385935 hasRelatedWork W1774324140 @default.
- W1688385935 hasRelatedWork W2041526687 @default.
- W1688385935 hasRelatedWork W2048746006 @default.
- W1688385935 hasRelatedWork W2076698873 @default.
- W1688385935 hasRelatedWork W2161391467 @default.
- W1688385935 hasRelatedWork W2295882966 @default.
- W1688385935 hasRelatedWork W2951412243 @default.
- W1688385935 hasRelatedWork W2951494809 @default.
- W1688385935 hasRelatedWork W58471491 @default.
- W1688385935 isParatext "false" @default.
- W1688385935 isRetracted "false" @default.
- W1688385935 magId "1688385935" @default.
- W1688385935 workType "article" @default.