Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Logic_for_Programming,_Artificial_Intelligence_and_Reasoning> ?p ?o }
Showing triples 1 to 32 of
32
with 100 triples per page.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning abstract "The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aiming at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications.It grew out of the Russian Conferences on Logic Programming 1990 and 1991; the idea to organize the conference was largely due to Robert Kowalski who proposed to create the Russian Association for Logic Programming. The conference was renamed in 1992 to \"Logic Programming and Automated Reasoning\" (LPAR) to reflect its extended scope, due to considerable interest in automated reasoning in the Former Soviet Union. After a break from 1995 to 1998, LPAR continued in 1999 under the name \"Logic for Programming and Automated Reasoning\", to indicate an extension of its logic part beyond logic programming. In 2001, the name changed to \"Logic for Programming, Artificial Intelligence and Reasoning\".The LPAR steering committee consists of Matthias Baaz, Chris Fermüller, Geoff Sutcliffe, and Andrei Voronkov (chair).".
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageExternalLink lpar.net.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageExternalLink Home.html.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageExternalLink LPAR-18.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageExternalLink lpar-19.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageExternalLink index.html.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageID "43763081".
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageLength "3946".
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageOutDegree "7".
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageRevisionID "666476623".
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageWikiLink Andrei_Voronkov.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageWikiLink Category:Logic_conferences.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageWikiLink Category:Theoretical_computer_science_conferences.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageWikiLink DBLP.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageWikiLink Geoff_Sutcliffe.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageWikiLink Robert_Kowalski.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageWikiLinkText "Logic for Programming, Artificial Intelligence and Reasoning".
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageUsesTemplate Template:Compu-conference-stub.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageUsesTemplate Template:ISBNT.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wikiPageUsesTemplate Template:Reflist.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning subject Category:Logic_conferences.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning subject Category:Theoretical_computer_science_conferences.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning hypernym Conference.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning type SocietalEvent.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning comment "The International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is an academic conference aiming at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications.It grew out of the Russian Conferences on Logic Programming 1990 and 1991; the idea to organize the conference was largely due to Robert Kowalski who proposed to create the Russian Association for Logic Programming.".
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning label "Logic for Programming, Artificial Intelligence and Reasoning".
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning sameAs Q18350141.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning sameAs m.011sm9v0.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning sameAs Q18350141.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning wasDerivedFrom Logic_for_Programming,_Artificial_Intelligence_and_Reasoning?oldid=666476623.
- Logic_for_Programming,_Artificial_Intelligence_and_Reasoning isPrimaryTopicOf Logic_for_Programming,_Artificial_Intelligence_and_Reasoning.