Logic Programming

25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

AvPatricia M. Hill,David S. Warren

Häftad, Engelska, 2009

Del i serien Lecture Notes in Computer Science

552 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This volume contains the proceedings of the 25th International Conference on Logic Programming (ICLP 2009). The conference took place in Pasadena, Ca- fornia during July 14-17, 2009. The ICLP series of conferences is aimed at p- viding a technical forum for presenting and disseminating innovative research results in the ?eld of logic programming. Theconference,whichwasco-locatedwiththeInternationalJointConference on Arti?cial Intelligence (IJCAI), featured technical presentations, tutorials, - vited talks, and a number of special events, including: - The 5th ICLP Doctoral Student Consortium - The Second Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) - The 6th International Workshop on Constraint Handling Rules (CHR) - The 9th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS) - The 4th International Workshop on (Constraint) Logic Programming and Software Engineering (CLPSE) - The First Workshop on Commercial Users of Logic Programming (CULP) - Workshop on ISO Prolog - WG17 - The 19th Workshopon Logic-basedmethods in ProgrammingEnvironments (WLPE) Since the ?rst conference held in Marseilles in 1982, ICLP has been the p- miere international conference for disseminating research results in logic p- gramming.The present edition of the conference received 69 submissions in three categories:application, system and tool, and technical papers. From these, the ProgramCommittee selected 29 papers for presentation and inclusion in the proceedings. In addition, the committee selected nine short papers describing on-going research work, PhD theses and research project overviews for poster presentations and inclusion in the proceedings.

Produktinformation

Utgivningsdatum:2009-06-24
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:564
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642028458

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programmeringsböcker inom Data och IT

Innehållsförteckning

Invited Talks.- Experiences Using Logic Programming in Bioinformatics.- A Knowledge Base System Project for FO(.).- From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse.- Generative Modeling by PRISM.- Tutorials.- Enabling Serendipitous Search on the Web of Data Using Prolog.- Untangling Reverse Engineering with Logic and Abstraction.- (C)LP Tracing and Debugging.- Probabilistic Logic Learning - A Tutorial Abstract.- Best Papers.- Using Histograms to Better Answer Queries to Probabilistic Logic Programs.- Non-discriminating Arguments and Their Uses.- Applications I.- Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis.- Stabilization of Information Sharing for Queries Answering in Multiagent Systems.- Logic Programming for Multiagent Planning with Negotiation.- Implementation I.- Answer Set Programming with Constraints Using Lazy Grounding.- Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs.- Theory.- Modular Nonmonotonic Logic Programming Revisited.- Merging Logic Programs under Answer Set Semantics.- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs.- Implementation II.- A Tabling Implementation Based on Variables with Multiple Bindings.- A Term-Based Global Trie for Tabled Logic Programs.- Analysis.- A New Approach to Non-termination Analysis of Logic Programs.- Constraints I.- Constraint Answer Set Solving.- On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.- System and Tool Descriptions.- A Language for Large Ensembles of Independently Executing Nodes.- Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.- Debugging for Model Expansion.- Applications II.- Metabolic Network Expansion with Answer Set Programming.- Answer Set Programming for Single-Player Games in General Game Playing.- Finding Similar or Diverse Solutions in Answer Set Programming.- Implementation III.- Attributed Data for CHR Indexing.- User Defined Indexing.- Constraints II.- Integration of Abductive Reasoning and Constraint Optimization in SCIFF.- Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC.- Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming.- Probability, Uncertainty.- Logic Programming with Defaults and Argumentation Theories.- Qualified Computations in Functional Logic Programming.- Logic Programs under Three-Valued ?ukasiewicz Semantics.- Short Papers.- Execution Control for CHR.- Demand-Driven Normalisation for ACD Term Rewriting.- One More Decidable Class of Finitely Ground Programs.- Optimizing Compilation and Computational Complexity of Constraint Handling Rules.- Proving Termination by Invariance Relations.- Automating Termination Proofs for CHR.- An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems.- An Engine for Computing Well-Founded Models.- Incremental Answer Completion in the SLG-WAM.- Doctoral Consortium.- Research Summary: Tabled Evaluation for Transaction Logic Programs.- Research Summary: Logic Programming for Massively Distributed Systems.- Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality.- Research Summary.- Research Summary: Termination of CHR.- Research Summary: Intelligent Natural Language Processing Techniques and Tools.- Stochastic Reasoning with Models of Agent Behavior.- Research Summary.- Modular Action Language .- Answering Questionsfrom Natural Language Using A-Prolog.- Belief Logic Programming.- Logic-Statistic Models with Constraints for Biological Sequence Analysis.- Fusion of Logic Programming and Description Logics.- Research Summary: Non-termination Analysis of Logic Programs.- Study of Random Logic Programs.- Locally Distributed Predicates: A Programming Facility for Distributed State Detection.- Capturing Fair Computations on Concurrent Constraint Language.- Constraint Based Languages for Biological Reactions.