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, LP Systems

ASPeRiX: a First Order Rule-Based ASP Solver

by Enrico Pontelli • March 31, 2010

Claire Lefevre and Pascal Nicolas

LERIA, University of Angers, France

Communicated by: Enrico Pontelli

Read more →

Asyncronous News, Call for papers

Call for Papers

by Editors • March 31, 2010

AIMSA 2010, UNIF 2010, ASPOCP2010, CILC2010, WCB10, SecureComm ’10, LFMTP 2010, ESORICS2010, LOPSTR 2010, …

Read more →

ALP ISSUE, LP Systems

XSB 3.2

by Enrico Pontelli • March 30, 2010

Terrance Swift
CENTRIA, Universidade Nova de Lisboa, Portugal

Read more →

ALP ISSUE, Regular columns

Regular columns

by Editors • March 8, 2010

Here we report the papers submitted to area editors or directly to ALP newsletter editors

Read more →

Accepted Papers, ALP ISSUE

Accepted papers

by Editors • March 1, 2010

We report here the accepted papers at the major logic programming international meetings and journals.

Read more →

ALP ISSUE, Positions in LP

POSITION IN LEUVEN

by Editors • March 1, 2010

DOCTORAL POSITION FOR DATALOG RESEARCH

Read more →

Page 72 of 73
« 1 … 70 71 72 73 »

Search in our archives

Categories

  • ALP ISSUE (267)
    • Accepted Papers (14)
    • Conference reports (42)
    • Editorial (37)
    • Feature Articles (81)
    • In Memoriam (17)
    • Left Field (3)
    • LP Systems (12)
    • 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 (179)
    • Call for papers (110)
    • Call for Participation (14)
    • Community News (19)
    • Conferences News (1)
    • PhD positions (10)
    • Positions in LP (10)
    • Schools (12)
  • Uncategorized (2)

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
  • The ALP Alain Colmerauer Prize
  • TPLP Volume 22
  • TPLP Volume 23, 2023
  • 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
    • Paracoherent Answer Set Programming
    • 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
      • 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
      • 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

  • 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)
  • June 2013 (6)
  • May 2013 (2)
  • April 2013 (3)
  • March 2013 (7)
  • January 2013 (2)
  • December 2012 (10)
  • November 2012 (2)
  • September 2012 (11)
  • August 2012 (1)

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