• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • News
    • Officers and Committees
    • Staff
    • Bylaws
    • Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • AI for Humanity Award
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • Partnerships
    • Resources
    • Mailing Lists
    • Past Presidential Addresses
    • AAAI 2025 Presidential Panel on the Future of AI Research
    • Presidential Panel on Long-Term AI Futures
    • Past Policy Reports
      • The Role of Intelligent Systems in the National Information Infrastructure (1995)
      • A Report to ARPA on Twenty-First Century Intelligent Systems (1994)
    • Logos
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • EAAI
    • HCOMP
    • IAAI
    • ICWSM
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
    • Contribute
    • Order Proceedings
  • aaai-icon_ai-magazine-line-yellowAI Magazine
  • MembershipMembership
    • Member Login
    • Chapters

  • Career CenterAI Jobs
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

  • Twitter
  • Facebook
  • LinkedIn
Home / Proceedings / Papers from the 2001 AAAI Spring Symposium /

Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning

Contents

  • Answer Set Programming and Bounded Model Checking

    Keijo Heljanko and Ilkka Niemela

    PDF
  • Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs

    Tran Cao Son, Chitta Baral, and Sheila McIlraith

    PDF
  • An A-Prolog Decision Support System for the Space Shuttle

    M. Nogueira, M. Balduccini, M. Gelfond, R. Watson, and M. Barry

    PDF
  • 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 and Adam Pease

    PDF
  • Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results

    Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, and Stefan Woltran

    PDF
  • Abduction in Equilibrium Logic

    David Pearce

    PDF
  • Exploiting Vertical Parallelism from Answer Set Programs

    Enrico Pontelli and Omar El-Khatib

    PDF
  • Diagnosing Dynamic Systems in A-Prolog

    Michael Gelfond and Joel Galloway

    PDF
  • Logic Programming Agents and Game Theory

    Marina De Vos and Dirk Vermeir

    PDF
  • Representing Configuration Knowledge with Weight Constraint Rules

    Timo Soininen, Ilkka Niemelä, Juha Tiihonen, and Reijo Sulonen

    PDF
  • Effect of Knowledge Representation on Model Based Planning: Experiments Using Logic Programming Encodings

    Le-chi Tuan and Chitta Baral

    PDF
  • Reasoning about Policies Using Logic Programs

    Tran Cao Son and Jorge Lobo

    PDF
  • On the Epistemological Foundations of Logic Programming and Its Extensions

    Marc Denecker

    PDF
  • Additive Fluents

    Joohyung Lee and Vladimir Lifschitz

    PDF
  • Dynamical Properties of Answer Set Programs

    Howard A. Blair

    PDF
  • Learning by Answer Sets

    Chiaki Sakama

    PDF
  • The Prospect for Answer Sets Computation by a Genetic Model

    A. Bertoni, G. Grossi, A. Provetti, V. Kreinovich and L. Tari

    PDF
  • Specification of Workflow Processes Using the Action Description Language C

    Pinar Koksal, Nihan Kesim Cicekli, I. Hakki Toroslu

    PDF
  • Transitive Closure, Answer Sets and Predicate Completion

    Esra Erdem and Vladimir Lifschitz

    PDF
  • Useful Transformations in Answer Set Programming

    Mauricio Osorio, Juan Carlos Nieves, and Chris Giannella

    PDF
  • On the Foundations of Answer Set Programming

    V. W. Marek and J. B. Remmel

    PDF
  • More on Wire Routing with ASP

    Deborah East and Miroslaw Truszczynski

    PDF
  • Well Founded Semantics as Two-Dimensional Here-and-There

    Pedro Cabalar

    PDF
  • Set Semantics and Operations Based upon Answer Set Semantics

    James D. Jones

    PDF
  • A Pertinence Logic Characterization of Stable Models (Preliminary Report)

    Ramón P. Otero

    PDF
  • Tabular Constraint-Satisfaction Problems and Answer Set Programming

    Raphael A. Finkel, Victor Marek, and Miroslaw Truszczynski

    PDF
  • A Comparative Study of Logic Programs with Preference: Preliminary Report

    Torsten Schaub and Kewen Wang

    PDF
  • Computing Preferred and Weakly Preferred Answer Sets by Meta-Interpretation in Answer Set Programming

    Thomas Eiter, Wolfgang Faber, Nicola Leone, and Gerald Pfeifer

    PDF
  • Genes and Ants for Default Logic

    Pascal Nicolas, Frederic Saubion, and Igor Stephan

    PDF
  • Computing Stable Models in Parallel

    R. A. Finkel, V. W. Marek, N. Moore and M. Truszczynski

    PDF
  • A Declarative Implementation of Planning with Control

    Aarati Parmar

    PDF
  • Comparing Different Graph Representations of Logic Programs under the Answer Set Semantics

    Stefania Costantini

    PDF

Primary Sidebar