1060:
177:
63:
22:
35:
41:
306:" (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
295:
is an academic conference aiming at discussing cutting-edge results in the fields of automated reasoning, computational logic, programming languages and their applications.
241:
139:
310:
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
213:
111:
1149:
220:
118:
1130:
328:
Following its slogan "To boldly go where no reasonable conference has gone before", LPAR typically takes place in locations that are unusual or difficult to reach.
227:
125:
209:
107:
87:
of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be
867:
842:
817:
792:
767:
742:
717:
234:
132:
1123:
1159:
692:
667:
642:
617:
592:
567:
539:
514:
486:
461:
436:
388:
278:
260:
158:
49:
198:
191:
298:
It grew out of the
Russian Conferences on Logic Programming 1990 and 1991; the idea to organize the conference was largely due to
84:
302:
who proposed to create the
Russian Association for Logic Programming. The conference was renamed in 1992 to "Logic Programming
1116:
80:
96:
1154:
187:
73:
92:
88:
927:
896:
293:
International
Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR)
923:
892:
1100:
322:
318:
299:
1059:
558:
International
Conference on Logic for Programming, Artificial Intelligence, and Reasoning
1066:
930:
899:
979:
1143:
1071:
954:
1024:
176:
505:
International
Conference on Logic for Programming and Automated Reasoning
317:
The LPAR steering committee consists of
Matthias Baaz, Chris Fermüller,
1081:
424:
International
Conference on Logic Programming and Automated Reasoning
1076:
79:
Please help to demonstrate the notability of the topic by citing
1085:
354:
1063:— accounting for 1st to 15th conference (1990–1994, 1999–2008)
210:"Logic for Programming, Artificial Intelligence and Reasoning"
170:
108:"Logic for Programming, Artificial Intelligence and Reasoning"
56:
15:
407:
St.Petersburg, Russia, on board the ship "Michail
Lomonosov"
430:
St.Petersburg, Russia, on board the ship "Michail
Lomonosov"
1104:
1053:
480:
Kiev, Ukraine, on board the ship "Marshal Koshevoi"
1012:
1001:
1099:This article about a computer conference is a
1025:"LPAR-24, Manizales Colombia, 4-9th June 2023"
1124:
8:
50:Learn how and when to remove these messages
1131:
1117:
1058:
279:Learn how and when to remove this message
261:Learn how and when to remove this message
159:Learn how and when to remove this message
1150:Theoretical computer science conferences
335:
993:
376:Russian Conference on Logic Programming
197:Please improve this article by adding
7:
1096:
1094:
1103:. You can help Knowledge (XXG) by
14:
31:This article has multiple issues.
175:
61:
20:
72:may not meet Knowledge (XXG)'s
39:or discuss these issues on the
1:
332:Overview of conference events
199:secondary or tertiary sources
1077:19th LPAR's home page (2013)
1072:18th LPAR's home page (2012)
1067:17th LPAR's home page (2010)
74:general notability guideline
1176:
1093:
836:Stellenbosch, South Africa
557:
504:
426:
423:
375:
81:reliable secondary sources
70:The topic of this article
1160:Computer conference stubs
387:
384:
378:
338:
304:and Automated Reasoning
533:Reunion Island, France
186:relies excessively on
786:Yogyakarta, Indonesia
455:St.Petersburg, Russia
973:Manizales, Colombia
948:Online due to COVID
686:Phnom Penh, Cambodia
661:Montego Bay, Jamaica
1000:History section at
636:Montevideo, Uruguay
611:Almaty, Kazakhstan
76:
1155:Logic conferences
1112:
1111:
985:
984:
917:Awassa, Ethiopia
868:978-3-662-48899-7
843:978-3-642-45220-8
818:978-3-642-28716-9
811:Mérida, Venezuela
793:978-3-642-16241-1
768:978-3-642-17510-7
743:978-3-540-89438-4
718:978-3-540-75560-9
289:
288:
281:
271:
270:
263:
245:
169:
168:
161:
143:
71:
54:
1167:
1133:
1126:
1119:
1095:
1062:
1057:
1056:
1054:Official website
1039:
1038:
1036:
1035:
1021:
1015:
1010:
1004:
998:
711:Yerevan, Armenia
586:Tbilisi, Georgia
508:Tbilisi, Georgia
336:
312:Intelligence and
284:
277:
266:
259:
255:
252:
246:
244:
203:
179:
171:
164:
157:
153:
150:
144:
142:
101:
65:
64:
57:
46:
24:
23:
16:
1175:
1174:
1170:
1169:
1168:
1166:
1165:
1164:
1140:
1139:
1138:
1137:
1091:
1052:
1051:
1048:
1043:
1042:
1033:
1031:
1023:
1022:
1018:
1011:
1007:
999:
995:
990:
980:ISSN: 2398-7340
955:ISSN: 2398-7340
382:Irkutsk, Russia
334:
323:Andrei Voronkov
319:Geoff Sutcliffe
300:Robert Kowalski
285:
274:
273:
272:
267:
256:
250:
247:
204:
202:
196:
192:primary sources
180:
165:
154:
148:
145:
102:
100:
78:
66:
62:
25:
21:
12:
11:
5:
1173:
1171:
1163:
1162:
1157:
1152:
1142:
1141:
1136:
1135:
1128:
1121:
1113:
1110:
1109:
1089:
1088:
1079:
1074:
1069:
1064:
1047:
1046:External links
1044:
1041:
1040:
1016:
1013:LPAR Home page
1005:
1002:LPAR Home page
992:
991:
989:
986:
983:
982:
977:
974:
971:
968:
965:
962:
958:
957:
952:
949:
946:
943:
940:
937:
933:
932:
921:
918:
915:
912:
909:
906:
902:
901:
890:
887:
886:Maun, Botswana
884:
881:
878:
875:
871:
870:
865:
862:
859:
856:
853:
850:
846:
845:
840:
837:
834:
831:
828:
825:
821:
820:
815:
812:
809:
806:
803:
800:
796:
795:
790:
787:
784:
781:
778:
775:
771:
770:
765:
762:
761:Dakar, Senegal
759:
756:
753:
750:
746:
745:
740:
737:
734:
731:
728:
725:
721:
720:
715:
712:
709:
706:
703:
700:
696:
695:
690:
687:
684:
681:
678:
675:
671:
670:
665:
662:
659:
656:
653:
650:
646:
645:
640:
637:
634:
631:
628:
625:
621:
620:
615:
612:
609:
606:
603:
600:
596:
595:
590:
587:
584:
581:
578:
575:
571:
570:
565:
562:
559:
556:
553:
550:
547:
543:
542:
537:
534:
531:
528:
525:
522:
518:
517:
512:
509:
506:
503:
500:
497:
494:
490:
489:
484:
481:
478:
475:
472:
469:
465:
464:
459:
456:
453:
450:
447:
444:
440:
439:
434:
431:
428:
425:
422:
419:
416:
413:
409:
408:
405:
402:
399:
396:
392:
391:
386:
383:
380:
377:
374:
371:
368:
365:
361:
360:
357:
352:
349:
346:
343:
340:
333:
330:
287:
286:
269:
268:
183:
181:
174:
167:
166:
69:
67:
60:
55:
29:
28:
26:
19:
13:
10:
9:
6:
4:
3:
2:
1172:
1161:
1158:
1156:
1153:
1151:
1148:
1147:
1145:
1134:
1129:
1127:
1122:
1120:
1115:
1114:
1108:
1106:
1102:
1097:
1092:
1087:
1083:
1080:
1078:
1075:
1073:
1070:
1068:
1065:
1061:
1055:
1050:
1049:
1045:
1030:
1029:easychair.org
1026:
1020:
1017:
1014:
1009:
1006:
1003:
997:
994:
987:
981:
978:
975:
972:
969:
966:
963:
960:
959:
956:
953:
950:
947:
944:
941:
938:
935:
934:
931:
929:
925:
922:
919:
916:
913:
910:
907:
904:
903:
900:
898:
894:
891:
888:
885:
882:
879:
876:
873:
872:
869:
866:
863:
860:
857:
854:
851:
848:
847:
844:
841:
838:
835:
832:
829:
826:
823:
822:
819:
816:
813:
810:
807:
804:
801:
798:
797:
794:
791:
788:
785:
782:
779:
776:
773:
772:
769:
766:
763:
760:
757:
754:
751:
748:
747:
744:
741:
738:
735:
732:
729:
726:
723:
722:
719:
716:
713:
710:
707:
704:
701:
698:
697:
694:
693:3-540-48281-4
691:
688:
685:
682:
679:
676:
673:
672:
669:
668:3-540-30553-X
666:
663:
660:
657:
654:
651:
648:
647:
644:
643:3-540-25236-3
641:
638:
635:
632:
629:
626:
623:
622:
619:
618:3-540-20101-7
616:
613:
610:
607:
604:
601:
598:
597:
594:
593:3-540-00010-0
591:
588:
585:
582:
579:
576:
573:
572:
569:
568:3-540-42957-3
566:
563:
560:
554:
551:
548:
545:
544:
541:
540:3-540-41285-9
538:
535:
532:
529:
526:
523:
520:
519:
516:
515:3-540-66492-0
513:
510:
507:
501:
498:
495:
492:
491:
488:
487:3-540-58216-9
485:
482:
479:
476:
473:
470:
467:
466:
463:
462:3-540-56944-8
460:
457:
454:
451:
448:
445:
442:
441:
438:
437:3-540-55727-X
435:
432:
429:
420:
417:
414:
411:
410:
406:
403:
400:
397:
394:
393:
390:
389:3-540-55460-2
381:
372:
369:
366:
363:
362:
358:
356:
353:
350:
347:
344:
341:
337:
331:
329:
326:
324:
320:
315:
313:
309:
305:
301:
296:
294:
283:
280:
265:
262:
254:
243:
240:
236:
233:
229:
226:
222:
219:
215:
212: –
211:
207:
206:Find sources:
200:
194:
193:
189:
184:This article
182:
178:
173:
172:
163:
160:
152:
141:
138:
134:
131:
127:
124:
120:
117:
113:
110: –
109:
105:
104:Find sources:
98:
94:
90:
86:
82:
75:
68:
59:
58:
53:
51:
44:
43:
38:
37:
32:
27:
18:
17:
1105:expanding it
1098:
1090:
1032:. Retrieved
1028:
1019:
1008:
996:
561:Havana, Cuba
327:
316:
314:Reasoning".
311:
307:
303:
297:
292:
290:
275:
257:
248:
238:
231:
224:
217:
205:
185:
155:
146:
136:
129:
122:
115:
103:
47:
40:
34:
33:Please help
30:
736:Doha, Qatar
251:August 2017
149:August 2017
85:independent
1144:Categories
1034:2023-08-28
988:References
861:Suva, Fiji
221:newspapers
188:references
119:newspapers
93:redirected
36:improve it
1082:LPAR page
928:2398-7340
897:2398-7340
351:Location
325:(chair).
83:that are
42:talk page
235:scholar
133:scholar
97:deleted
939:12-13
926:
908:16-21,
895:
827:10-15,
802:10-15,
777:10-15,
752:25-30,
727:22-27,
702:15-19,
677:13-17,
652:02-06,
627:14-18,
602:22-26,
577:14-18,
549:03-07,
524:11-12,
496:06-10,
471:16-22,
446:13-20,
415:15-20,
398:11-16,
367:14-18,
321:, and
237:
230:
223:
216:
208:
135:
128:
121:
114:
106:
89:merged
970:24th
967:2023
961:June
945:23rd
942:2021
877:7-12,
852:24-28
359:ISBN
348:Acr.
345:Name
339:Date
242:JSTOR
228:books
140:JSTOR
126:books
95:, or
1101:stub
1086:DBLP
964:4-9
936:Jan
924:ISSN
914:22st
911:2018
893:ISSN
883:21st
880:2017
864:9450
858:20th
855:2015
839:8312
833:19th
830:2013
814:7180
808:18th
805:2012
789:6397
783:17th
780:2010
764:6355
758:16th
755:2010
739:5330
733:15th
730:2008
714:4790
708:14th
705:2007
689:4246
683:13th
680:2006
664:3835
658:12th
655:2005
639:3452
633:11th
630:2004
614:2850
608:10th
605:2003
589:2514
580:2002
564:2250
552:2001
536:1955
527:2000
511:1705
499:1999
474:1994
449:1993
427:LPAR
418:1992
401:1991
379:RCLP
370:1990
355:LNCS
342:No.
291:The
214:news
112:news
1084:at
905:Nov
874:May
849:Nov
824:Dec
799:Mar
774:Oct
749:Apr
724:Nov
699:Oct
674:Nov
649:Dec
624:Mar
599:Sep
583:9th
574:Oct
555:8th
546:Dec
530:7th
521:Nov
502:6th
493:Sep
483:822
477:5th
468:Jul
458:698
452:4th
443:Jul
433:624
421:3rd
412:Jul
404:2nd
395:Sep
385:592
373:1st
364:Sep
308:for
190:to
1146::
1027:.
976:-
951:-
920:-
201:.
91:,
45:.
1132:e
1125:t
1118:v
1107:.
1037:.
889:-
282:)
276:(
264:)
258:(
253:)
249:(
239:·
232:·
225:·
218:·
195:.
162:)
156:(
151:)
147:(
137:·
130:·
123:·
116:·
99:.
77:.
52:)
48:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.