[ACP members] CP2019 - Progress Toward the Holy Grail Worksohp

From: 

no-reply@a4cp.org

Category: 

ACP members

To: 

no-reply@a4cp.org

BCC: 

mariejverrett@gmail.com
arth.godet@gmail.com
graeme.gange@monash.edu
jfoley@norwichresearch.com
christos.rodosthenous@ouc.ac.cy
andrea.rendl@gmail.com
alexey.ignatiev@gmail.com
france.dacar@ijs.si

Headers: 

Content-Type: text/html; charset=UTF-8 Bcc: mariejverrett@gmail.com, arth.godet@gmail.com, graeme.gange@monash.edu, jfoley@norwichresearch.com, christos.rodosthenous@ouc.ac.cy, andrea.rendl@gmail.com, alexey.ignatiev@gmail.com, france.dacar@ijs.si
  <div id="header">
    <div id="logo">
  <a href="http://www.a4cp.org"><img src="/sites/default/files/corolla_logo.png" alt="Association for Constraint Programming">
    </a>
    </div>
    <div id="header-name">
  <a href="http://www.a4cp.org">Association for Constraint Programming</a>
    </div>
  </div>
  <div id="content">

Update:

The submission deadline for the main Workshop call is August 1, 2019.

The submission deadline for the Challenge remains September 1, 2019. Any serious entry will be accepted, and entrants notified within a week. (For notification by the early registration date for the Conference, submit by August 8, 2019.)

https://freuder.wordpress.com/pthg-19-the-third-workshop-on-progress-tow...

===========================================================================

PTHG-19: The Third Workshop on Progress Towards the Holy Grail September 30, 2019, at CP 2019, Stamford, Connecticut, USA

--- Description:

Over twenty years ago the paper “In Pursuit of the Holy Grail” proposed that Constraint Programming was well-positioned to pursue the Holy Grail of computer science: the user simply states the problem and the computer solves it. This workshop will look at progress towards that goal, in particular regarding work on automating:

Problem Acquisition: learning, debugging, maintaining, etc. Model Reformulation: transformation for efficient solution, redundant models, etc. Solver Construction: adaptive parameter tuning, automated selection from portfolios, etc. User Explanation: reasons for failure, implications for choices, etc. Of special interest is the intersection of the Holy Grail goal with the increasing attention being paid to machine learning, explainable AI, Human-Aware AI, Human-AI Collaboration, and intelligent software assistants.

--- Organizing Committee:

Chair: Eugene Freuder, University College Cork, Ireland: eugene.freuder@insight-centre.org

Luc De Raedt, Katholieke Universiteit Leuven, Belgium

Lars Kotthoff, University of Wyoming, USA

Ian Miguel, University of St Andrews, Scotland

--- Submissions:

Submissions may be of any length, and in any format. They may be abstracts, position papers, technical papers, or demos. They may review your own previous work or survey a topic area. They may present new research or suggest directions for further progress. They may propose research roadmaps, demonstration domains, or collaborative projects. They may be proposals for measuring progress, and, in particular, for data sets or competitions to stimulate and compare progress.

Authors may make multiple submissions if they wish. All submissions that appropriately address the topic of the workshop will be accepted as is, without further revision, and will be made available at the workshop website.

At least one author of every accepted submission must attend the workshop and pay the workshop fee; otherwise any presentation (and submission) will be withdrawn from the proceedings (if any) and program.

Submissions should be emailed, by August 1, 2019, in PDF form, with subject line “PTHG-19 Submission”, directly to the Workshop chair, at: eugene.freuder@insight-centre.org.

Decisions on submissions will be emailed at least 1 week before the early registration date for the conference.

--- The 2019 Holy Grail Challenge

The 2019 Progress Towards the Holy Grail Workshop at CP-19 invites entrants for the 2019 Holy Grail Challenge. The Challenge objective is to provide automated processing of a simple, restricted class of problems, logic puzzles, specifically what are sometimes called logic grid puzzles.

Given the short time frame, entries will be accepted in two categories:

Proposals: Short papers describing methods for implementing all or part of the Challenge Results: Short papers describing implementations of all or part of the Challenge The logicgridpuzzles.com website provides puzzles of varying difficulty. For each puzzle it provides a description and clues in English language, and a labelled grid.

The Challenge: For puzzles at the website:

Accept as input the description and clues in English. If needed you can also use the information contained in the grid labels; to avoid the need for machine vision you can convert this by hand into a suitable input format. If needed, you may also provide in a suitable input format the general rule of logic grid puzzles that each option is only used once; for example, when the Dragon Slayer puzzle asks “What are the banner colors of each knight?” it is understood that each knight has a different color. Transform the input into an appropriate CSP model. Solve the CSP appropriately. Provide an appropriate English language explanation of how the solution was obtained. Specifying the meaning of “appropriate” is part of the Challenge. For example, one model or solution method might be appropriate for swift solution, while a different one might be appropriate for obtaining people-friendly explanations, one model or solution method might be appropriate for difficult problems while a different one might be appropriate for easy problems.

Entries may be:

Complete: Addressing all 4 steps of the challenge Partial: Addressing either the acquisition or explanation side of the problem alone, i.e. by omitting step 4, or by providing an initial CSP model by hand. Entrants are free to use off-the-shelf tools, e.g. a natural language toolkit, or a constraint modeling language. Implementations do not need to interface directly with the puzzle website.

Submissions to the Challenge:

Entries may be submitted any time up to September 1, 2019. Any serious entry will be accepted, and entrants notified within a week. (For notification by the early registration date for the Conference, submit by August 8, 2019.) Email entries, in PDF form, with subject line “HGC Entry”, directly to the Workshop chair, at: eugene.freuder@insight-centre.org. There are no formatting requirements. The entries will be posted at the Workshop website, and the entrants will present their entry to the Workshop audience, which will vote to determine award-winning entries. At least one author of every accepted entry must attend the workshop and pay the workshop fee; otherwise any presentation (and entry) will be withdrawn from the proceedings (if any) and program. The following may help entrants come to grips with the challenge:

https://www.aaai.org/Papers/AAAI/1996/AAAI96-258.pdf

https://www.aaai.org/Papers/AAAI/1996/AAAI96-048.pdf

--
This message was sent on behalf of the Association for Constraint Programming. If you do not wish to receive further messages, please cancel your account at http://www.a4cp.org or send an email to webmaster@a4cp.org.

Result: 

1