default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnswer Set Programming 2001: Stanford, CA, USA
- 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
- Michael Gelfond, Joel Galloway:
Diagnosing Dynamic Systems in A Prolog. - Joohyung Lee, Vladimir Lifschitz:
Additive Fluents. - Victor W. Marek, Jeffrey B. Remmel:
On the Foundations of Answer Set Programming. - Timo Soininen, Ilkka Niemelä, Juha Tiihonen, Reijo Sulonen:
Representing Configuration Knowledge With Weight Constraint Rules.
Regular presentations
- Howard A. Blair:
Dynamical Properties of Answer Set Programs. - Stefania Costantini:
Comparing different graph representations of logic programs under the Answer Set semantics. - Deborah East, Miroslaw Truszczynski:
More on Wire Routing with ASP. - Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer:
Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. - Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski:
Computing stable models in parallel. - Keijo Heljanko, Ilkka Niemelä:
Answer Set Programming and Bounded Model Checking. - Le-Chi Tuan, Chitta Baral:
Effect of knowledge representation on model based planning: experiments using logic programming encodings. - Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry:
An A Prolog decision support system for the Space Shuttle. - Mauricio Osorio, Juan Carlos Nieves, Chris Giannella:
Useful Transformations in Answer set programming. - Ramón P. Otero:
Pertinence Logic Characterisation of Stable Models (Preliminary Report). - David Pearce, Agustín Valverde:
Abduction in equilibrium logic. - Enrico Pontelli, Omar El-Khatib:
Exploiting Vertical Parallelism from Answer Set Programs. - Chiaki Sakama:
Learning by Answer Sets. - Torsten Schaub, Kewen Wang:
A Comparative Study of Logic Programs with Preference: Preliminary Report. - Tran Cao Son, Chitta Baral, Sheila A. McIlraith:
Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs. - Tran Cao Son, Jorge Lobo:
Reasoning about Policies using Logic Programs.
Short presentations and posters
- Pedro Cabalar:
Well Founded Semantics as Two dimensional Here and There. - Pinar Koksal, Nihan Kesim Cicekli, Ismail Hakki Toroslu:
Specification of Workflow Process Using the Action Description Language C. - Marina De Vos, Dirk Vermeir:
Logic Programming Agents and Game Theory. - James D. Jones:
Sets as Terms for Answer Set Programming. - Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski:
Tabular Constraint-Satisfaction Problems and Answer Set Programming. - Alberto Bertoni, Giuliano Grossi, Alessandro Provetti, Vladik Kreinovich, Luis Tari:
The Prospect for Answer Sets Computation by a Genetic Model. - Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
Genes and Ants for Default Logic. - Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran:
Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results.
Poster position papers
- Marc Denecker:
On the Epistemological foundations of Logic Programming and its Extensions. - 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). - Aarati Parmar:
A Declarative Implementation of Planning with Control.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
