Using ASP for Game Playing

• Discussion

The French Toast Problem

• Problem
• Solutions, Part 1
• Solutions, Part 2
• Discussion

Gringo Understands Lukasiewicz's Theorem

• Discussion

Declarative vs. Imperative Programming

• Discussion

ASP-Core-2

• Specification
• Discussion

Front Ends for SAT Solvers

• Discussion

Defaults Involving Functions

• Discussion

Tape Coloring

• Discussion

Choice Rules and the Belief-Based View of ASP

• Discussion, Part 1
• Discussion, Part 2
• Discussion, Part 3
• Discussion, Part 4
• Discussion, Part 5

Do We Need Existential Quantifiers in Logic Programming?

• Discussion

Sudoku-Like Puzzles

• Discussion

Medium Size ASP Programs

• Discussion

Expressing "More" in Answer Set Programming

• Discussion

Variables in Answer Set Programming

• Discussion

Are We Doing the Right Thing?

• Discussion
• Travel Module, by Michael Gelfond

Semantics of Aggregates

• Discussion

Fight for a Snack

• Problem
• Solutions
• Discussion

Choosing a Place for Dinner

• Problem
• Solutions
• Discussion

Sam's Calculus

• Jonathan Campbell and Vladimir Lifschitz, "Making an argument more convincing."
• Discussion

Action Languages and Elaboration Tolerance

• Discussion, Part 1
• Discussion, Part 2
• Discussion, Part 3

Romeo and Juliet

• Problem
• Solutions
• Discussion

Planning with Continuous Time

• Problem
• Solutions
• Discussion

J Moore's Problem

• Discussion

Seating Arrangements

• Problem
• Solutions
• Discussion

Programming Methodology

• Discussion

Problem 51

• Discussion

Wire Routing

• Esra Erdem, Vladimir Lifschitz and Martin Wong, " Wire routing and satisfiability planning"
• Discussion

Digital Circuits

• Discussion

Doing Time

• Discussion

Zoo

• Logic Modelling Workshop
• Discussion

Missionaries and Cannibals

• Discussion, Part 1
• Discussion, Part 2
• Vladimir Lifschitz, "Missionaries and cannibals in the causal calculator," in Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference.

The Credit Card Domain

• Problem
• Discussion

The Monkey and the Trainer

• Problem
• Discussion, Part 1
• Discussion, Part 2
• Son Tran's translator and its output, mailed to TAG on May 17, 1999
• Son Tran's translator for SICStus Prolog, mailed to TAG on May 17, 1999

Applications of Logic Programming to Planning

• Esra Erdem, "Applications of Logic Programming to Planning: Computational Experiments"
• Discussion

The Volkswagen Domain

• Discussion, Part 1
• Discussion, Part 2
• Michael Gelfond's solution, mailed to TAG on July 29, 1999
• Peter Clark, Joohyung Lee, Vladimir Lifschitz and Bruce Porter, "Translating from CCALC into KM: An Example" (September 15, 1999)

The Shuttle Domain

• Richard Watson, " An Application of Action Theory to the Space Shuttle"
• Discussion