Matches in SemOpenAlex for { <https://semopenalex.org/work/W65333485> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W65333485 abstract "Good tree search algorithms are a key requirement for inference engines of rule languages. As Prolog exemplifies, inference engines based on traditional uninformed search methods with their well-known deficiencies are prone to compromise declarativity, the primary concern of rule languages. The paper presents a new family of uninformed search algorithms that combine the advantages of the traditional ones while avoiding their shortcomings. Moreover, the paper introduces a formal framework based on partial orderings, which allows precise and elegant analysis of such algorithms." @default.
- W65333485 created "2016-06-24" @default.
- W65333485 creator A5034338155 @default.
- W65333485 creator A5052935565 @default.
- W65333485 creator A5070748284 @default.
- W65333485 date "2009-01-01" @default.
- W65333485 modified "2023-09-23" @default.
- W65333485 title "Search for More Declarativity - Backward Reasoning for Rule Languages Reconsidered" @default.
- W65333485 cites W1541434994 @default.
- W65333485 cites W1562400694 @default.
- W65333485 cites W1589528070 @default.
- W65333485 cites W1646038686 @default.
- W65333485 cites W1980717258 @default.
- W65333485 cites W2011380290 @default.
- W65333485 cites W2026267935 @default.
- W65333485 cites W2118210775 @default.
- W65333485 cites W2150470619 @default.
- W65333485 cites W2152475379 @default.
- W65333485 cites W2752853835 @default.
- W65333485 cites W2911929719 @default.
- W65333485 cites W31561947 @default.
- W65333485 cites W40147648 @default.
- W65333485 cites W85236306 @default.
- W65333485 hasPublicationYear "2009" @default.
- W65333485 type Work @default.
- W65333485 sameAs 65333485 @default.
- W65333485 citedByCount "1" @default.
- W65333485 countsByYear W653334852013 @default.
- W65333485 crossrefType "journal-article" @default.
- W65333485 hasAuthorship W65333485A5034338155 @default.
- W65333485 hasAuthorship W65333485A5052935565 @default.
- W65333485 hasAuthorship W65333485A5070748284 @default.
- W65333485 hasConcept C129916263 @default.
- W65333485 hasConcept C144024400 @default.
- W65333485 hasConcept C149271511 @default.
- W65333485 hasConcept C154945302 @default.
- W65333485 hasConcept C199360897 @default.
- W65333485 hasConcept C26517878 @default.
- W65333485 hasConcept C2776214188 @default.
- W65333485 hasConcept C36289849 @default.
- W65333485 hasConcept C3746660 @default.
- W65333485 hasConcept C38652104 @default.
- W65333485 hasConcept C41008148 @default.
- W65333485 hasConcept C46355384 @default.
- W65333485 hasConcept C46743427 @default.
- W65333485 hasConcept C80444323 @default.
- W65333485 hasConcept C81721847 @default.
- W65333485 hasConceptScore W65333485C129916263 @default.
- W65333485 hasConceptScore W65333485C144024400 @default.
- W65333485 hasConceptScore W65333485C149271511 @default.
- W65333485 hasConceptScore W65333485C154945302 @default.
- W65333485 hasConceptScore W65333485C199360897 @default.
- W65333485 hasConceptScore W65333485C26517878 @default.
- W65333485 hasConceptScore W65333485C2776214188 @default.
- W65333485 hasConceptScore W65333485C36289849 @default.
- W65333485 hasConceptScore W65333485C3746660 @default.
- W65333485 hasConceptScore W65333485C38652104 @default.
- W65333485 hasConceptScore W65333485C41008148 @default.
- W65333485 hasConceptScore W65333485C46355384 @default.
- W65333485 hasConceptScore W65333485C46743427 @default.
- W65333485 hasConceptScore W65333485C80444323 @default.
- W65333485 hasConceptScore W65333485C81721847 @default.
- W65333485 hasLocation W653334851 @default.
- W65333485 hasOpenAccess W65333485 @default.
- W65333485 hasPrimaryLocation W653334851 @default.
- W65333485 hasRelatedWork W102093691 @default.
- W65333485 hasRelatedWork W126790049 @default.
- W65333485 hasRelatedWork W1560706056 @default.
- W65333485 hasRelatedWork W1601946679 @default.
- W65333485 hasRelatedWork W2101481789 @default.
- W65333485 hasRelatedWork W2185630119 @default.
- W65333485 hasRelatedWork W2402074049 @default.
- W65333485 hasRelatedWork W2600068092 @default.
- W65333485 hasRelatedWork W27008061 @default.
- W65333485 hasRelatedWork W2945598966 @default.
- W65333485 hasRelatedWork W3037698467 @default.
- W65333485 hasRelatedWork W3048064370 @default.
- W65333485 hasRelatedWork W3091984691 @default.
- W65333485 hasRelatedWork W3109289487 @default.
- W65333485 hasRelatedWork W3157376338 @default.
- W65333485 hasRelatedWork W32350392 @default.
- W65333485 hasRelatedWork W50262326 @default.
- W65333485 hasRelatedWork W68547923 @default.
- W65333485 hasRelatedWork W9626825 @default.
- W65333485 hasRelatedWork W997503981 @default.
- W65333485 isParatext "false" @default.
- W65333485 isRetracted "false" @default.
- W65333485 magId "65333485" @default.
- W65333485 workType "article" @default.