Matches in SemOpenAlex for { <https://semopenalex.org/work/W2171569810> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2171569810 endingPage "1850" @default.
- W2171569810 startingPage "1849" @default.
- W2171569810 abstract "My thesis describes optimization techniques and extensions for the Horn Transaction Logic. The Horn Transaction Logic is an extension of the 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 the calls, states and answers in a searchable structure, so that the same call is not re-executed ad infinitum. With these techniques, we can efficiently compute queries to transaction logic programs, and when the underlying programs have the bounded termdepth property, these techniques are guaranteed to terminate. I also present extensions to Transaction Logic, for instance a definite semantics for the existentially quantified values that occur in facts, queries and updates of facts. The applications of these techniques promise great improvements in the uses of transaction logic: statechanging systems, artificial intelligence planning, dynamic constraints on transaction execution, workflow modeling and verification, and systems involving financial transactions." @default.
- W2171569810 created "2016-06-24" @default.
- W2171569810 creator A5013114471 @default.
- W2171569810 date "2008-07-13" @default.
- W2171569810 modified "2023-10-18" @default.
- W2171569810 title "Optimizations and extensions for the horn transaction logic programs" @default.
- W2171569810 cites W1522225310 @default.
- W2171569810 cites W1995080554 @default.
- W2171569810 cites W1997189447 @default.
- W2171569810 hasPublicationYear "2008" @default.
- W2171569810 type Work @default.
- W2171569810 sameAs 2171569810 @default.
- W2171569810 citedByCount "0" @default.
- W2171569810 crossrefType "proceedings-article" @default.
- W2171569810 hasAuthorship W2171569810A5013114471 @default.
- W2171569810 hasConcept C102993220 @default.
- W2171569810 hasConcept C121332964 @default.
- W2171569810 hasConcept C128838566 @default.
- W2171569810 hasConcept C165801399 @default.
- W2171569810 hasConcept C172385210 @default.
- W2171569810 hasConcept C184337299 @default.
- W2171569810 hasConcept C189790780 @default.
- W2171569810 hasConcept C199360897 @default.
- W2171569810 hasConcept C2777796570 @default.
- W2171569810 hasConcept C41008148 @default.
- W2171569810 hasConcept C48103436 @default.
- W2171569810 hasConcept C62520636 @default.
- W2171569810 hasConcept C75949130 @default.
- W2171569810 hasConcept C80444323 @default.
- W2171569810 hasConceptScore W2171569810C102993220 @default.
- W2171569810 hasConceptScore W2171569810C121332964 @default.
- W2171569810 hasConceptScore W2171569810C128838566 @default.
- W2171569810 hasConceptScore W2171569810C165801399 @default.
- W2171569810 hasConceptScore W2171569810C172385210 @default.
- W2171569810 hasConceptScore W2171569810C184337299 @default.
- W2171569810 hasConceptScore W2171569810C189790780 @default.
- W2171569810 hasConceptScore W2171569810C199360897 @default.
- W2171569810 hasConceptScore W2171569810C2777796570 @default.
- W2171569810 hasConceptScore W2171569810C41008148 @default.
- W2171569810 hasConceptScore W2171569810C48103436 @default.
- W2171569810 hasConceptScore W2171569810C62520636 @default.
- W2171569810 hasConceptScore W2171569810C75949130 @default.
- W2171569810 hasConceptScore W2171569810C80444323 @default.
- W2171569810 hasLocation W21715698101 @default.
- W2171569810 hasOpenAccess W2171569810 @default.
- W2171569810 hasPrimaryLocation W21715698101 @default.
- W2171569810 hasRelatedWork W1133241177 @default.
- W2171569810 hasRelatedWork W12807312 @default.
- W2171569810 hasRelatedWork W1499093937 @default.
- W2171569810 hasRelatedWork W1841862047 @default.
- W2171569810 hasRelatedWork W1853385171 @default.
- W2171569810 hasRelatedWork W1975813326 @default.
- W2171569810 hasRelatedWork W2011380290 @default.
- W2171569810 hasRelatedWork W2014545631 @default.
- W2171569810 hasRelatedWork W2167845698 @default.
- W2171569810 hasRelatedWork W2403489983 @default.
- W2171569810 hasRelatedWork W2539027192 @default.
- W2171569810 hasRelatedWork W2548072053 @default.
- W2171569810 hasRelatedWork W2612872244 @default.
- W2171569810 hasRelatedWork W2949623342 @default.
- W2171569810 hasRelatedWork W2951494809 @default.
- W2171569810 hasRelatedWork W2989107313 @default.
- W2171569810 hasRelatedWork W2997220097 @default.
- W2171569810 hasRelatedWork W3088666520 @default.
- W2171569810 hasRelatedWork W58161474 @default.
- W2171569810 hasRelatedWork W637774 @default.
- W2171569810 isParatext "false" @default.
- W2171569810 isRetracted "false" @default.
- W2171569810 magId "2171569810" @default.
- W2171569810 workType "article" @default.