author = { Cabalar, Pedro Son, Tran Cao },

title = { Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings },

publisher = {Springer},

isbn = {9783642405648},

keywords = { Logic design , Computational complexity , Computer science , Software engineering , Artificial intelligence , Computer Science , Machine theory. , Discrete mathematics. , Computer programming. , Konferenzschrift 2013 La Coruña , Logische Programmierung , Nichtmonotones Schließen , Deklarative Programmierung , Wissensrepräsentation },

year = {2013},

abstract = {Literaturangaben},

abstract = {Towards Reactive Multi-Context SystemsLogic 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 the SeaLion Plugin -- Game Semantics for Non-Monotonic Intensional Logic Programming -- Matchmaking with Answer Set Programming -- Ricochet Robots: A transverse ASP benchmark -- Decidability and implementation of parameterized logic programs -- Non-monotonic Temporal Goals -- On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics -- An Application of ASP to the Field of Second Language Acquisition -- Turner's Logic of Universal Causation, Propositional Logic, and Logic -- Concrete Results on Abstract Rules -- Linear Logic Programming for Narrative -- Implementing Informal Semantics of ASP -- Implementing Belief Change in the Situation Calculus and an Application -- Debugging non-ground ASP programs with Choice Rules, Cardinality, Constraints and Weight Constraints -- Conflict-based Program Rewriting for Solving Configuration Problems -- Program Updating by Incremental and Answer Subsumption Tabling -- Representation Theorems for Revision of Logic -- Flexible Combinatory Categorial Grammar Parsing using the CYK Algorithm and Answer Set Programming -- Early Recovery in Logic Program Updates -- Preference Handling for Belief-Based Rational Decisions -- Logic-based techniques for data cleaning: an application to the Italian National Healthcare System -- Justifications for Logic Programming -- Belief Change in Nonmonotonic Multi-Context Systems -- On optimal solutions of answer set optimization problems.},

booktitle = {Lecture Notes in Computer Science ; 8148},

booktitle = {SpringerLink ; Bücher},

address = { Berlin, Heidelberg },

url = { http://slubdd.de/katalog?TN_libero_mab2 }