Logic Programming and Nonmonotonic Reasoning - neues Buch

EAN (ISBN-13): 9783642042386
Erscheinungsjahr: 2009
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-04-19T00:23:10+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-12-07T12:44:23+01:00 (Vienna)
ISBN/EAN: 9783642042386

ISBN - alternative Schreibweisen:
978-3-642-04238-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: logic programming, potsdam 1750 1850

---

Daten vom Verlag:

Autor/in: Esra Erdem; Fangzhen Lin; Torsten Schaub
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Logic Programming and Nonmonotonic Reasoning - 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009, Proceedings
Verlag: Springer; Springer Berlin
656 Seiten
Erscheinungsjahr: 2009-08-31
Berlin; Heidelberg; DE
Sprache: Englisch
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
XV, 656 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; AI logics; Prolog; SAT; ambient intelligence; artificial intelligence; complexity; constraint satisfaction; disjunctive logic; knowledge representation; logic; logic programming; logic-based modeling; magic sets; nonmonotonic reasoning; programming; C; Artificial Intelligence; Discrete Mathematics; Theory of Computation; Discrete Mathematics in Computer Science; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computer Science; Diskrete Mathematik; Theoretische Informatik; Mathematik für Informatiker; BC

Session 1. Invited Talks.- SAT, SMT and Applications.- Logic-Based Modeling in Systems Biology.- Integrating Answer Set Programming and Satisfiability Modulo Theories.- Session 2. Technical Papers.- How Flexible Is Answer Set Programming? An Experiment in Formalizing Commonsense in ASP.- Splitting a CR-Prolog Program.- Contextual Argumentation in Ambient Intelligence.- Argumentation Context Systems: A Framework for Abstract Group Argumentation.- A Revised Concept of Safety for General Answer Set Programs.- Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs.- Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs.- Complexity of the Stable Model Semantics for Queries on Incomplete Databases.- Manifold Answer-Set Programs for Meta-reasoning.- A Deductive System for FO(ID) Based on Least Fixpoint Logic.- Computing Stable Models via Reductions to Difference Logic.- A Module-Based Framework for Multi-language Constraint Modeling.- Induction on Failure: Learning Connected Horn Theories.- On Reductive Semantics of Aggregates in Answer Set Programming.- A First Order Forward Chaining Approach for Answer Set Computing.- Knowledge Qualification through Argumentation.- Simple Random Logic Programs.- Max-ASP: Maximum Satisfiability of Answer Set Programs.- Belief Revision with Bounded Treewidth.- Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection.- A Default Approach to Semantics of Logic Programs with Constraint Atoms.- The Complexity of Circumscriptive Inference in Post’s Lattice.- Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs.- Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence.- Weight Constraint Programs with Functions.- Session 3.Original Application Papers.- Bridging the Gap between High-Level Reasoning and Low-Level Control.- A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming.- An ASP-Based System for e-Tourism.- cc? on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions.- Session 4. Short Papers.- Translating Preferred Answer Set Programs to Propositional Logic.- CR-Prolog as a Specification Language for Constraint Satisfaction Problems.- Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using .- Computing Weighted Solutions in Answer Set Programming.- Representing Multi-agent Planning in CLP.- Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results.- AQL: A Query Language for Action Domains Modelled Using Answer Set Programming.- Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Programs.- Layer Supported Models of Logic Programs.- Applying ASP to UML Model Validation.- The Logical Consequence Role in LPNMR: A Parameterized Computation Approach.- Social Default Theories.- Session 5. System Descriptions.- nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver.- An ASP System with Functions, Lists, and Sets.- A Simple Distributed Conflict-Driven Answer Set Solver.- An Implementation of Belief Change Operations Based on Probabilistic Conditional Logic.- On the Input Language of ASP Grounder Gringo.- The Conflict-Driven Answer Set Solver clasp: Progress Report.- System f2lp – Computing Answer Sets of First-Order Formulas.- The First Version of a New ASP Solver : ASPeRiX.- An ASP-Based Data Integration System.- Gorgias-C: Extending Argumentation with Constraint Solving.- Session 6. Summaries of Existing SuccessfulApplications Papers.- ANTON: Composing Logic and Logic Composing.- Modelling Normative Frameworks Using Answer Set Programing.- Generating Optimal Code Using Answer Set Programming.- Logic Programming Techniques in Protein Structure Determination: Methodologies and Results.- PHYLO-ASP: Phylogenetic Systematics with Answer Set Programming.- HAPLO-ASP: Haplotype Inference Using Answer Set Programming.- Using Answer Set Programming to Enhance Operating System Discovery.- Non-monotonic Reasoning Supporting Wireless Sensor Networks for Intelligent Monitoring: The SINDI System.- Session 7. Short Application Papers.- Some DLV Applications for Knowledge Management.- Application of ASP for Automatic Synthesis of Flexible Multiprocessor Systems from Parallel Programs.- Optimal Multicore Scheduling: An Application of ASP Techniques.- Session 8 (Panel on Future Applications). Position Papers by the Panelists.- From Data Integration towards Knowledge Mediation.- Integrating Answer Set Modules into Agent Programs.- What Next for ASP? (A Not-Entirely-Well-Informed Opinion).- Using Lightweight Inference to Solve Lightweight Problems.- Present and Future Challenges for ASP Systems.- ASP: The Future Is Bright.- Exploiting ASP in Real-World Applications: Main Strengths and Challenges.- Making Your Hands Dirty Inspires Your Brain! Or How to Switch ASP into Production Mode.- Towards an Embedded Approach to Declarative Problem Solving in ASP.- System Competition. Summary of System Competition.- The Second Answer Set Programming Competition.