↓ Skip to main content

Computational Logic — CL 2000 : First International Conference London, UK, July 24–28, 2000 Proceedings

Overview of attention for book
Cover of 'Computational Logic — CL 2000 : First International Conference London, UK, July 24–28, 2000 Proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Computational Logic: Memories of the Past and Challenges for the Future
  3. Altmetric Badge
    Chapter 2 ILP: Just Do It
  4. Altmetric Badge
    Chapter 3 Databases and Higher Types
  5. Altmetric Badge
    Chapter 4 A Denotational Semantics for First-Order Logic
  6. Altmetric Badge
    Chapter 5 Logic, Knowledge Representation, and Bayesian Decision Theory
  7. Altmetric Badge
    Chapter 6 Computational Logic — CL 2000
  8. Altmetric Badge
    Chapter 7 Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction
  9. Altmetric Badge
    Chapter 8 Binary Speed Up for Logic Programs
  10. Altmetric Badge
    Chapter 9 A New Module System for Prolog
  11. Altmetric Badge
    Chapter 10 Partial Models of Extended Generalized Logic Programs
  12. Altmetric Badge
    Chapter 11 Alternating Fixpoint Theory for Logic Programs with Priority
  13. Altmetric Badge
    Chapter 12 Proving Failure in Functional Logic Programs
  14. Altmetric Badge
    Chapter 13 Semantics of Input-Consuming Logic Programs
  15. Altmetric Badge
    Chapter 14 A Denotational Semantics of Defeasible Logic
  16. Altmetric Badge
    Chapter 15 Isoinitial Semantics for Logic Programs
  17. Altmetric Badge
    Chapter 16 Abstract Syntax for Variable Binders: An Overview
  18. Altmetric Badge
    Chapter 17 Goal-Directed Proof Search in Multiple-Conclusioned Intuitionistic Logic
  19. Altmetric Badge
    Chapter 18 Efficient EM Learning with Tabulation for Parameterized Logic Programs
  20. Altmetric Badge
    Chapter 19 Model Generation Theorem Proving with Finite Interval Constraints
  21. Altmetric Badge
    Chapter 20 Combining Mobile Processes and Declarative Programming
  22. Altmetric Badge
    Chapter 21 Representing Trees with Constraints
  23. Altmetric Badge
    Chapter 22 Dominance Constraints with Set Operators
  24. Altmetric Badge
    Chapter 23 Better Communication for Tighter Cooperation
  25. Altmetric Badge
    Chapter 24 Arc Consistency Algorithms via Iterations of Subsumed Functions
  26. Altmetric Badge
    Chapter 25 AVAL: An Enumerative Method for SAT
  27. Altmetric Badge
    Chapter 26 Constraint Logic Programming for Local and Symbolic Model-Checking
  28. Altmetric Badge
    Chapter 27 A CLP Framework for Computing Structural Test Data
  29. Altmetric Badge
    Chapter 28 Modelling Digital Circuits Problems with Set Constraints
  30. Altmetric Badge
    Chapter 29 Promoting Constraints to First-Class Status
  31. Altmetric Badge
    Chapter 30 Developing Finite Domain Constraints — A Data Model Approach
  32. Altmetric Badge
    Chapter 31 Concurrent Constraint Programming with Process Mobility
  33. Altmetric Badge
    Chapter 32 A System for Tabled Constraint Logic Programming
  34. Altmetric Badge
    Chapter 33 Finding Tractable Formulas in NNF
  35. Altmetric Badge
    Chapter 34 The Taming of the (X)OR
  36. Altmetric Badge
    Chapter 35 On an ω -Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL
  37. Altmetric Badge
    Chapter 36 Representing Object Code
  38. Altmetric Badge
    Chapter 37 Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking
  39. Altmetric Badge
    Chapter 38 Certification of Compiler Optimizations Using Kleene Algebra with Tests
  40. Altmetric Badge
    Chapter 39 An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas
  41. Altmetric Badge
    Chapter 40 Model Checking for Timed Logic Processes
  42. Altmetric Badge
    Chapter 41 Perfect Model Checking via Unfold/Fold Transformations
  43. Altmetric Badge
    Chapter 42 Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions
  44. Altmetric Badge
    Chapter 43 Proof Planning with Multiple Strategies
  45. Altmetric Badge
    Chapter 44 The Theory of Total Unary RPO Is Decidable
  46. Altmetric Badge
    Chapter 45 On the Problem of Computing the Well-Founded Semantics
  47. Altmetric Badge
    Chapter 46 Computing Equilibrium Models Using Signed Formulas
  48. Altmetric Badge
    Chapter 47 Extending Classical Logic with Inductive Definitions
  49. Altmetric Badge
    Chapter 48 A Simple Characterization of Extended Abduction
  50. Altmetric Badge
    Chapter 49 A New Equational Foundation for the Fluent Calculus
  51. Altmetric Badge
    Chapter 50 Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams
  52. Altmetric Badge
    Chapter 51 Decidability Results for the Propositional Fluent Calculus
  53. Altmetric Badge
    Chapter 52 A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic Programs
  54. Altmetric Badge
    Chapter 53 Default Reasoning with Specificity
  55. Altmetric Badge
    Chapter 54 Planning under Incomplete Knowledge
  56. Altmetric Badge
    Chapter 55 Wire Routing and Satisfiability Planning
  57. Altmetric Badge
    Chapter 56 Including Diagnostic Information in Configuration Models
  58. Altmetric Badge
    Chapter 57 Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs
  59. Altmetric Badge
    Chapter 58 On Complexity of Updates through Integrity Constraints
  60. Altmetric Badge
    Chapter 59 Computational Complexity of Planning Based on Partial Information about the System’s Present and Past States
  61. Altmetric Badge
    Chapter 60 Smallest Equivalent Sets for Finite Propositional Formula Circumscription
  62. Altmetric Badge
    Chapter 61 A Semantics for Persistency in Propositional Dynamic Logic
  63. Altmetric Badge
    Chapter 62 Applications of Annotated Predicate Calculus to Querying Inconsistent Databases
  64. Altmetric Badge
    Chapter 63 Querying Inconsistent Databases: Algorithms and Implementation
  65. Altmetric Badge
    Chapter 64 On Verification in Logic Database Languages
  66. Altmetric Badge
    Chapter 65 Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets
  67. Altmetric Badge
    Chapter 66 Linearly Bounded Reformulations of Conjunctive Databases
  68. Altmetric Badge
    Chapter 67 MuTACLP: A Language for Declarative GIS Analysis
  69. Altmetric Badge
    Chapter 68 Reasoning about Duplicate Elimination with Description Logic
  70. Altmetric Badge
    Chapter 69 A File System Based on Concept Analysis
  71. Altmetric Badge
    Chapter 70 A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases
  72. Altmetric Badge
    Chapter 71 SLDMagic — The Real Magic (With Applications to Web Queries)
  73. Altmetric Badge
    Chapter 72 FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine
  74. Altmetric Badge
    Chapter 73 Design and Implementation of the Physical Layer in WebBases: The XRover Experience
  75. Altmetric Badge
    Chapter 74 A Dynamic Approach to Termination Analysis for Active Database Rules
  76. Altmetric Badge
    Chapter 75 Constraint-Based Termination Analysis for Cyclic Active Database Rules
  77. Altmetric Badge
    Chapter 76 A Formal Model for an Expressive Fragment of XSLT
  78. Altmetric Badge
    Chapter 77 On the Equivalence of XML Patterns
  79. Altmetric Badge
    Chapter 78 Querying XML Specified WWW Sites: Links and Recursion in XML-GL
  80. Altmetric Badge
    Chapter 79 A Heuristic Approach for Converting HTML Documents to XML Documents
  81. Altmetric Badge
    Chapter 80 Specification of an Active Database System Application Using Dynamic Relation Nets
  82. Altmetric Badge
    Chapter 81 Invariance, Maintenance, and Other Declarative Objectives of Triggers — A Formal Characterization of Active Databases
  83. Altmetric Badge
    Chapter 82 Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects
  84. Altmetric Badge
    Chapter 83 So Many WAM Variations, So Little Time
  85. Altmetric Badge
    Chapter 84 A Module Based Analysis for Memory Reuse in Mercury
  86. Altmetric Badge
    Chapter 85 Mode Checking in HAL
  87. Altmetric Badge
    Chapter 86 The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems
  88. Altmetric Badge
    Chapter 87 Data Protection by Logic Programming
  89. Altmetric Badge
    Chapter 88 A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language
  90. Altmetric Badge
    Chapter 89 A Logic Programming Application for the Analysis of Spanish Verse
  91. Altmetric Badge
    Chapter 90 A Documentation Generator for (C)LP Systems
  92. Altmetric Badge
    Chapter 91 Psychiatric Diagnosis from the Viewpoint of Computational Logic
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

patent
2 patents

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
9 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Computational Logic — CL 2000 : First International Conference London, UK, July 24–28, 2000 Proceedings
Published by
Springer, Berlin, Heidelberg, June 2003
DOI 10.1007/3-540-44957-4
ISBNs
978-3-54-067797-0, 978-3-54-044957-7
Editors

Lloyd, John, Stuckey, Peter J., Sagiv, Yehoshua, Pereira, Luís Moniz, Palamidessi, Catuscia, Lau, Kung-Kiu, Kerber, Manfred, Furbach, Ulrich, Dahl, Veronica

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 9 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United Kingdom 1 11%
United States 1 11%
Germany 1 11%
Unknown 6 67%

Demographic breakdown

Readers by professional status Count As %
Other 2 22%
Student > Ph. D. Student 2 22%
Student > Master 2 22%
Student > Bachelor 1 11%
Student > Doctoral Student 1 11%
Other 1 11%
Readers by discipline Count As %
Computer Science 9 100%