Association for Logic Programming

Main menu

Skip to content
  • ALP
    • 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
  • TPLP
    • Scope and submission
    • Content
    • Accepted papers
    • Book Reviews
  • Alain Colmerauer Prize
  • Theses and Dissertations
    • PhD Theses
    • Master’s theses
  • Systems and Links
  • Prolog Community
ALP ISSUE, Feature Articles

Teyjus: A λProlog Implementation

by Editors • March 31, 2010

Gopalan Nadathur

University of Minnesota, USA

Communicated by: Brigitte Pientka

Read more →

ALP ISSUE, Book Announcement, Regular columns

Book Announcement: Argumentation in Artificial Intelligence

by Enrico Pontelli • March 31, 2010

Iyad Rahwan and Guillermo R. Simari

Read more →

ALP ISSUE, Community news, Regular columns

Software Announcement: Tom 2.7

by Enrico Pontelli • March 31, 2010

Pierre-Etienne Moreau
Loria, Inria, France

Read more →

ALP ISSUE, Community news, Regular columns

Software Announcement: Potassco Labs

by Enrico Pontelli • March 31, 2010

Torsten Schaub
University of Potsdam, Germany

Read more →

ALP ISSUE, Doctoral dissertations, Regular columns

Symbolic Analysis as a Basis for Program Comprehension

by Enrico Pontelli • March 31, 2010

Erkki Laitila
Jyväskylä Universit, Finland

Communicated by: Enrico Pontelli

Read more →

ALP ISSUE, Doctoral dissertations, Regular columns

Semantic Web Language Layering with Ontologies, Rules, and Meta-Modeling

by Enrico Pontelli • March 31, 2010

Jos de Bruijn
Free University of Bozen-Bolzano, Italy

Communicated by: Enrico Pontelli

Read more →

Page 75 of 77
« 1 … 73 74 75 76 77 »

Search in our archives

Categories

  • ALP ISSUE (274)
    • Accepted Papers (15)
    • Conference reports (43)
    • Editorial (37)
    • Feature Articles (82)
    • In Memoriam (19)
    • Left Field (3)
    • LP Systems (14)
    • Personal perspectives on LP (4)
    • Positions in LP (8)
    • Programming Contest (5)
    • Regular columns (39)
      • Book Announcement (11)
      • Community news (13)
      • Doctoral dissertations (6)
      • Games and Puzzles (7)
    • Research Groups (1)
  • Asyncronous News (193)
    • Call for papers (120)
    • Call for Participation (14)
    • Community News (19)
    • Conferences News (2)
    • PhD positions (10)
    • Positions in LP (12)
    • Schools (12)
  • Uncategorized (4)

Archives per month

The association for Logic Programming

  • Diversity and Inclusion Policy
  • ICLP 1993
  • ICLP 1994
  • ICLP 1995
  • ICLP 2010
  • ICLP 99 16th International Conference on Logic Programming
  • ILPS 1993
  • JICSLP 1996
  • JICSLP’92
  • Learning efficient constraints in answer set programming
  • Learning efficient constraints in answer set programming
  • The 2023 ALP Alain Colmerauer Prize
  • The 2024 Alain Colmerauer Prize
  • The 2025 Alain Colmerauer Prize
  • The ALP Alain Colmerauer Prize
    • The 2024 Alain Colmerauer Prize
  • TPLP Volume 22
  • TPLP Volume 23, 2023
  • TPLP Volume 24, 2024
  • tplp-volume-25-2025
  • tplp-volume-26-2026
  • The Association for Logic Programming
    • ALP: Mission and Vision
    • ALP History
    • ALP Board
    • ALP Newsletter
    • ALP Awards
    • ALP Policies
    • ALP Sponsorship Guidelines
  • ICLP Conferences
    • ICLP 1997
    • ICLP 2003
    • ICLP 2005
    • ICLP 2006
    • ICLP 2008
    • ICLP 2009
    • ICLP 2010
    • ICLP 2011
    • ICLP 2012
    • ICLP 2012
    • ICLP 2013
    • ICLP 2014
    • ICLP 2015
    • ICLP 2015
    • ICLP 2016
    • ICLP 2017
    • ICLP 2018
  • Theory and Practice of Logic Programming
    • Scope and submission
    • TPLP Volume 20, 2020
    • TPLP Volume 21
    • Content
      • TPLP Volume 18, 2018
      • Volume 19
      • TPLP Volume 17, 2017
        • 2015-03
        • 2015-09
        • 2016-07
        • 2016-08
        • 2016-09
        • 2016-10
        • 2016-11
        • 2016-12
        • 2016-13
        • 2017-01
        • 2017-02
        • 2017-03
        • 2017-04
        • 2017-05
        • 2017-07
        • 2017-08
        • 2017-09
        • 2017-10
      • TPLP Volume 16, 2016
        • 2014-08
        • 2014-10
        • 2015-01
        • 2015-02
        • 2015-04
        • 2015-05
        • 2015-06
        • 2015-07
        • 2015-08
        • 2016-01
        • 2016-02
        • 2016-03
        • 2016-04
        • 2016-05
        • 2016-06
      • TPLP Volume 15, 2015
        • 15(1)1
        • 15(1)2
        • 15(1)3
        • 15(1)4
        • 15(1)5
        • 15(2)1
        • 15(2)2
        • 15(2)3
        • 15(2)4
        • 15(2)5
        • 15(3)1
        • 15(3)2
        • 15(3)3
        • 15(3)4
        • 2014-04
        • 2014-05
        • 2014-06
        • 2014-07
      • TPLP Volume 14, 2014
        • 14(3)5
        • 14(6)1
        • 14(6)2
        • 14(6)3
        • 14(6)4
      • TPLP Volume 13, 2013
        • 13 (01) 1
        • 13 (01) 2
        • 13 (01) 3
        • 13 (01) 4
    • Accepted papers
      • 2017-06
      • 2017-11
      • 2017-12
    • Book Reviews
      • Book Review 2013-1
      • Book Review 2014-1
      • Book Review 2014-2
  • Theses and Dissertations
    • PhD Theses
      • A Formal Framework for Modelling and Analysing Safety-Critical Human Multitasking
      • A Portable Approach for Bidirectional Integration between a Logic and a Statically-Typed Object-Oriented Programming Language
      • Abstraction for Reasoning about Agent Behavior with Answer Set Programming
      • Algebraic Approach to Causal Logic Programs
      • Automated Reasoning via a Multi-sorted Fragment of Computable Set Theory with Applications to Semantic Web
      • Automatic Parallelisation for Mercury
      • Bisimulation Techniques and Algorithms for Concurrent Constraint Programming
      • Computable Set Theory and Logic Programming
      • Computational tasks in answer set programming: algoritms and implementations
      • Design and Implementation of a Modern ASP Grounder
      • Dynamic Magic Sets
      • Enhancing and Applying Answer Set Programming: Lazy Constraints, Partial Compilation and Question Answering
      • Extending IDP with second order logic
      • Extension and Efficient Evaluation of Disjunctive Logic Programs
      • Extensions and Applications of Probabilistic Logic Programming
      • Foundations of Communication-Centred Programming: Calculi, Logic & Types
      • Freeness and related analyses of constraint logic programs using abstract interpretation
      • From Logic Programming to Human Reasoning: How to be Artificially Human
      • Inference and Learning Systems for Uncertain Relational Data
      • Integrated HEX-Algorithms and Applications in Machine Learning
      • Knowledge representation and reasoning in incomplete logic programming
      • Logic Engineering. The Case of Description and Hybrid Logics
      • Logic Programming in non-conventional environments
      • Logic Programming with Preferences on Rules
      • Logical Agents: Memory Management, Advanced Architectures and Applications
      • Micro-Intelligence for the IoT: LP models and technologies
      • Model Checking: the Interval Way
      • Modeling and Verification of real-time and cyber-physical systems
      • Ontology-driven Information Extraction
      • Paracoherent Answer Set Programming
      • Portfolio Approaches in Constraint Programming
      • Probabilistic Reasoning and Learning for the Semantic Web
      • Promoting Modular Nonmonotonic Logic Programs
      • Proof Methods for Conditional and Preferential Logics
      • Reasoning about coroutines
      • Reasoning over Complex Temporal Specifications and Noisy Data Streams
      • Sequent Calculi with Context Restrictions and Applications to Conditional Logic
      • Specification and Verification of Declarative Open Interaction Models – A Logic-based framework
      • Structured interactive scores: From a structural description of a multimedia scenario to a real-time capable implementation with formal semantics
      • Timeline-based planning: Expressiveness and Complexity
      • Towards Ethical Chatbots: Monitoring and Evaluation of the Ethical Behavior of Employees in Online Customer Service Chat
      • Towards Ethical Chatbots: Monitoring and Evaluation of the Ethical Behavior of Employees in Online Customer Service Chat
      • Translators for interoperating and porting object-relational knowledge
    • Master’s theses
      • Deduzione automatica per logiche condizionali: analisi e sviluppo di un theorem prover
      • Processing Narratives by Means of Action Languages
  • Diversity and Inclusion Policy

ALP Newsletter

  • ALP ISSUE
    • Accepted Papers
    • Conference reports
    • Editorial
    • Feature Articles
    • In Memoriam
    • Left Field
    • LP Systems
    • Personal perspectives on LP
    • Positions in LP
    • Programming Contest
    • Regular columns
      • Book Announcement
      • Community news
      • Doctoral dissertations
      • Games and Puzzles
    • Research Groups
  • Asyncronous News
    • Call for papers
    • Call for Participation
    • Community News
    • Conferences News
    • PhD positions
    • Positions in LP
    • Schools
  • Uncategorized

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