WorldCat Identities

Voronkov, Andrei 1959-

Overview
Works: 84 works in 295 publications in 4 languages and 9,009 library holdings
Genres: Conference proceedings  Handbooks, manuals, etc 
Roles: Editor, Creator, Other
Classifications: QA76.63, 005.115
Publication Timeline
Key
Publications about  Andrei Voronkov Publications about Andrei Voronkov
Publications by  Andrei Voronkov Publications by Andrei Voronkov
Most widely held works by Andrei Voronkov
Logic for programming, artificial intelligence, and reasoning 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings by Miki Hermann ( )
12 editions published in 2006 in English and held by 526 WorldCat member libraries worldwide
Logic for programming, artificial intelligence, and reasoning 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings by Geoff Sutcliffe ( )
10 editions published in 2005 in English and held by 507 WorldCat member libraries worldwide
Logic for programming, artificial intelligence, and reasoning 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings by Franz Baader ( )
8 editions published in 2005 in English and held by 483 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 ( )
10 editions published in 2007 in English and and held by 473 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia, October 15-19, 2007. The 36 revised full papers presented together with 15 short papers and 3 invited talks were carefully reviewed and selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics
Handbook of automated reasoning by Alan Robinson ( Book )
16 editions published in 2001 in English and held by 412 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
Perspectives of systems informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006 ; revised papers by Irina Virbitskaite ( )
9 editions published in 2007 in English and held by 408 WorldCat member libraries worldwide
Logic for programming, artificial intelligence, and reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings by LPAR (Conference) ( )
8 editions published in 2008 in English and held by 397 WorldCat member libraries worldwide
Rewriting techniques and applications 19th international conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008 : proceedings by D Hutchison ( )
8 editions published in 2008 in English and German and held by 392 WorldCat member libraries worldwide
Annotation
Logic for programming, artificial intelligence, and reasoning 16th international conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010 : revised selected papers by Edmund Clarke ( )
8 editions published between 2010 and 2011 in English and held by 388 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 ( )
9 editions published in 2010 in English and held by 385 WorldCat member libraries worldwide
Annotation
Logic for programming, artificial Intelligence, and reasoning 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010 : proceedings by C Fermüller ( )
7 editions published in 2010 in English and held by 368 WorldCat member libraries worldwide
Annotation
Perspectives of systems informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers by Edmund Clarke ( )
5 editions published in 2012 in English and held by 328 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 programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings by Andrei Voronkov ( Book )
12 editions published in 1992 in English and German and held by 324 WorldCat member libraries worldwide
"This volume contains the proceedings of LPAR '92, the international conference on logic programming and automated reasoning held in St. Petersburg in July 1992. The aim of the conference was to bring together researchers from the Russian and the international logic programming and theorem proving communities. The topics of interest covered by papers inthe volume include automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductive databases, implementation of declarative concepts, and programming in non-classical logics. LPAR '92 is the successor of the First and Second Russian Conferences on Logic Programming held in 1990 and 1991, respectively, the proceedings of which were publishedin LNAI Vol. 592."--PUBLISHER'S WEBSITE
Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 : proceedings by Andrei Voronkov ( Book )
15 editions published in 1993 in 3 languages and held by 302 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 for programming, artificial intelligence, and reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings by Nikolaj Björner ( )
4 editions published in 2012 in English and held by 299 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
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 A Voronkov ( Book )
9 editions published in 1992 in English and Undetermined and held by 298 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
Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings by Andrei Voronkov ( Book )
10 editions published in 2002 in English and held by 294 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
Programming logics essays in memory of Harald Ganzinger by Andrei Voronkov ( )
4 editions published in 2013 in English and held by 289 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 and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings by Michel Parigot ( Book )
8 editions published in 2000 in English and held by 282 WorldCat member libraries worldwide
This book constitutes the refereed proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning, LPAR 2000, held in Reunion Island, France in November 2000. The 26 revised full papers presented together with four invited contributions were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on nonmonotonic reasoning, descriptive complexity, specification and automatic proof-assistants, theorem proving, verification, logic programming and constraint logic programming, nonclassical logics and the lambda calculus, logic and databases, program analysis, mu-calculus, planning and reasoning about actions
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.76 (from 0.70 for Handbook o ... to 0.86 for Logic prog ...)
Alternative Names
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 (168)
German (6)
Italian (1)
(1)
Covers