دانلود کتاب Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

فهرست مطالب :

Computational Logic: Memories of the Past and Challenges for the Future....Pages 1-24
ILP: Just Do It....Pages 25-40
Databases and Higher Types....Pages 41-52
A Denotational Semantics for First-Order Logic....Pages 53-69
Logic, Knowledge Representation, and Bayesian Decision Theory....Pages 70-86
Logic Program Synthesis in a Higher-Order Setting....Pages 87-100
Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction....Pages 101-115
Binary Speed Up for Logic Programs....Pages 116-130
A New Module System for Prolog....Pages 131-148
Partial Models of Extended Generalized Logic Programs....Pages 149-163
Alternating Fixpoint Theory for Logic Programs with Priority....Pages 164-178
Proving Failure in Functional Logic Programs....Pages 179-193
Semantics of Input-Consuming Logic Programs....Pages 194-208
A Denotational Semantics of Defeasible Logic....Pages 209-222
Isoinitial Semantics for Logic Programs....Pages 223-238
Abstract Syntax for Variable Binders: An Overview....Pages 239-253
Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic....Pages 254-268
Efficient EM Learning with Tabulation for Parameterized Logic Programs....Pages 269-284
Model Generation Theorem Proving with Finite Interval Constraints....Pages 285-299
Combining Mobile Processes and Declarative Programming....Pages 300-314
Representing Trees with Constraints....Pages 315-325
Dominance Constraints with Set Operators....Pages 326-341
Better Communication for Tighter Cooperation....Pages 342-357
Arc Consistency Algorithms via Iterations of Subsumed Functions....Pages 358-372
AVAL: An Enumerative Method for SAT....Pages 373-383
Constraint Logic Programming for Local and Symbolic Model-Checking....Pages 384-398
A CLP Framework for Computing Structural Test Data....Pages 399-413
Modelling Digital Circuits Problems with Set Constraints....Pages 414-428
Promoting Constraints to First-Class Status....Pages 429-447
Developing Finite Domain Constraints — A Data Model Approach....Pages 448-462
Concurrent Constraint Programming with Process Mobility....Pages 463-477
A System for Tabled Constraint Logic Programming....Pages 478-492
Finding Tractable Formulas in NNF....Pages 493-507
The Taming of the (X)OR....Pages 508-522
On an ω -Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL....Pages 523-537
Representing Object Code....Pages 538-552
Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking....Pages 553-567
Certification of Compiler Optimizations Using Kleene Algebra with Tests....Pages 568-582
An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas....Pages 583-597
Model Checking for Timed Logic Processes....Pages 598-612
Perfect Model Checking via Unfold/Fold Transformations....Pages 613-628
Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions....Pages 629-643
Proof Planning with Multiple Strategies....Pages 644-659
The Theory of Total Unary RPO Is Decidable....Pages 660-672
On the Problem of Computing the Well-Founded Semantics....Pages 673-687
Computing Equilibrium Models Using Signed Formulas....Pages 688-702
Extending Classical Logic with Inductive Definitions....Pages 703-717
A Simple Characterization of Extended Abduction....Pages 718-732
A New Equational Foundation for the Fluent Calculus....Pages 733-746
Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams....Pages 747-761
Decidability Results for the Propositional Fluent Calculus....Pages 762-776
A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic Programs....Pages 777-791
Default Reasoning with Specificity....Pages 792-806
Planning under Incomplete Knowledge....Pages 807-821
Wire Routing and Satisfiability Planning....Pages 822-836
Including Diagnostic Information in Configuration Models....Pages 837-851
Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs....Pages 852-866
On Complexity of Updates through Integrity Constraints....Pages 867-881
Computational Complexity of Planning Based on Partial Information about the System’s Present and Past States....Pages 882-896
Smallest Equivalent Sets for Finite Propositional Formula Circumscription....Pages 897-911
A Semantics for Persistency in Propositional Dynamic Logic....Pages 912-925
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases....Pages 926-941
Querying Inconsistent Databases: Algorithms and Implementation....Pages 942-956
On Verification in Logic Database Languages....Pages 957-971
Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets....Pages 972-986
Linearly Bounded Reformulations of Conjunctive Databases....Pages 987-1001
MuTACLP: A Language for Declarative GIS Analysis....Pages 1002-1016
Reasoning about Duplicate Elimination with Description Logic....Pages 1017-1032
A File System Based on Concept Analysis....Pages 1033-1047
A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases....Pages 1048-1062
SLDMagic — The Real Magic (With Applications to Web Queries)....Pages 1063-1077
FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine....Pages 1078-1093
Design and Implementation of the Physical Layer in WebBases: The XRover Experience....Pages 1094-1105
A Dynamic Approach to Termination Analysis for Active Database Rules....Pages 1106-1120
Constraint-Based Termination Analysis for Cyclic Active Database Rules....Pages 1121-1136
A Formal Model for an Expressive Fragment of XSLT....Pages 1137-1151
On the Equivalence of XML Patterns....Pages 1152-1166
Querying XML Specified WWW Sites: Links and Recursion in XML-GL....Pages 1167-1181
A Heuristic Approach for Converting HTML Documents to XML Documents....Pages 1182-1196
Specification of an Active Database System Application Using Dynamic Relation Nets....Pages 1197-1209
Invariance, Maintenance, and Other Declarative Objectives of Triggers — A Formal Characterization of Active Databases....Pages 1210-1224
Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects....Pages 1225-1239
So Many WAM Variations, So Little Time....Pages 1240-1254
A Module Based Analysis for Memory Reuse in Mercury....Pages 1255-1269
Mode Checking in HAL....Pages 1270-1284
The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems....Pages 1285-1299
Data Protection by Logic Programming....Pages 1300-1314
A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language....Pages 1315-1329
A Logic Programming Application for the Analysis of Spanish Verse....Pages 1330-1344
A Documentation Generator for (C)LP Systems....Pages 1345-1361
Psychiatric Diagnosis from the Viewpoint of Computational Logic....Pages 1362-1376