Logic for Programming, Artificial Intelligence and Reasoning

id: logic-for-programming-artificial-intelligence-and-reasoning-275-429453
title: Logic for Programming, Artificial Intelligence and Reasoning
text: 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 confere
brand slug: wiki
category slug: encyclopedia
description:
original url: https://en.wikipedia.org/wiki/Logic_for_Programming,_Artificial_Intelligence_and_Reasoning
date created:
date modified: 2023-10-02T15:17:33Z
main entity: {"identifier":"Q18350141","url":"https://www.wikidata.org/entity/Q18350141"}
image:
fields total: 13
integrity: 13

Related Entries

Explore Next Part