Abstract is missing.
- An A Prolog decision support system for the Space ShuttleMonica Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson, Matthew Barry. [doi]
- Effect of knowledge representation on model based planning: experiments using logic programming encodingsLe-Chi Tuan, Chitta Baral. [doi]
- Exploiting Vertical Parallelism from Answer Set ProgramsEnrico Pontelli, Omar El-Khatib. [doi]
- Computing Stable Models with Quantified Boolean Formulas: Some Experimental ResultsUwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran. [doi]
- Computing stable models in parallelRaphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski. [doi]
- Well Founded Semantics as Two dimensional Here and TherePedro Cabalar. [doi]
- Comparing different graph representations of logic programs under the Answer Set semanticsStefania Costantini. [doi]
- Reasoning about Policies using Logic ProgramsTran Cao Son, Jorge Lobo. [doi]
- 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)Jay Halcomb, Adam Pease. [doi]
- Useful Transformations in Answer set programmingMauricio Osorio, Juan Carlos Nieves, Chris Giannella. [doi]
- A Comparative Study of Logic Programs with Preference: Preliminary ReportTorsten Schaub, Kewen Wang. [doi]
- Pertinence Logic Characterisation of Stable Models (Preliminary Report)Ramón P. Otero. [doi]
- Specification of Workflow Process Using the Action Description Language CPinar Koksal, Nihan Kesim Cicekli, Ismail Hakki Toroslu. [doi]
- Abduction in equilibrium logicDavid Pearce, Agustín Valverde. [doi]
- Learning by Answer SetsChiaki Sakama. [doi]
- Answer Set Programming and Bounded Model CheckingKeijo Heljanko, Ilkka Niemelä. [doi]
- On the Epistemological foundations of Logic Programming and its ExtensionsMarc Denecker. [doi]
- The Prospect for Answer Sets Computation by a Genetic ModelAlberto Bertoni, Giuliano Grossi, Alessandro Provetti, Vladik Kreinovich, Luis Tari. [doi]
- Genes and Ants for Default LogicPascal Nicolas, Frédéric Saubion, Igor Stéphan. [doi]
- More on Wire Routing with ASPDeborah East, Miroslaw Truszczynski. [doi]
- Logic Programming Agents and Game TheoryMarina De Vos, Dirk Vermeir. [doi]
- Sets as Terms for Answer Set ProgrammingJames D. Jones. [doi]
- A Declarative Implementation of Planning with ControlAarati Parmar. [doi]
- Dynamical Properties of Answer Set ProgramsHoward A. Blair. [doi]
- Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure ConstructsTran Cao Son, Chitta Baral, Sheila A. McIlraith. [doi]
- Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set ProgrammingThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer. [doi]
- Additive FluentsJoohyung Lee, Vladimir Lifschitz. [doi]
- Tabular Constraint-Satisfaction Problems and Answer Set ProgrammingRaphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski. [doi]
- On the Foundations of Answer Set ProgrammingVictor W. Marek, Jeffrey B. Remmel. [doi]
- Diagnosing Dynamic Systems in A PrologMichael Gelfond, Joel Galloway. [doi]
- Representing Configuration Knowledge With Weight Constraint RulesTimo Soininen, Ilkka Niemelä, Juha Tiihonen, Reijo Sulonen. [doi]