Alessandro Provetti, Tran Cao Son (Eds.):
Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, March 26-28, 2001.
2001 BibTeX
Long presentations
Regular presentations
- Howard A. Blair:
Dynamical Properties of Answer Set Programs.
Electronic Edition (link) BibTeX
- Stefania Costantini:
Comparing different graph representations of logic programs under the Answer Set semantics.
Electronic Edition (link) BibTeX
- Deborah East, Miroslaw Truszczynski:
More on Wire Routing with ASP.
Electronic Edition (link) BibTeX
- Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming.
Electronic Edition (link) BibTeX
- Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski:
Computing stable models in parallel.
Electronic Edition (link) BibTeX
- Keijo Heljanko, Ilkka Niemelä:
Answer Set Programming and Bounded Model Checking.
Electronic Edition (link) BibTeX
- Le-Chi Tuan, Chitta Baral:
Effect of knowledge representation on model based planning: experiments using logic programming encodings.
Electronic Edition (link) BibTeX
- Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry:
An A Prolog decision support system for the Space Shuttle.
Electronic Edition (link) BibTeX
- Mauricio Osorio, Juan Carlos Nieves, Chris Giannella:
Useful Transformations in Answer set programming.
Electronic Edition (link) BibTeX
- Ramón P. Otero:
Pertinence Logic Characterisation of Stable Models (Preliminary Report).
Electronic Edition (link) BibTeX
- David Pearce, Agustín Valverde:
Abduction in equilibrium logic.
Electronic Edition (link) BibTeX
- Enrico Pontelli, Omar El-Khatib:
Exploiting Vertical Parallelism from Answer Set Programs.
Electronic Edition (link) BibTeX
- Chiaki Sakama:
Learning by Answer Sets.
Electronic Edition (link) BibTeX
- Torsten Schaub, Kewen Wang:
A Comparative Study of Logic Programs with Preference: Preliminary Report.
Electronic Edition (link) BibTeX
- Tran Cao Son, Chitta Baral, Sheila A. McIlraith:
Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs.
Electronic Edition (link) BibTeX
- Tran Cao Son, Jorge Lobo:
Reasoning about Policies using Logic Programs.
Electronic Edition (link) BibTeX
Short presentations and posters
- Pedro Cabalar:
Well Founded Semantics as Two dimensional Here and There.
Electronic Edition (link) BibTeX
- Pinar Koksal, Nihan Kesim Cicekli, Ismail Hakki Toroslu:
Specification of Workflow Process Using the Action Description Language C.
Electronic Edition (link) BibTeX
- Marina De Vos, Dirk Vermeir:
Logic Programming Agents and Game Theory.
Electronic Edition (link) BibTeX
- James D. Jones:
Sets as Terms for Answer Set Programming.
Electronic Edition (link) BibTeX
- Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski:
Tabular Constraint-Satisfaction Problems and Answer Set Programming.
Electronic Edition (link) BibTeX
- Alberto Bertoni, Giuliano Grossi, Alessandro Provetti, Vladik Kreinovich, Luis Tari:
The Prospect for Answer Sets Computation by a Genetic Model.
Electronic Edition (link) BibTeX
- Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
Genes and Ants for Default Logic.
Electronic Edition (link) BibTeX
- Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran:
Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results.
Electronic Edition (link) BibTeX
Poster position papers
Copyright © Sat May 16 22:58:43 2009
by Michael Ley (ley@uni-trier.de)