อ่าน 2 นาที
สมาคมการเขียนโปรแกรมเชิงตรรกะ
สมาคมการเขียนโปรแกรมเชิงตรรกะ (ALP) ก่อตั้งขึ้นในปี 1986 พันธกิจของสมาคมคือ "เพื่อสนับสนุนการพัฒนาการเขียนโปรแกรมเชิงตรรกะเชื่อมโยงกับ วิทยาศาสตร์ เชิงรูปธรรมและมนุษยศาสตร์อื่นๆ
สมาคมการเขียนโปรแกรมเชิงตรรกะ
สมาคมการเขียนโปรแกรมเชิงตรรกะ (ALP) ก่อตั้งขึ้นในปี 1986 พันธกิจของสมาคมคือ "เพื่อสนับสนุนการพัฒนาการเขียนโปรแกรมเชิงตรรกะเชื่อมโยงกับ วิทยาศาสตร์ เชิงรูปธรรมและมนุษยศาสตร์อื่นๆ และส่งเสริมการใช้งานในแวดวงวิชาการและอุตสาหกรรมทั่วโลก" สมาคมฯ จัดการประชุมนานาชาติเกี่ยวกับการเขียนโปรแกรมเชิงตรรกะ[ 1 ]ดูแลวารสาร Theory and Practice of Logic Programming (TPLP) [ 2 ]และเผยแพร่จดหมายข่าวอิเล็กทรอนิกส์[ 3 ]
กิจกรรมของสมาคมได้รับการกำกับดูแลโดยคณะกรรมการบริหารและประธานที่ได้รับการเลือกตั้งจากสมาชิก ALP ประธานคนปัจจุบันคือ Enrico Pontelli [ 4 ]นี่คือรายชื่อประธานทั้งหมด: [ 5 ]
- ปี 2024 - เอนริโก ปอนเตลลี ที่มหาวิทยาลัยแห่งรัฐนิวเม็กซิโก
- โทมัส ไอเตอร์ (Thomas Eiter) ( ดำรงตำแหน่งชั่วคราวปี 2019-2024) ณมหาวิทยาลัยเทคโนโลยีเวียนนา
- ปี 2014-2019 ทอร์สเตน ชาอูบ ณมหาวิทยาลัยพอทสดัม
- ปี 2010-2014 โกปาล กุปตาที่มหาวิทยาลัยเท็กซัส ดัลลัส
- ปี 2005-2009 มานูเอล เอร์เมเนจิลโด ที่มหาวิทยาลัยเทคนิคมาดริด
- ปี 2001-2004 เวโรนิกา ดาห์ลที่มหาวิทยาลัยไซมอน เฟรเซอร์
- 1997-2000 Krzysztof R. อพาร์ทเมนท์ที่Centrum Wiskunde & Informaticaในอัมสเตอร์ดัม
- ปี 1993-1996 เดวิด สก็อตต์ วอร์เรน ที่สโตนี บรู๊ค
- ปี 1989-1992 แอร์เว่ กัลแลร์ ทำงานที่ศูนย์วิจัยอุตสาหกรรมคอมพิวเตอร์แห่งยุโรปในมิวนิก
- ปี 1986-1988 คีธ คลาร์กที่อิมพีเรียลคอลเลจลอนดอน
ในปี พ.ศ. 2540 ALP ได้มอบตำแหน่งผู้ก่อตั้งการเขียนโปรแกรมเชิงตรรกะ ให้กับนักวิจัยที่ได้รับการยอมรับ 15 คน เพื่อเป็นการยกย่องพวกเขาในฐานะผู้บุกเบิกในสาขานี้[ 6 ]
- มอริซ บรูยนูเก (เบลเยียม)
- ฌาคส์ โคเฮน (สหรัฐอเมริกา)
- อลัน โคลเมอราเออร์ (ฝรั่งเศส)
- คีธ คลาร์ก (สหราชอาณาจักร)
- เวโรนิกา ดาห์ล (แคนาดา/อาร์เจนตินา)
- มาร์เทน ฟาน เอ็มเดน (แคนาดา)
- แอร์เว กัลแลร์ (ฝรั่งเศส)
- โรเบิร์ต โควาลสกี (สหราชอาณาจักร)
- แจ็ค มิงเกอร์ (สหรัฐอเมริกา)
- เฟอร์นันโด เปเรย์รา (สหรัฐอเมริกา)
- หลุยส์ โมนิซ เปเรย์รา (โปรตุเกส)
- เรย์ ไรเตอร์ (แคนาดา)
- เจ. อลัน โรบินสัน (สหรัฐอเมริกา)
- ปีเตอร์ เซเรดี (ฮังการี)
- เดวิด เอชดี วอร์เรน (สหราชอาณาจักร)
รางวัล ALP Alain Colmerauer
รางวัล ALP Alain Colmerauer Prolog Heritage Prize (เรียกสั้นๆ ว่ารางวัล Alain Colmerauer ) [ 7 ]จัดโดย ALP รางวัลนี้มอบให้แก่ผลงานล่าสุดและความก้าวหน้าในทางปฏิบัติในการคำนวณที่ได้รับแรงบันดาลใจจาก Prolog ซึ่งเข้าใจในความหมายกว้าง โดยผลงานพื้นฐาน ด้านเทคโนโลยี และด้านปฏิบัติจะมีสิทธิ์ได้รับการพิจารณาหากมีหลักฐานที่พิสูจน์ได้หรือมีศักยภาพในการพัฒนาการเขียนโปรแกรมเชิงตรรกะในอนาคต
ลิงก์ภายนอก
- สมาคมการเขียนโปรแกรมเชิงตรรกะ (ALP)
- วารสารทฤษฎีและการปฏิบัติของการเขียนโปรแกรมเชิงตรรกะ
สรุปเนื้อหา
ข้อมูลสำคัญจากบทความ
ข้อมูลสำคัญเกี่ยวกับ สมาคมการเขียนโปรแกรมเชิงตรรกะ
สมาคมการเขียนโปรแกรมเชิงตรรกะ (ALP) ก่อตั้งขึ้นในปี 1986 พันธกิจของสมาคมคือ "เพื่อสนับสนุนการพัฒนาการเขียนโปรแกรมเชิงตรรกะเชื่อมโยงกับ วิทยาศาสตร์ เชิงรูปธรรมและมนุษยศาสตร์อื่นๆ
รางวัล ALP Alain Colmerauer
รางวัล ALP Alain Colmerauer Prolog Heritage Prize (เรียกสั้นๆ ว่า รางวัล Alain Colmerauer ) [ 7 ] จัดโดย ALP รางวัลนี้มอบให้แก่ผลงานล่าสุดและความก้าวหน้าในทางปฏิบัติในการคำนวณที่ได้รับแรงบันดาลใจจาก Prolog ซึ่งเข้าใจในความหมายกว้าง โดยผลงานพื้นฐาน...
ลิงก์ภายนอก
สมาคมการเขียนโปรแกรมเชิงตรรกะ (ALP) วารสารทฤษฎีและการปฏิบัติของการเขียนโปรแกรมเชิงตรรกะ ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Association_for_Logic_Programming&oldid=1247013572 "