WorldCat Identities

Voronkov, Andrei 1959-

Overview
Works: 97 works in 457 publications in 3 languages and 10,971 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Creator, Other, Translator
Classifications: QA76.63, 006.3
Publication Timeline
.
Most widely held works by Andrei Voronkov
Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings by Andrei Voronkov( Book )

42 editions published between 1992 and 1993 in 3 languages and held by 617 WorldCat member libraries worldwide

"LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science"."--PUBLISHER'S WEBSITE
Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings by Andrei Voronkov( Book )

16 editions published in 1992 in English and Undetermined and held by 323 WorldCat member libraries worldwide

"This volume contains the proceedings of two Russian conferences on logic programming, held in 1990 in Irkutsk and in 1991 in St. Petersburg. The aim of the conferences was to bring together researchers from the Russian and the international logic programming communities. Topics covered in the volume include: logic programming, automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductivedatabases, implementation of declarative concepts, and programming in non-classical logics. This is the first volume to represent activity in the field of logic programming in the countries of the former Soviet Union."--PUBLISHER'S WEBSITE
Handbook of automated reasoning by J. A Robinson( Book )

22 editions published in 2001 in English and held by 271 WorldCat member libraries worldwide

Automated reasoning has matured into one of the most advanced areas of computer science. This handbook presents an overview of the fundamental ideas, techniques, and methods in automated reasoning and its applications. The material covers both theory and implementation
Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings by Miki Hermann( Book )

14 editions published in 2006 in English and held by 243 WorldCat member libraries worldwide

Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings by Andrei Voronkov( Book )

14 editions published in 2002 in English and held by 241 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 18th International Conference on Automated Deduction, CADE - 18, held in Copenhagen, Denmark, in July 2002. The 27 revised full papers and 10 system descriptions presented together with three invited contributions were carefully reviewed and selected from 70 submissions. The book offers topical sections on description logics and the semantic Web, proofcarrying code and compiler verifications, non-classical logics, system descriptions, SAT, model generation, CASC, combination and decision procedures, logical frameworks, model checking, equational reasoning, and proof theory
Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings by Franz Baader( Book )

14 editions published in 2005 in English and held by 227 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2004, held in Montevideo, Uruguay in March 2005. The 33 revised full papers presented together with abstracts of 4 invited papers were carefully reviewed and selected from 77 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, fuzzy logic, linear logic, multi-modal logic, proof theory, formal verification, protocol verification, constraint logic programming, programming calculi, theorem proving, etc
Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings by Geoff Sutcliffe( Book )

13 editions published in 2005 in English and held by 222 WorldCat member libraries worldwide

Logic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings by H Ganzinger( Book )

19 editions published between 1999 and 2007 in English and held by 217 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 6th International Conference on Logic Programming and Automated Reasoning, LPAR'99, held in Tbilisi, Georgia in September 1999. The 23 revised full papers presented were carefully reviewed and selected from 44 submissions. Among the topics addressed are logic programming, constraint logic programming, complexity aspects, logical inference search, model checking, formal specification, rewriting, practical reasoning, Horn clauses, linear logic, partial evalutation, etc
Perspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers by Irina Virbitskaite( Book )

11 editions published in 2007 in English and held by 217 WorldCat member libraries worldwide

Computer science -- theory and applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007 : proceedings by Volker Diekert( Book )

10 editions published in 2007 in English and held by 182 WorldCat member libraries worldwide

Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings by Nachum Dershowitz( Book )

13 editions published in 2007 in English and held by 173 WorldCat member libraries worldwide

Rewriting techniques and applications : 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings by D Hutchison( Book )

13 editions published in 2008 in English and German and held by 106 WorldCat member libraries worldwide

Annotation
Logic for programming, artificial intelligence, and reasoning : 15th international conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings by Jaime G Carbonell( Book )

15 editions published in 2008 in English and held by 86 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2008, which took place in Doha, Qatar, during November 22-27, 2008. The 45 revised full papers presented together with 3 invited talks were carefully revised and selected from 153 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and their applications and are organized in topical sections on automata, linear arithmetic, verification knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers by E. M Clarke( )

13 editions published between 2010 and 2011 in English and held by 56 WorldCat member libraries worldwide

Annotation
Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009 ; revised papers by Amir Pnueli( )

10 editions published in 2010 in English and held by 54 WorldCat member libraries worldwide

This book contains thoroughly refereed and revised papers from the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2009, held in Akademgorodok, Novosibirsk, Russia, in June 2009. The 26 revised full papers and 4 revised short papers presented were carefully reviewed and selected from 67 submissions. The volume also contains 5 invited papers covering a range of hot topics in system informatics. The papers address all current aspects of theoretical computer science, programming methodology, and new information technologies, which are among the most important contributions of system informatics
Programming logics : essays in memory of Harald Ganzinger by Andrei Voronkov( Book )

8 editions published in 2013 in English and held by 20 WorldCat member libraries worldwide

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career. The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his former colleagues, students, and friends who pay tribute to him through their writing. Their individual papers span a broad range of topics, including programming language semantics, analysis and verification, first-order and higher-order theorem proving, unification theory, non-classical logics, reasoning modulo theories, and applications of automated reasoning in biology
Logic for programming, artificial intelligence, and reasoning 17th international conference ; proceedings by C Fermüller( Book )

9 editions published in 2010 in English and held by 13 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 17th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-17, held in Yogyakarta, Indonesia, in October 2010. The 41 revised full papers presented were carefully reviewed and selected from 133 submissions
Logic for programming, artificial intelligence, and reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 : proceedings by Ken McMillan( Book )

8 editions published in 2013 in English and held by 12 WorldCat member libraries worldwide

This book constitutes the proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-19, held in December 2013 in Stellenbosch, South Africa. The 44 regular papers and 8 tool descriptions and experimental papers included in this volume were carefully reviewed and selected from 152 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields and to exchange ideas in a scientifically emerging part of the world
Perspectives of Systems Informatics : 8th International Ershov Informatics Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, revised selected papers by Edmund Clarke( Book )

8 editions published in 2012 in English and held by 6 WorldCat member libraries worldwide

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract interpretation, compiler construction, computer models and algorithms for bioinformatics, programming methodology and software engineering, information technologies, knowledge-based systems, and knowledge engineering
Logic for programming, artificial intelligence, and reasoning 18th international conference, LPAR-18, Mérida, Venezuela, March 11 - 15, 2012 ; proceedings by Nikolaj Björner( Book )

6 editions published in 2012 in English and held by 2 WorldCat member libraries worldwide

Annotation This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012. The 25 regular papers and 6 tool descriptions and experimental papers presented were carefully reviewed and selected from 74 submissions.The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.61 (from 0.47 for Perspectiv ... to 0.74 for Logic prog ...)

Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings
Alternative Names
Andrei Voronkov Academic

Andrei Voronkov russischer Informatiker

Voronkov, A.

Voronkov, A. 1959-

Voronkov, A. A. 1959-

Voronkov, A. A. (Andreĭ Aleksandrovich), 1959-

Voronkov, Andrei 1959-

Voronkov, Andrei Aleksandrovič 1959-

Voronkov, Andreĭ Aleksandrovich 1959-

Voronkov, Andrej 1959-

Воронков, А. А 1959-

Воронков, А. А. (Андрей Александрович), 1959-

Воронков, Андрей Александрович 1959-

Languages
English (268)

German (6)

Italian (1)

Covers
Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedingsHandbook of automated reasoningLogic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedingsAutomated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedingsLogic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedingsLogic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedingsLogic for programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedingsPerspectives of systems informatics : 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers