Matches in SemOpenAlex for { <https://semopenalex.org/work/W2177713036> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2177713036 endingPage "35" @default.
- W2177713036 startingPage "1" @default.
- W2177713036 abstract "In solving a query, the SLD proof procedure for definite programs sometimes searches an infinite space for a non existing solution. For example, querying a planner for an unreachable goal state. Such programs motivate the development of methods to prove the absence of a solution. Considering the definite program and the query ``<- Q'' as clauses of a first order theory, one can apply model generators which search for a finite interpretation in which the program clauses as well as the clause ``false <- Q'' are true. This paper develops a new approach which exploits the fact that all clauses are definite. It is based on a goal directed abductive search in the space of finite pre-interpretations for a pre-interpretation such that ``Q'' is false in the least model of the program based on it. Several methods for efficiently searching the space of pre-interpretations are presented. Experimental results confirm that our approach find solutions with less search than with the use of a first order model generator." @default.
- W2177713036 created "2016-06-24" @default.
- W2177713036 creator A5004343076 @default.
- W2177713036 creator A5021030087 @default.
- W2177713036 creator A5051729635 @default.
- W2177713036 creator A5090754913 @default.
- W2177713036 date "1999-11-01" @default.
- W2177713036 modified "2023-09-24" @default.
- W2177713036 title "Detecting Unsolvable Queries for Definite Logic Programs" @default.
- W2177713036 hasPublicationYear "1999" @default.
- W2177713036 type Work @default.
- W2177713036 sameAs 2177713036 @default.
- W2177713036 citedByCount "6" @default.
- W2177713036 crossrefType "journal-article" @default.
- W2177713036 hasAuthorship W2177713036A5004343076 @default.
- W2177713036 hasAuthorship W2177713036A5021030087 @default.
- W2177713036 hasAuthorship W2177713036A5051729635 @default.
- W2177713036 hasAuthorship W2177713036A5090754913 @default.
- W2177713036 hasConcept C111919701 @default.
- W2177713036 hasConcept C11413529 @default.
- W2177713036 hasConcept C121332964 @default.
- W2177713036 hasConcept C163258240 @default.
- W2177713036 hasConcept C165696696 @default.
- W2177713036 hasConcept C199360897 @default.
- W2177713036 hasConcept C2776999362 @default.
- W2177713036 hasConcept C2778572836 @default.
- W2177713036 hasConcept C2780654840 @default.
- W2177713036 hasConcept C2780992000 @default.
- W2177713036 hasConcept C38652104 @default.
- W2177713036 hasConcept C41008148 @default.
- W2177713036 hasConcept C48103436 @default.
- W2177713036 hasConcept C527412718 @default.
- W2177713036 hasConcept C62520636 @default.
- W2177713036 hasConcept C80444323 @default.
- W2177713036 hasConceptScore W2177713036C111919701 @default.
- W2177713036 hasConceptScore W2177713036C11413529 @default.
- W2177713036 hasConceptScore W2177713036C121332964 @default.
- W2177713036 hasConceptScore W2177713036C163258240 @default.
- W2177713036 hasConceptScore W2177713036C165696696 @default.
- W2177713036 hasConceptScore W2177713036C199360897 @default.
- W2177713036 hasConceptScore W2177713036C2776999362 @default.
- W2177713036 hasConceptScore W2177713036C2778572836 @default.
- W2177713036 hasConceptScore W2177713036C2780654840 @default.
- W2177713036 hasConceptScore W2177713036C2780992000 @default.
- W2177713036 hasConceptScore W2177713036C38652104 @default.
- W2177713036 hasConceptScore W2177713036C41008148 @default.
- W2177713036 hasConceptScore W2177713036C48103436 @default.
- W2177713036 hasConceptScore W2177713036C527412718 @default.
- W2177713036 hasConceptScore W2177713036C62520636 @default.
- W2177713036 hasConceptScore W2177713036C80444323 @default.
- W2177713036 hasLocation W21777130361 @default.
- W2177713036 hasOpenAccess W2177713036 @default.
- W2177713036 hasPrimaryLocation W21777130361 @default.
- W2177713036 hasRelatedWork W13925634 @default.
- W2177713036 hasRelatedWork W1479960293 @default.
- W2177713036 hasRelatedWork W1528766508 @default.
- W2177713036 hasRelatedWork W1552203816 @default.
- W2177713036 hasRelatedWork W1571477890 @default.
- W2177713036 hasRelatedWork W1580088798 @default.
- W2177713036 hasRelatedWork W1803582651 @default.
- W2177713036 hasRelatedWork W1836582804 @default.
- W2177713036 hasRelatedWork W2014272228 @default.
- W2177713036 hasRelatedWork W2030847989 @default.
- W2177713036 hasRelatedWork W2070553391 @default.
- W2177713036 hasRelatedWork W2157345790 @default.
- W2177713036 hasRelatedWork W2252478902 @default.
- W2177713036 hasRelatedWork W2740693656 @default.
- W2177713036 hasRelatedWork W2769306164 @default.
- W2177713036 hasRelatedWork W2794132139 @default.
- W2177713036 hasRelatedWork W2951371941 @default.
- W2177713036 hasRelatedWork W2963799957 @default.
- W2177713036 hasRelatedWork W3209351390 @default.
- W2177713036 hasRelatedWork W626807938 @default.
- W2177713036 hasVolume "1999" @default.
- W2177713036 isParatext "false" @default.
- W2177713036 isRetracted "false" @default.
- W2177713036 magId "2177713036" @default.
- W2177713036 workType "article" @default.