Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105423659> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2105423659 endingPage "1801" @default.
- W2105423659 startingPage "1800" @default.
- W2105423659 abstract "In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with state updates and it has a SLD-style evaluation algorithm. This SLD-style algorithm enters into infinite loops when computing answers to many recursive programs when they change the underlying state of the knowledge base. We solve this problem by tabling (caching) the calls, call states and answers (unifications and return states) in a searchable structure for the Sequential Transaction Logic, or building a graph for the query and memoize the hot vertices (vertices, currently, possible to execute) for the Propositional Concurrent Transaction Logic, so that the same call is not re-executed ad infinum. With these techniques, we can efficiently compute queries to transaction logic programs, and when the underlying programs have the bounded term-depth property (Transaction Datalog) the techniques are guaranteed to terminate. The applications of these techniques promise termination and great improvements in the uses of transaction logic: state-changing systems, artificial intelligence planning, dynamic constraints on transaction execution, workflow modeling and verification, and systems involving financial transactions." @default.
- W2105423659 created "2016-06-24" @default.
- W2105423659 creator A5013114471 @default.
- W2105423659 date "2008-07-13" @default.
- W2105423659 modified "2023-09-24" @default.
- W2105423659 title "Querying sequential and concurrent horn transaction logic programs using tabling techniques" @default.
- W2105423659 cites W1522225310 @default.
- W2105423659 cites W1557658075 @default.
- W2105423659 cites W1995080554 @default.
- W2105423659 cites W1997189447 @default.
- W2105423659 cites W2072445657 @default.
- W2105423659 cites W2113540078 @default.
- W2105423659 hasPublicationYear "2008" @default.
- W2105423659 type Work @default.
- W2105423659 sameAs 2105423659 @default.
- W2105423659 citedByCount "0" @default.
- W2105423659 crossrefType "proceedings-article" @default.
- W2105423659 hasAuthorship W2105423659A5013114471 @default.
- W2105423659 hasConcept C11354467 @default.
- W2105423659 hasConcept C128838566 @default.
- W2105423659 hasConcept C148230440 @default.
- W2105423659 hasConcept C189790780 @default.
- W2105423659 hasConcept C191087605 @default.
- W2105423659 hasConcept C199360897 @default.
- W2105423659 hasConcept C25185021 @default.
- W2105423659 hasConcept C41008148 @default.
- W2105423659 hasConcept C48103436 @default.
- W2105423659 hasConcept C72108876 @default.
- W2105423659 hasConcept C75949130 @default.
- W2105423659 hasConcept C80444323 @default.
- W2105423659 hasConceptScore W2105423659C11354467 @default.
- W2105423659 hasConceptScore W2105423659C128838566 @default.
- W2105423659 hasConceptScore W2105423659C148230440 @default.
- W2105423659 hasConceptScore W2105423659C189790780 @default.
- W2105423659 hasConceptScore W2105423659C191087605 @default.
- W2105423659 hasConceptScore W2105423659C199360897 @default.
- W2105423659 hasConceptScore W2105423659C25185021 @default.
- W2105423659 hasConceptScore W2105423659C41008148 @default.
- W2105423659 hasConceptScore W2105423659C48103436 @default.
- W2105423659 hasConceptScore W2105423659C72108876 @default.
- W2105423659 hasConceptScore W2105423659C75949130 @default.
- W2105423659 hasConceptScore W2105423659C80444323 @default.
- W2105423659 hasLocation W21054236591 @default.
- W2105423659 hasOpenAccess W2105423659 @default.
- W2105423659 hasPrimaryLocation W21054236591 @default.
- W2105423659 hasRelatedWork W1532248060 @default.
- W2105423659 hasRelatedWork W1772624392 @default.
- W2105423659 hasRelatedWork W195427739 @default.
- W2105423659 hasRelatedWork W2059196002 @default.
- W2105423659 hasRelatedWork W2074285438 @default.
- W2105423659 hasRelatedWork W2479043920 @default.
- W2105423659 hasRelatedWork W2526821177 @default.
- W2105423659 hasRelatedWork W2594835963 @default.
- W2105423659 hasRelatedWork W2600478067 @default.
- W2105423659 hasRelatedWork W2605220977 @default.
- W2105423659 hasRelatedWork W2785579599 @default.
- W2105423659 hasRelatedWork W2785697622 @default.
- W2105423659 hasRelatedWork W2798768430 @default.
- W2105423659 hasRelatedWork W2964025851 @default.
- W2105423659 hasRelatedWork W3019340178 @default.
- W2105423659 hasRelatedWork W3098546564 @default.
- W2105423659 hasRelatedWork W3108213086 @default.
- W2105423659 hasRelatedWork W3166784586 @default.
- W2105423659 hasRelatedWork W3199853656 @default.
- W2105423659 hasRelatedWork W37965492 @default.
- W2105423659 isParatext "false" @default.
- W2105423659 isRetracted "false" @default.
- W2105423659 magId "2105423659" @default.
- W2105423659 workType "article" @default.