Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Transaction_logic> ?p ?o }
Showing triples 1 to 50 of
50
with 100 triples per page.
- Transaction_logic abstract "Transaction Logic is an extension of predicate logic that accounts in a clean and declarative way for the phenomenon of state changes in logic programs and databases. This extension adds connectives specifically designed for combining simple actions into complex transactions and for providing control over their execution. The logic has a natural model theory and a sound and complete proof theory. Transaction Logic has a Horn clause subset, which has a procedural as well as a declarative semantics. The important features of the logic include hypothetical and committed updates, dynamic constraints on transaction execution, non-determinism, and bulk updates. In this way, Transaction Logic is able to declaratively capture a number of non-logical phenomena, including procedural knowledge in artificial intelligence, active databases, and methods with side effects in object databases.Transaction Logic was originally proposed in by Anthony Bonner and Michael Kifer and later described in more detail in and. The most comprehensive description appears in.In later years, Transaction Logic was extended in various ways, including concurrency, defeasible reasoning, partially defined actions, and other features.In 2013, the original paper on Transaction Logic has won the 20-year Test of Time Award as the most influential paper from the proceedings of ICLP 1993 conference in the preceding 20 years.".
- Transaction_logic wikiPageExternalLink flora.sourceforge.net.
- Transaction_logic wikiPageExternalLink tr-interpreter-suite.tar.gz.
- Transaction_logic wikiPageExternalLink ~kifer.
- Transaction_logic wikiPageExternalLink ~bonner.
- Transaction_logic wikiPageExternalLink index.html.
- Transaction_logic wikiPageExternalLink transaction-logic.html.
- Transaction_logic wikiPageExternalLink iclp93.html.
- Transaction_logic wikiPageID "12817496".
- Transaction_logic wikiPageLength "6033".
- Transaction_logic wikiPageOutDegree "18".
- Transaction_logic wikiPageRevisionID "668546553".
- Transaction_logic wikiPageWikiLink Active_database.
- Transaction_logic wikiPageWikiLink Artificial_intelligence.
- Transaction_logic wikiPageWikiLink Category:Declarative_programming_languages.
- Transaction_logic wikiPageWikiLink Category:Knowledge_representation.
- Transaction_logic wikiPageWikiLink Category:Logic_programming_languages.
- Transaction_logic wikiPageWikiLink Concurrency.
- Transaction_logic wikiPageWikiLink Database.
- Transaction_logic wikiPageWikiLink Defeasible_reasoning.
- Transaction_logic wikiPageWikiLink Flora-2.
- Transaction_logic wikiPageWikiLink Horn_clause.
- Transaction_logic wikiPageWikiLink Logic_program.
- Transaction_logic wikiPageWikiLink Logic_programming.
- Transaction_logic wikiPageWikiLink Memoization.
- Transaction_logic wikiPageWikiLink Model_theory.
- Transaction_logic wikiPageWikiLink Object_database.
- Transaction_logic wikiPageWikiLink Open_source.
- Transaction_logic wikiPageWikiLink Predicate_logic.
- Transaction_logic wikiPageWikiLink Procedural_knowledge.
- Transaction_logic wikiPageWikiLink Proof_theory.
- Transaction_logic wikiPageWikiLink Tabling.
- Transaction_logic wikiPageWikiLinkText "Transaction logic".
- Transaction_logic wikiPageWikiLinkText "available".
- Transaction_logic hasPhotoCollection Transaction_logic.
- Transaction_logic wikiPageUsesTemplate Template:Citation_needed.
- Transaction_logic wikiPageUsesTemplate Template:Reflist.
- Transaction_logic subject Category:Declarative_programming_languages.
- Transaction_logic subject Category:Knowledge_representation.
- Transaction_logic subject Category:Logic_programming_languages.
- Transaction_logic hypernym Extension.
- Transaction_logic type Software.
- Transaction_logic comment "Transaction Logic is an extension of predicate logic that accounts in a clean and declarative way for the phenomenon of state changes in logic programs and databases. This extension adds connectives specifically designed for combining simple actions into complex transactions and for providing control over their execution. The logic has a natural model theory and a sound and complete proof theory.".
- Transaction_logic label "Transaction logic".
- Transaction_logic sameAs Lógica_de_transações.
- Transaction_logic sameAs m.02x64fd.
- Transaction_logic sameAs Q7833716.
- Transaction_logic sameAs Q7833716.
- Transaction_logic wasDerivedFrom Transaction_logic?oldid=668546553.
- Transaction_logic isPrimaryTopicOf Transaction_logic.