You have Guest access.
Log In
Patricia M. Hill and David S. Warren
Front matter
1-21
Experiences Using Logic Programming in Bioinformatics
22
A Knowledge Base System Project for FO(.)
23
From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse
24-35
Generative Modeling by PRISM
36
Enabling Serendipitous Search on the Web of Data Using Prolog
37
Untangling Reverse Engineering with Logic and Abstraction
38
(C)LP Tracing and Debugging
39
Probabilistic Logic Learning - A Tutorial Abstract
40-54
Using Histograms to Better Answer Queries to Probabilistic Logic Programs
55-69
Non-discriminating Arguments and Their Uses
70-83
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis
84-98
Stabilization of Information Sharing for Queries Answering in Multiagent Systems
99-114
Logic Programming for Multiagent Planning with Negotiation
115-129
Answer Set Programming with Constraints Using Lazy Grounding
130-144
Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs
145-159
Modular Nonmonotonic Logic Programming Revisited
160-174
Merging Logic Programs under Answer Set Semantics
175-189
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
190-204
A Tabling Implementation Based on Variables with Multiple Bindings
205-219
A Term-Based Global Trie for Tabled Logic Programs
220-234
A New Approach to Non-termination Analysis of Logic Programs
235-249
Constraint Answer Set Solving
250-264
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
265-280
A Language for Large Ensembles of Independently Executing Nodes
281-295
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework
296-311
Debugging for Model Expansion
312-326
Metabolic Network Expansion with Answer Set Programming
327-341
Answer Set Programming for Single-Player Games in General Game Playing
342-356
Finding Similar or Diverse Solutions in Answer Set Programming
357-371
Attributed Data for CHR Indexing
372-386
User Defined Indexing
387-401
Integration of Abductive Reasoning and Constraint Optimization in SCIFF
402-416
Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC
417-431
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
432-448
Logic Programming with Defaults and Argumentation Theories
449-463
Qualified Computations in Functional Logic Programming
464-478
Logic Programs under Three-Valued Łukasiewicz Semantics
479-483
Execution Control for CHR PhD Summary
484-488
Demand-Driven Normalisation for ACD Term Rewriting
489-493
One More Decidable Class of Finitely Ground Programs
494-498
Optimizing Compilation and Computational Complexity of Constraint Handling Rules Ph.D. Thesis Summary
499-503
Proving Termination by Invariance Relations
504-508
Automating Termination Proofs for CHR
509-513
An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems
514-518
An Engine for Computing Well-Founded Models
519-524
Incremental Answer Completion in the SLG-WAM
525-526
Research Summary: Tabled Evaluation for Transaction Logic Programs
527-529
Research Summary: Logic Programming for Massively Distributed Systems
530-531
Research Summary: Extending Elimination Algorithms for Functional Constraints to Solve Two Integer Variables per Inequality
532-533
Research Summary A Cognitive Architecture for a Service Robot: An Answer Set Programming Approach
534-535
Research Summary: Termination of CHR
536-537
Research Summary: Intelligent Natural Language Processing Techniques and Tools
538-539
Stochastic Reasoning with Models of Agent Behavior
540-541
Research Summary Analysing Graph Transformation Systems Using Extended Methods from Constraint Handling Rules
542-543
Modular Action Language ALM{\cal ALM}
544-546
Answering Questions from Natural Language Using A-Prolog
547-548
Belief Logic Programming
549-550
Logic-Statistic Models with Constraints for Biological Sequence Analysis
551-552
Fusion of Logic Programming and Description Logics
553-554
Research Summary: Non-termination Analysis of Logic Programs
555-556
Study of Random Logic Programs
557-558
Locally Distributed Predicates: A Programming Facility for Distributed State Detection
559-560
Capturing Fair Computations on Concurrent Constraint Language
561-562
Constraint Based Languages for Biological Reactions
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info