These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream.
Author(s): John Alan Robinson (auth.), John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (eds.)
Series: Lecture Notes in Computer Science 1861 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 1382
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Programming Techniques; Database Management
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
