Association for Logic Programming

Main menu

Skip to content
  • The Association for Logic Programming
    • Mission and Vision
    • ALP History
    • ALP Board
    • ALP Newsletter
    • ALP Awards
    • ALP by laws
      • ALP Policies
      • ALP EC Elections
      • Diversity and Inclusion Policy
      • ALP Sponsorship Guidelines
      • Conference Policy
      • For referees
  • ICLP Conferences
  • Theory and Practice of Logic Programming
    • Scope and submission
    • Content
    • Accepted papers
    • Book Reviews
  • Theses and Dissertations
    • PhD Theses
    • Master’s theses
  • Systems and Links
ALP ISSUE, Book Announcement, Regular columns

Draft Book Announcement: Computational Logic and Human Life – How to be Artificially Intelligent

by Enrico Pontelli • March 31, 2010

Robert Kowalski, Imperial College, UK

Read more →

ALP ISSUE, LP Systems

The ProB Animator and Model Checker

by Editors • March 31, 2010

Michael Leuschel
Heinrich-Heine-Universität Düsseldorf
Institut für Informatik

Read more →

ALP ISSUE, Programming Contest

Report of the 16th Prolog Programming Contest

by Enrico Pontelli • March 31, 2010

Tom Schrijvers
K.U. Leuven, Belgium

Read more →

ALP ISSUE, Conference reports

Report of the 1st Commercial Users of Logic Programming workshop

by Enrico Pontelli • March 31, 2010

Tom Schrijvers
K.U. Leuven, Belgium

Read more →

ALP ISSUE, Doctoral dissertations, Regular columns

Logic and Abstraction, Verification and Falsification

by Enrico Pontelli • March 31, 2010

Jan-Georg Smaus
Albert-Ludwigs-Universit¨at Freiburg, Germany

Read more →

ALP ISSUE, Feature Articles

The Autonomous Agent Architecture

by Editors • March 31, 2010

Marcello Balduccini
Eastman Kodak Company, USA

Michael Gelfond
Texas Tech University, USA

Communicated by: Francesca Toni

Read more →

Page 68 of 71
« 1 … 66 67 68 69 70 71 »

Search in our archives

Categories

  • ALP ISSUE (261)
    • Accepted Papers (14)
    • Conference reports (42)
    • Editorial (36)
    • Feature Articles (80)
    • In Memoriam (15)
    • Left Field (3)
    • LP Systems (11)
    • Personal perspectives on LP (4)
    • Positions in LP (8)
    • Programming Contest (5)
    • Regular columns (38)
      • Book Announcement (11)
      • Community news (13)
      • Doctoral dissertations (5)
      • Games and Puzzles (7)
    • Research Groups (1)
  • Asyncronous News (175)
    • Call for papers (107)
    • Call for Participation (14)
    • Community News (18)
    • Conferences News (1)
    • PhD positions (10)
    • Positions in LP (10)
    • Schools (12)
  • Uncategorized (2)

Archives per month

Copyright © 2023 Association for Logic Programming. All Rights Reserved. The Magazine Basic Theme by bavotasan.com.