Logic Programming [electronic resource] :20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings /
Contributor(s): Demoen, Bart [editor.] | Lifschitz, Vladimir [editor.] | SpringerLink (Online service).Material type: BookSeries: Lecture Notes in Computer Science: 3132Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.Description: XII, 484 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540277750.Subject(s): Computer science | Software engineering | Computer programming | Programming languages (Electronic computers) | Computer logic | Mathematical logic | Artificial intelligence | Computer Science | Software Engineering/Programming and Operating Systems | Programming Techniques | Artificial Intelligence (incl. Robotics) | Programming Languages, Compilers, Interpreters | Logics and Meanings of Programs | Mathematical Logic and Formal LanguagesOnline resources: Click here to access online
Invited Talks -- Termination by Abstraction -- Answer Set Programming and the Design of Deliberative Agents -- Regular Talks -- Abstract Domains Based on Regular Types -- Termination of Logic Programs Using Various Dynamic Selection Rules -- Improving Prolog Programs: Refactoring for Prolog -- Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP -- The Refined Operational Semantics of Constraint Handling Rules -- Compiling Ask Constraints -- Constraint Handling Rules and Tabled Execution -- Possible Worlds Semantics for Probabilistic Logic Programs -- Limiting Resolution: From Foundations to Implementation -- Generalised Kernel Sets for Inverse Entailment -- On Programs with Linearly Ordered Multiple Preferences -- Splitting an Operator -- Simplifying Logic Programs Under Answer Set Semantics -- On Acyclic and Head-Cycle Free Nested Logic Programs -- Fast Query Evaluation with (Lazy) Control Flow Compilation -- Speculative Computations in Or-Parallel Tabled Logic Programs -- ?Prolog: A Logic Programming Language with Names, Binding and ?-Equivalence -- Implementation Results in Classical Constructive Negation -- On Hybridization of Local Search and Constraint Propagation -- Arc-Consistency + Unit Propagation = Lookahead -- The period Constraint -- Non-viability Deductions in Arc-Consistency Computation -- Compiling Prioritized Circumscription into Answer Set Programming -- Enhancing the Magic-Set Method for Disjunctive Datalog Programs -- Rectilinear Steiner Tree Construction Using Answer Set Programming -- Adding Domain Dependent Knowledge into Answer Set Programs for Planning -- Multi-agent Coordination as Distributed Logic Programming -- Logic Programs with Annotated Disjunctions -- Poster Presentations -- Abstract Interpretation-Based Mobile Code Certification -- Labeled Logic Programs -- Xcerpt and XChange – Logic Programming Languages for Querying and Evolution on the Web -- Protein Folding Simulation in CCP -- Applying CLP to Predict Extra-Functional Properties of Component-Based Models -- Main Results of the OADymPPaC Project -- FDBG, the CLP Debugger Library of SICStus Prolog -- Development of Semantic Debuggers Based on Refinement Calculus -- A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer -- Grid Service Selection with PPDL -- Concurrent Constraint Programming and Tree–Based Acoustic Modelling -- MProlog: An Extension of Prolog for Modal Logic Programming -- Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing -- Constraint-Based Synchronization and Verification of Distributed Java Programs -- JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR -- Agent Oriented Logic Programming Constructs in Jinni 2004.