About: Transaction logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

unknown

Property	Value
dbo:wikiPageExternalLink	http://flora.sourceforge.net http://www.cs.stonybrook.edu/~kifer/ https://www.cs.nmsu.edu/ALP/the-association-for-logic-programming/alp-awards/ https://www.cs.stonybrook.edu/about-us/News/ALP-Presents-Prof-Kifer-20-year-Test-Time-Award http://www.cs.toronto.edu/~bonner/ http://www.informatik.uni-trier.de/~ley/db/conf/iclp/iclp93.html
dbo:wikiPageWikiLink	dbr:Flora-2 dbr:Procedural_knowledge dbr:Artificial_intelligence dbc:Logic_programming_languages dbr:Object_database dbr:Proof_theory dbr:Horn_clause dbr:Concurrency_(computer_science) dbr:Defeasible_reasoning dbr:Database dbc:Knowledge_representation dbr:Active_database dbc:Declarative_programming_languages dbr:Open_source dbr:Model_theory dbr:Association_for_Logic_Programming dbr:Predicate_logic dbr:Logic_program dbr:Tabling
dbp:wikiPageUsesTemplate	dbt:! dbt:Reflist dbt:Mono
dct:subject	dbc:Logic_programming_languages dbc:Knowledge_representation dbc:Declarative_programming_languages
gold:hypernym	dbr:Extension
rdfs:label	Transaction logic (en) Lógica de transações (pt)
owl:sameAs	freebase:Transaction logic wikidata:Transaction logic dbpedia-pt:Transaction logic dbpedia-global:Transaction logic
prov:wasDerivedFrom	wikipedia-en:Transaction_logic?oldid=1212736231&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Transaction_logic
is dbo:wikiPageWikiLink of	dbr:Flora-2 dbr:Logic_programming dbr:F-logic dbr:Prolog dbr:Index_of_philosophy_articles_(R–Z)
is foaf:primaryTopic of	wikipedia-en:Transaction_logic

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International