rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Logic Programming and Nonmonotonic Reasoning
    sub title: 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
  name:
    name part: Cabalar, Pedro.
    role:
      role term: editor.
  name:
    name part: Son, Tran Cao.
    role:
      role term: editor.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2013
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XVIII, 570 p. 70 illus. online resource.
  abstract: This volume contains the refereed proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013, held in September 2013 in Corunna, Spain. The 34 revised full papers (22 technical papers, 9 application description, and 3 system descriptions) and 19 short papers (11 technical papers, 3 application descriptions, and 5 system descriptions) presented together with 2 invited talks, were carefully reviewed and selected from 91 submissions. Being a forum for exchanging ideas on declarative logic programming, nonmonotonic reasoning, and knowledge representation, the conference aims to facilitate interactions between those researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those who work in the area of knowledge representation and nonmonotonic reasoning.
  table of contents: Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal Extensions of Answer Set Programming -- Forgetting under the Well-Founded Semantics -- The Fourth Answer Set Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning -- The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics -- ARVis: Visualizing Relations between Answer Sets -- Symbolic System Synthesis Using Answer Set Programming -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation Fixpoint Theory -- Encoding Higher Level Extensions of Petri Nets in ASP -- Cplus2ASP: Computing Action Language C+ in Answer Set Programming -- Towards Answer Set Programming with Sorts -- Prolog and ASP Inference Under One Roof -- Event-Object Reasoning with Curated Knowledge Bases: Deriving Missing Information -- Towards Query Answering in Relational Multi-Context Systems -- Spectra in Abstract Argumentation: An Analysis of Minimal Change -- Normalizing Cardinality Rules using Merging and Sorting Constructions -- Experience Based Nonmonotonic Reasoning -- An ASP application in integrative biology: identification of functional gene units -- Evaluating Reactive Answer Set Solving for General Game Playing -- VCWC: A Versioning Competition Workflow Compiler -- A Sequential Model of Bargaining Reasoning in Logic Programming -- Extending the Metabolic Network of Ectocarpus Siliculosus using Answer Set Programming -- Negation as a Resource: a novel view on Answer Set -- AGM-Style Belief Revision of Logic Programs under Answer Set Semantics -- Efficient Approximation of Well-Founded Justification and -- Well-Founded Domination -- Approximate Epistemic Planning with Postdiction as Answer-Set Programming -- Combining equilibrium logic and dynamic logic -- ActHEX: Implementing HEX Programs with Action -- Debugging Answer-Set Programs with Ouroboros Extending…
  note: edited by Pedro Cabalar, Tran Cao Son.
  subject:
    topic: Computer science
  subject:
    topic: Computer programming
  subject:
    topic: Software engineering
  subject:
    topic: Computer logic
  subject:
    topic: Mathematical logic
  subject:
    topic: Computer science
    topic: Mathematics
  subject:
    topic: Artificial intelligence
  subject:
    topic: Computer Science
  subject:
    topic: Artificial Intelligence (incl. Robotics)
  subject:
    topic: Discrete Mathematics in Computer Science
  subject:
    topic: Logics and Meanings of Programs
  subject:
    topic: Mathematical Logic and Formal Languages
  subject:
    topic: Software Engineering
  subject:
    topic: Programming Techniques
  classification: Q334-342
  classification: TJ210.2-211.495
  classification: 006.3
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Lecture Notes in Computer Science, 8148
  identifier: 9783642405648
  identifier: http://dx.doi.org/10.1007/978-3-642-40564-8
  record info:
    record creation date: 130912
    record change date: 20151123194502.0
    record identifier: 978-3-642-40564-8