Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings - neues Buch

EAN (ISBN-13): 9783540746089
ISBN (ISBN-10): 3540746080
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: Springer Berlin Heidelberg
470 Seiten
Gewicht: 0,735 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-12-01T20:01:32+01:00 (Zurich)
Detailseite zuletzt geändert am 2024-02-23T20:56:38+01:00 (Zurich)
ISBN/EAN: 9783540746089

ISBN - alternative Schreibweisen:
3-540-74608-0, 978-3-540-74608-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: niemel, portugal, dahl
Titel des Buches: programming, portugal, porto, logic computer science, lecture notes computer science, dahl, veronica

---

Daten vom Verlag:

Autor/in: Verónica Dahl; Ilkka Niemelä
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Logic Programming - 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings
Verlag: Springer; Springer Berlin
472 Seiten
Erscheinungsjahr: 2007-08-28
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 472 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Fuzzy; algorithm; algorithms; answer sets; deduction; formal verification; inductive logic programming; knowledge base; logic programming; mathematical logic; program analysis; programming; semantic web; semantics; 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.- Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs.- Preferences, Contexts and Answer Sets.- Invited Tutorials.- Answer Set Programming for the Semantic Web.- Coinductive Logic Programming and Its Applications.- Multi-paradigm Declarative Languages.- Logic Programming for Knowledge Representation.- Regular Talks.- On Finitely Recursive Programs.- Minimal Logic Programs.- Generic Tableaux for Answer Set Programming.- Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs.- Querying and Repairing Inconsistent Databases Under Three-Valued Semantics.- Logic Programming Approach to Automata-Based Decision Procedures.- A Logic Programming Framework for Combinational Circuit Synthesis.- Spatial-Yap: A Logic-Based Geographic Information System.- The Correspondence Between the Logical Algorithms Language and CHR.- Observable Confluence for Constraint Handling Rules.- Graph Transformation Systems in CHR.- Multivalued Action Languages with Constraints in CLP(FD).- Declarative Diagnosis of Temporal Concurrent Constraint Programs.- Logic Programs with Abstract Constraint Atoms: The Role of Computations.- Resource-Oriented Deadlock Analysis.- Static Region Analysis for Mercury.- Automatic Binding-Related Error Diagnosis in Logic Programs.- User-Definable Resource Bounds Analysis for Logic Programs.- Automatic Correctness Proofs for Logic Program Transformations.- Core TuLiP Logic Programming for Trust Management.- Demand-Driven Indexing of Prolog Clauses.- Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System.- Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming.- Tightly Integrated Probabilistic Description LogicPrograms for the Semantic Web.- View Updating Through Active Integrity Constraints.- Prosper: A Framework for Extending Prolog Applications with a Web Interface.- Web Sites Verification: An Abductive Logic Programming Tool.- Visual Logic Programming Method Based on Structural Analysis and Design Technique.- Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity.- A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming.- Representation and Execution of a Graph Grammar in Prolog.- On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog.- Aggregates in Constraint Handling Rules.- Computing Fuzzy Answer Sets Using dlvhex.- The Use of a Logic Programming Language in the Animation of Z Specifications.- A Stronger Notion of Equivalence for Logic Programs.- A Register-Free Abstract Prolog Machine with Jumbo Instructions.- Advanced Techniques for Answer Set Programming.- A Games Semantics of ASP.- Modular Answer Set Programming.- Universal Timed Concurrent Constraint Programming.- Extension and Implementation of CHR.