Matches in SemOpenAlex for { <https://semopenalex.org/work/W1489076887> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1489076887 abstract "For many reasoning tasks in Artificial Intelligence, it is much simpler (or even essential) to deal with ground inferences rather than with inferences comprising variables. The usual approach to guarantee ground inferences is to introduce means for enumerating the underlying Herbrand-universe so that during subsequent inferences variables become bound in turn to the respective Herbrand-terms. The inherent problem with such an approach is that it may cause a tremendous number of unnecessary backtracking steps due to heaps of incorrect variable instantiations. In this paper, we propose a new concept that refrains from backtracking by appeal to novel inference rules that allow for correcting previous variable bindings. We show that our approach is not only beneficial for classical proof systems but it is also well-suited for tasks in knowledge representation and reasoning. The major contribution of this paper lies actually in an application of our approach to a calculi conceived for reasoning with default logic." @default.
- W1489076887 created "2016-06-24" @default.
- W1489076887 creator A5058467603 @default.
- W1489076887 creator A5073236004 @default.
- W1489076887 date "1999-01-01" @default.
- W1489076887 modified "2023-09-23" @default.
- W1489076887 title "Avoiding Non-Ground Variables" @default.
- W1489076887 cites W1509428113 @default.
- W1489076887 cites W1520443109 @default.
- W1489076887 cites W1552596904 @default.
- W1489076887 cites W1599554600 @default.
- W1489076887 cites W1749992561 @default.
- W1489076887 cites W2013192348 @default.
- W1489076887 cites W2025252200 @default.
- W1489076887 cites W2042551813 @default.
- W1489076887 cites W2084894656 @default.
- W1489076887 cites W2155322595 @default.
- W1489076887 cites W4213128210 @default.
- W1489076887 cites W4248795502 @default.
- W1489076887 doi "https://doi.org/10.1007/3-540-48747-6_9" @default.
- W1489076887 hasPublicationYear "1999" @default.
- W1489076887 type Work @default.
- W1489076887 sameAs 1489076887 @default.
- W1489076887 citedByCount "1" @default.
- W1489076887 crossrefType "book-chapter" @default.
- W1489076887 hasAuthorship W1489076887A5058467603 @default.
- W1489076887 hasAuthorship W1489076887A5073236004 @default.
- W1489076887 hasConcept C11413529 @default.
- W1489076887 hasConcept C134306372 @default.
- W1489076887 hasConcept C154945302 @default.
- W1489076887 hasConcept C156884757 @default.
- W1489076887 hasConcept C159032336 @default.
- W1489076887 hasConcept C17744445 @default.
- W1489076887 hasConcept C182365436 @default.
- W1489076887 hasConcept C199539241 @default.
- W1489076887 hasConcept C2776214188 @default.
- W1489076887 hasConcept C2776359362 @default.
- W1489076887 hasConcept C33923547 @default.
- W1489076887 hasConcept C3746660 @default.
- W1489076887 hasConcept C41008148 @default.
- W1489076887 hasConcept C80444323 @default.
- W1489076887 hasConcept C94625758 @default.
- W1489076887 hasConceptScore W1489076887C11413529 @default.
- W1489076887 hasConceptScore W1489076887C134306372 @default.
- W1489076887 hasConceptScore W1489076887C154945302 @default.
- W1489076887 hasConceptScore W1489076887C156884757 @default.
- W1489076887 hasConceptScore W1489076887C159032336 @default.
- W1489076887 hasConceptScore W1489076887C17744445 @default.
- W1489076887 hasConceptScore W1489076887C182365436 @default.
- W1489076887 hasConceptScore W1489076887C199539241 @default.
- W1489076887 hasConceptScore W1489076887C2776214188 @default.
- W1489076887 hasConceptScore W1489076887C2776359362 @default.
- W1489076887 hasConceptScore W1489076887C33923547 @default.
- W1489076887 hasConceptScore W1489076887C3746660 @default.
- W1489076887 hasConceptScore W1489076887C41008148 @default.
- W1489076887 hasConceptScore W1489076887C80444323 @default.
- W1489076887 hasConceptScore W1489076887C94625758 @default.
- W1489076887 hasLocation W14890768871 @default.
- W1489076887 hasOpenAccess W1489076887 @default.
- W1489076887 hasPrimaryLocation W14890768871 @default.
- W1489076887 hasRelatedWork W1490149163 @default.
- W1489076887 hasRelatedWork W1496833622 @default.
- W1489076887 hasRelatedWork W1506796530 @default.
- W1489076887 hasRelatedWork W1535454672 @default.
- W1489076887 hasRelatedWork W1545851864 @default.
- W1489076887 hasRelatedWork W1554774506 @default.
- W1489076887 hasRelatedWork W1557869917 @default.
- W1489076887 hasRelatedWork W1570400458 @default.
- W1489076887 hasRelatedWork W1602681829 @default.
- W1489076887 hasRelatedWork W1823677581 @default.
- W1489076887 hasRelatedWork W192838675 @default.
- W1489076887 hasRelatedWork W1982722043 @default.
- W1489076887 hasRelatedWork W2005224827 @default.
- W1489076887 hasRelatedWork W2024392975 @default.
- W1489076887 hasRelatedWork W2026488539 @default.
- W1489076887 hasRelatedWork W2039812824 @default.
- W1489076887 hasRelatedWork W2131027145 @default.
- W1489076887 hasRelatedWork W2153177979 @default.
- W1489076887 hasRelatedWork W2502981849 @default.
- W1489076887 hasRelatedWork W36270712 @default.
- W1489076887 isParatext "false" @default.
- W1489076887 isRetracted "false" @default.
- W1489076887 magId "1489076887" @default.
- W1489076887 workType "book-chapter" @default.