Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings Sandro Etalle (u. a.) Taschenbuch Lecture Notes in Computer Science Book 2006 - Taschenbuch

EAN (ISBN-13): 9783540366355
ISBN (ISBN-10): 3540366350
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2006
Herausgeber: Springer Berlin
474 Seiten
Gewicht: 0,742 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-31T10:53:35+02:00 (Zurich)
Detailseite zuletzt geändert am 2022-12-14T08:45:47+01:00 (Zurich)
ISBN/EAN: 9783540366355

ISBN - alternative Schreibweisen:
3-540-36635-0, 978-3-540-36635-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: miroslav
Titel des Buches: logic pro, seattle, logic programming, usa and away, august, 2006, proceedings international conference, say this the usa, international conference software, logic computer science

---

Daten vom Verlag:

Autor/in: Sandro Etalle; Miroslav Truszczynski
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Logic Programming - 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Verlag: Springer; Springer Berlin
474 Seiten
Erscheinungsjahr: 2006-08-03
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIV, 474 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Compiler; algorithms; answer sets; computational logics; constraint programming; logic; logic inference; logic programming; optimization; program analysis; program logics; programming language; prol; proving; verification; Software Engineering; Programming Techniques; Artificial Intelligence; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Computerprogrammierung und Softwareentwicklung; Künstliche Intelligenz; Compiler und Übersetzer; Theoretische Informatik; EA

Invited Talks.- Why Use Datalog to Analyze Programs?.- Semantic Web: The Story of the RIFt so Far.- Invited Tutorial.- Overcoming Performance Barriers: Efficient Verification Techniques for Logical Frameworks.- Regular Talks Theory.- Tableau Calculi for Answer Set Programming.- Declarative Semantics of Production Rules for Integrity Maintenance.- Modules for Prolog Revisited.- A Local Algorithm for Incremental Evaluation of Tabled Logic Programs.- Functional and Constraint Logic Programming.- Memory Reuse for CHR.- Overlapping Rules and Logic Variables in Functional Logic Programs.- Towards “Propagation = Logic + Control”.- ACD Term Rewriting.- Program Analysis.- Detecting Determinacy in Prolog Programs.- Collapsing Closures.- Reduced Certificates for Abstraction-Carrying Code.- Proving Properties of Constraint Logic Programs by Eliminating Existential Variables.- Answer-Set Programming.- Justifications for Logic Programs Under Answer Set Semantics.- Generality Relations in Answer Set Programming.- Cooperating Answer Set Programming.- Predicate Introduction Under Stable and Well-Founded Semantics.- Special Interest Paper.- Improving the ISO Prolog Standard by Analyzing Compliance Test Results.- Applications I.- TOAST: Applying Answer Set Programming to Superoptimisation.- Modelling Biological Networks by Action Languages Via Answer Set Programming.- Using Answer Set Programming for the Automatic Compilation of Assessment Tests.- Semantics.- Compositional Semantics for the Procedural Interpretation of Logic.- Coinductive Logic Programming.- Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic.- The Semantics of Nominal Logic Programs.- Applications II.- Macros, Macro Calls and Use of Ensembles in Modular Answer SetProgramming.- Deductive Spreadsheets Using Tabled Logic Programming.- Using a Logic Programming Framework to Control Database Query Dialogues in Natural Language.- Poster Presentations.- Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming.- Solving First-Order Constraints in the Theory of the Evaluated Trees.- Relaxation on Optimization Predicates.- Handling Incomplete and Complete Tables in Tabled Logic Programs.- An External Module for Implementing Linear Tabling in Prolog.- Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation.- Towards Region-Based Memory Management for Mercury Programs.- Towards Structured Contexts and Modules.- Towards Temporal Contextual Logic Programming.- Semantic Property Grammars for Knowledge Extraction from Biomedical Text.- Natural Language Processing Using Lexical and Logical Combinators.- Learning Semantic Parsers: A Constraint Handling Rule Approach.- A Declarative Framework for Security: Secure Concurrent Constraint Programming.- Logic Programming in Knowledge Domains.- Logtalk Processing of STEP Part 21 Files.- Integrating Datalog with OWL: Exploring the AL-log Approach.- LMNtal as a Unifying Declarative Language: Live Demonstration.- Doctoral Consortium Presentations.- Declarative Problem Solving Using Answer Set Semantics.- The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages.- Description Logic Reasoning in Prolog.- Static Memory Management for Logic Programming Languages.- Deductive Databases: Implementation, Parallelism and Applications.- Efficient Reasoning About Action and Change in the Presence of Incomplete Information and Its Application in Planning.- Deducing Logic Programs.