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

Master’s theses

2019

  • A Formal Framework for Modelling and Analysing Safety-Critical Human Multitasking, Craig Olson

2003

  • Deduzione automatica per logiche condizionali: analisi e sviluppo di un theorem prover, Gian Luca Pozzato

Search in our archives

Categories

  • ALP ISSUE (271)
    • Accepted Papers (15)
    • Conference reports (42)
    • Editorial (37)
    • Feature Articles (82)
    • In Memoriam (18)
    • Left Field (3)
    • LP Systems (13)
    • 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 (187)
    • Call for papers (115)
    • 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 ALP Alain Colmerauer Prize
  • The ALP Alain Colmerauer Prize
    • The 2024 Alain Colmerauer Prize
  • TPLP Volume 22
  • TPLP Volume 23, 2023
  • TPLP Volume 24, 2024
  • 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

Post History

Click to unfold.

Archives by Month

  • September 2024 (1)
  • August 2024 (1)
  • March 2024 (1)
  • January 2024 (2)
  • October 2023 (1)
  • September 2023 (3)
  • June 2023 (3)
  • May 2023 (1)
  • April 2023 (1)
  • February 2023 (2)
  • January 2023 (2)
  • November 2022 (1)
  • August 2022 (5)
  • May 2022 (1)
  • March 2022 (2)
  • February 2022 (1)
  • January 2022 (1)
  • October 2021 (1)
  • September 2021 (2)
  • August 2021 (3)
  • May 2021 (1)
  • April 2021 (1)
  • February 2021 (1)
  • January 2021 (1)
  • December 2020 (5)
  • October 2020 (1)
  • September 2020 (3)
  • August 2020 (1)
  • July 2020 (1)
  • June 2020 (1)
  • April 2020 (2)
  • February 2020 (1)
  • November 2019 (1)
  • October 2019 (2)
  • September 2019 (2)
  • August 2019 (1)
  • July 2019 (2)
  • June 2019 (3)
  • May 2019 (1)
  • April 2019 (5)
  • March 2019 (1)
  • February 2019 (3)
  • December 2018 (2)
  • October 2018 (1)
  • August 2018 (6)
  • July 2018 (5)
  • May 2018 (2)
  • April 2018 (5)
  • March 2018 (2)
  • February 2018 (1)
  • January 2018 (1)
  • December 2017 (1)
  • November 2017 (4)
  • October 2017 (3)
  • September 2017 (1)
  • August 2017 (3)
  • July 2017 (6)
  • June 2017 (1)
  • May 2017 (3)
  • April 2017 (4)
  • February 2017 (2)
  • January 2017 (2)
  • December 2016 (4)
  • November 2016 (1)
  • October 2016 (2)
  • September 2016 (4)
  • August 2016 (3)
  • July 2016 (3)
  • June 2016 (4)
  • May 2016 (1)
  • April 2016 (1)
  • March 2016 (3)
  • February 2016 (2)
  • January 2016 (3)
  • December 2015 (7)
  • October 2015 (1)
  • September 2015 (6)
  • August 2015 (3)
  • July 2015 (3)
  • June 2015 (2)
  • April 2015 (4)
  • March 2015 (3)
  • February 2015 (2)
  • January 2015 (1)
  • December 2014 (6)
  • November 2014 (1)
  • October 2014 (2)
  • September 2014 (6)
  • July 2014 (3)
  • June 2014 (3)
  • May 2014 (1)
  • April 2014 (1)
  • March 2014 (5)
  • February 2014 (4)
  • January 2014 (2)
  • December 2013 (5)
  • November 2013 (1)
  • October 2013 (8)
  • September 2013 (3)
  • July 2013 (3)

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