About: Logic for Programming, Artificial Intelligence and Reasoning

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Logic for Programming, Artificial Intelligence and Reasoning Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:SocietalEvent, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/c/9t6Lw1JesF

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. The LPAR steering committee consists of Matthias Baaz, Chris Fermüller, Geoff Sutcliffe, and Andrei Voronkov (chair).

Attributes	Values
rdf:type	Thing societal event
rdfs:label	Logic for Programming, Artificial Intelligence and Reasoning (en)
rdfs: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. The LPAR steering committee consists of Matthias Baaz, Chris Fermüller, Geoff Sutcliffe, and Andrei Voronkov (chair). (en)
dct:subject	Logic conferences Theoretical computer science conferences
Wikipage page ID	43763081 (xsd:integer)
Wikipage revision ID	1017459173 (xsd:integer)
Link from a Wikipage to another Wikipage	Robert Kowalski Geoff Sutcliffe Andrei Voronkov Logic conferences DBLP Theoretical computer science conferences LNCS
Link from a Wikipage to an external page	http://www.computational-logic.org/lpar-17/Home.html http://www.cs.sun.ac.za/lpar-19 http://www.easychair.org/publications/volume/LPAR-22 https://dblp.org/streams/conf/lpar http://www.cs.miami.edu/~geoff/Conferences/LPAR-18 http://www.easychair.org/publications/volume/LPAR-21
sameAs	Logic for Programming, Artificial Intelligence and Reasoning Logic for Programming, Artificial Intelligence and Reasoning Logic for Programming, Artificial Intelligence and Reasoning Logic for Programming, Artificial Intelligence and Reasoning Logic for Programming, Artificial Intelligence and Reasoning Logic for Programming, Artificial Intelligence and Reasoning Logic for Programming, Artificial Intelligence and Reasoning
dbp:wikiPageUsesTemplate	dbt:Authority_control dbt:ISBNT dbt:ISSN dbt:Multiple_issues dbt:Notability dbt:Official_website dbt:Primary_sources dbt:Reflist dbt:Compu-conference-stub
has 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). (en)
gold:hypernym	Conference
prov:wasDerivedFrom	wikipedia-en:Logic_for_Programming,_Artificial_Intelligence_and_Reasoning?oldid=1017459173&ns=0
page length (characters) of wiki page	4325 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Logic_for_Programming,_Artificial_Intelligence_and_Reasoning
is Link from a Wikipage to another Wikipage of	Christoph Walther Termination analysis Logic for Programming, Artificial Intelligence, and Reasoning International Conference on Logic Programming and Automated Reasoning International Conference on Logic for Programming, Artificial Intelligence and Reasoning Russian Conference on Logic Programming
is Wikipage redirect of	Logic for Programming, Artificial Intelligence, and Reasoning International Conference on Logic Programming and Automated Reasoning International Conference on Logic for Programming, Artificial Intelligence and Reasoning Russian Conference on Logic Programming
is foaf:primaryTopic of	wikipedia-en:Logic_for_Programming,_Artificial_Intelligence_and_Reasoning

Faceted Search & Find service v1.17_git147 as of Sep 06 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Sep 2 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 63 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software