TY - GEN
AU - Cabalar, Pedro
AU - Son, Tran Cao
TI - Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
PB - Springer
SN - 9783642405648
KW - Logic design
KW - Computational complexity
KW - Computer science
KW - Software engineering
KW - Artificial intelligence
KW - Computer Science
KW - Machine theory.
KW - Discrete mathematics.
KW - Computer programming.
KW - Konferenzschrift 2013 La Coruña
KW - Logische Programmierung
KW - Nichtmonotones Schließen
KW - Deklarative Programmierung
KW - Wissensrepräsentation
PY - 2013
N2 - Literaturangaben
N2 - 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.
BT - Lecture Notes in Computer Science ; 8148
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation