Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2005

Logic Programming and Nonmonotonic Reasoning

8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings

Editors:

  1. Chitta Baral

    1. School of Computing and Informatics, Arizona State University, Tempe

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gianluigi Greco

    1. Dipartimento di Matematica, Università della Calabria, Rende, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Nicola Leone

    1. Department of Mathematics, University of Calabria, Rende, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Giorgio Terracina

    1. Dipartimento di Matematica, Università della Calabria, Rende, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3662)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): LPNMR: International Conference on Logic Programming and Nonmonotonic Reasoning

Conference proceedings info: LPNMR 2005.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (44 papers)

  1. Front Matter

    PDF

  2. Invited Papers

    1. Nonmonotonic Reasoning in FLORA-2

      • Michael Kifer
      Pages 1-12

    3. Halo I: A Controlled Experiment for Large Scale Knowledge Base Development

      • Jürgen Angele, Eddie Moench, Henrik Oppermann, Dirk Wenke
      Pages 26-39

  3. ASP Foundations

    2. Loops: Relevant or Redundant?

      • Martin Gebser, Torsten Schaub
      Pages 53-65

    3. Approximating Answer Sets of Unitary Lifschitz-Woo Programs

      • Victor W. Marek, Inna Pivkina, Mirosław Truszczyński
      Pages 66-78

  4. ASP Extensions

    1. Guarded Open Answer Set Programming

      • Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
      Pages 92-104

    2. External Sources of Computation for Answer Set Solvers

      • Francesco Calimeri, Giovambattista Ianni
      Pages 105-118

    3. Answer Sets for Propositional Theories

      • Paolo Ferraris
      Pages 119-131

  5. Applications

    1. An ID-Logic Formalization of the Composition of Autonomous Databases

      • Bert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig, Maurice Bruynooghe
      Pages 132-144

    2. On the Local Closed-World Assumption of Data-Sources

      • Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe
      Pages 145-157

    3. Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming

      • Carlos I. Chesñevar, Guillermo R. Simari, Lluis Godo
      Pages 158-171

  6. Actions and Causations

    1. An Approximation of Action Theories of \(\mathcal{AL}\) and Its Application to Conformant Planning

      • Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales
      Pages 172-184

    2. Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories

      • Alberto Finzi, Thomas Lukasiewicz
      Pages 185-197

    3. Some Logical Properties of Nonmonotonic Causal Theories

      • Marek Sergot, Robert Craven
      Pages 198-210

  7. Algorithms and Computation

    1. Platypus: A Platform for Distributed Answer Set Solving

      • Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy
      Pages 227-239

    2. Solving Hard ASP Programs Efficiently

      • Wolfgang Faber, Francesco Ricca
      Pages 240-252
Back to top

Other Volumes

  1. Logic Programming and Nonmonotonic Reasoning

Back to top

Keywords

Back to top

Editors and Affiliations

  • School of Computing and Informatics, Arizona State University, Tempe

    Chitta Baral

  • Dipartimento di Matematica, Università della Calabria, Rende, Italy

    Gianluigi Greco, Giorgio Terracina

  • Department of Mathematics, University of Calabria, Rende, Italy

    Nicola Leone

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation