Search for:

Association for Logic Programming

Main menu

Skip to content

ALP
ICLP
TPLP
Alain Colmerauer Prize
Theses and Dissertations
- PhD Theses
- Master’s theses
Systems and Links
Prolog Community

data_size_intervals_verif

by Enrico Pontelli • September 18, 2017 • Comments Off on data_size_intervals_verif

Post navigation

← Energy Consumption Analysis and Verification using CiaoPP

Search in our archives

Search for:

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

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
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
- Accepted papers
  - 2017-06
  - 2017-11
  - 2017-12
- Book Reviews
Theses and Dissertations
- PhD Theses
- 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
Asyncronous News
Uncategorized

Post History

Click to unfold.

Archives by Month

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