ask others

Answer Set Programming 2001: Stanford, CA, USA

> Home > Conferences and Workshops > Answer Set Programming

- no documents available
- export record
  dblp key:
  - conf/asp/2001
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/2001
Alessandro Provetti, Tran Cao Son:
Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, CA, USA, March 26-28, 2001. 2001

Long presentations

- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/GelfondG01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/GelfondG01
Michael Gelfond, Joel Galloway:
Diagnosing Dynamic Systems in A Prolog.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/LeeL01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/LeeL01
Joohyung Lee, Vladimir Lifschitz:
Additive Fluents.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/MarekR01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/MarekR01
Victor W. Marek, Jeffrey B. Remmel:
On the Foundations of Answer Set Programming.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/SoininenNTS01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/SoininenNTS01
Timo Soininen, Ilkka Niemelä, Juha Tiihonen, Reijo Sulonen:
Representing Configuration Knowledge With Weight Constraint Rules.

Regular presentations

- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/Blair01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/Blair01
Howard A. Blair:
Dynamical Properties of Answer Set Programs.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/Costantini01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/Costantini01
Stefania Costantini:
Comparing different graph representations of logic programs under the Answer Set semantics.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/EastT01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/EastT01
Deborah East, Miroslaw Truszczynski:
More on Wire Routing with ASP.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/EiterFLP01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/EiterFLP01
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/FinkelMMT01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/FinkelMMT01
Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski:
Computing stable models in parallel.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/HeljankoN01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/HeljankoN01
Keijo Heljanko, Ilkka Niemelä:
Answer Set Programming and Bounded Model Checking.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/TuanB01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/TuanB01
Le-Chi Tuan, Chitta Baral:
Effect of knowledge representation on model based planning: experiments using logic programming encodings.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/NogueiraBGWB01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/NogueiraBGWB01
Monica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry:
An A Prolog decision support system for the Space Shuttle.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/OsorioNG01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/OsorioNG01
Mauricio Osorio, Juan Carlos Nieves, Chris Giannella:
Useful Transformations in Answer set programming.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/Otero01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/Otero01
Ramón P. Otero:
Pertinence Logic Characterisation of Stable Models (Preliminary Report).
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/PearceV01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/PearceV01
David Pearce, Agustín Valverde:
Abduction in equilibrium logic.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/PontelliE01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/PontelliE01
Enrico Pontelli, Omar El-Khatib:
Exploiting Vertical Parallelism from Answer Set Programs.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/Sakama01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/Sakama01
Chiaki Sakama:
Learning by Answer Sets.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/SchaubW01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/SchaubW01
Torsten Schaub, Kewen Wang:
A Comparative Study of Logic Programs with Preference: Preliminary Report.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/SonBM01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/SonBM01
Tran Cao Son, Chitta Baral, Sheila A. McIlraith:
Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/SonL01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/SonL01
Tran Cao Son, Jorge Lobo:
Reasoning about Policies using Logic Programs.

Short presentations and posters

- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/Cabalar01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/Cabalar01
Pedro Cabalar:
Well Founded Semantics as Two dimensional Here and There.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/KoksalCT01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/KoksalCT01
Pinar Koksal, Nihan Kesim Cicekli, Ismail Hakki Toroslu:
Specification of Workflow Process Using the Action Description Language C.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/VosV01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/VosV01
Marina De Vos, Dirk Vermeir:
Logic Programming Agents and Game Theory.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/Jones01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/Jones01
James D. Jones:
Sets as Terms for Answer Set Programming.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/FinkelMT01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/FinkelMT01
Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski:
Tabular Constraint-Satisfaction Problems and Answer Set Programming.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/BertoniGPKT01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/BertoniGPKT01
Alberto Bertoni, Giuliano Grossi, Alessandro Provetti, Vladik Kreinovich, Luis Tari:
The Prospect for Answer Sets Computation by a Genetic Model.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/NicolasSS01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/NicolasSS01
Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
Genes and Ants for Default Logic.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/EglyEKTW01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/EglyEKTW01
Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran:
Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results.

Poster position papers

- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/Denecker01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/Denecker01
Marc Denecker:
On the Epistemological foundations of Logic Programming and its Extensions.
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/HalcombP01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/HalcombP01
Jay Halcomb, Adam Pease:
On treating negation within XSB (and upon extending XSB programming with a form of logical negation, and its relations to existing varieties of logic programming).
- view
  - electronic edition @ nmsu.edu
- export record
  dblp key:
  - conf/asp/Parmar01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/asp/Parmar01
Aarati Parmar:
A Declarative Implementation of Planning with Control.

maintained by

, founded at