1. CL 2000: London, UK
John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (Eds.): Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science ISBN 3-540-67797-6
Invited Papers
- John Alan Robinson: Computational Logic: Memories of the Past and Challenges for the Future. 1-24
- David Page: ILP: Just Do It. 25-40
- Melvin Fitting: Databases and Higher Types. 41-52
- Krzysztof R. Apt: A Denotational Semantics for First-Order Logic. 53-69
- David Poole: Logic, Knowledge Representation, and Bayesian Decision Theory. 70-86
Program Development (LOPSTR)
- David Lacey, Julian Richardson, Alan Smaill: Logic Program Synthesis in a Higher-Order Setting. 87-100
- Michael Leuschel, Helko Lehmann: Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction. 101-115
Logic Programming: Theory and Extensions
- José Júlio Alferes, Heinrich Herre, Luís Moniz Pereira: Partial Models of Extended Generalized Logic Programs. 149-163
- Kewen Wang, Lizhu Zhou, Fangzhen Lin: Alternating Fixpoint Theory for Logic Programs with Priority. 164-178
- Francisco Javier López-Fraguas, Jaime Sánchez-Hernández: Proving Failure in Functional Logic Programs. 179-193
- Michael J. Maher: A Denotational Semantics of Defeasible Logic. 209-222
- Dale Miller: Abstract Syntax for Variable Binders: An Overview. 239-253
- James Harland, Tatjana Lutovac, Michael Winikoff: Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic. 254-268
- Yoshitaka Kameya, Taisuke Sato: Efficient EM Learning with Tabulation for Parameterized Logic Programs. 269-284
- Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai: Moder Generation Theorem Proving with Finite Interval Constraints. 285-299
Constraints
- Petra Hofstedt: Better Communication for Tighter Cooperation. 342-358
- Rosella Gennari: Arc Consistency Algorithms via Iterations of Subsumed Functions. 358-372
- Ulf Nilsson, Johan Lübcke: Constraint Logic Programming for Local and Symbolic Model-Checking. 384-398
- Arnaud Gotlieb, Bernard Botella, Michel Rueher: A CLP Framework for Computing Structural Test Data. 399-413
- Francisco Azevedo, Pedro Barahona: Modelling Digital Circuits Problems with Set Constraints. 414-428
- Tobias Müller: Promoting Constraints to First-Class Status. 429-447
- Kit-ying Hui, Peter M. D. Gray: Developing Finite Domain Constraints - A Data Model Approach. 448-462
- David Gilbert, Catuscia Palamidessi: Concurrent Constraint Programming with Process Mobility. 463-477
Automated Deduction: Putting Theory into Practice
- Regimantas Pliuskevicius: On an omega-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL. 523-537
- Marco Benini: Representing Object Code. 538-552
- Tommi A. Junttila, Ilkka Niemelä: Towards an Efficient Tableau Method for Boolean Circuit Satisfiability Checking. 553-567
- Dexter Kozen, Maria-Christina Patron: Certification of Compiler Optimizations Using Kleene Algebra with Tests. 568-582
- Michael Dierkes: An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas. 583-597
- Alberto Pettorossi, Maurizio Proietti: Perfect Model Checking via Unfold/Fold Transformations. 613-628
- Richard J. Boulton, Konrad Slind: Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions. 629-643
Knowledge Representation and Non-monotonic Reasoning
- Zbigniew Lonc, Miroslaw Truszczynski: On the Problem of Computing the Well-Founded Semantics. 673-687
- David Pearce, Inman P. de Guzmán, Agustín Valverde: Computing Equilibrium Models Using Signed Formulas. 688-702
- Marc Denecker: Extending Classical Logic with Inductive Definitions. 703-717
- Katsumi Inoue: A Simple Characterization of Extended Abduction. 718-732
- Steffen Hölldobler, Hans-Peter Störr: Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams. 747-761
- Helko Lehmann, Michael Leuschel: Decidability Results for the Propositional Fluent Calculus. 762-776
- Vincenzo Pallotta: A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic Programs. 777-791
- Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Planning under Incomplete Knowledge. 807-821
- Esra Erdem, Vladimir Lifschitz, Martin D. F. Wong: Wire Routing and Satisfiability Planning. 822-836
- Tommi Syrjänen: Including Diagnostic Information in Configuration Models. 837-851
- Tomi Janhunen: Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs. 852-866
- Michael I. Dekhtyar, Alexander Ja. Dikovsky, Sergey Dudakov: On Complexity of Updates through Integrity Constraints. 867-881
- Chitta Baral, Le-Chi Tuan, Raul Trejo, Vladik Kreinovich: Computational Complexity of Planning Based on Partial Information about the System's Present and Past States. 882-896
- Yves Moinard, Raymond Rolland: Smallest Equivalent Sets for Finite Propositional Formula Circumscription. 897-911
- Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Semantics for Persistency in Propositional Dynamic Logic. 912-925
Database Systems (DOOD)
- Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer: Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. 926-941
- Alexander Celle, Leopoldo E. Bertossi: Querying Inconsistent Databases: Algorithms and Implementation. 942-956
- Francesco Bonchi, Fosca Giannotti, Dino Pedreschi: On Verification in Logic Database Languages. 957-971
- Yves Bastide, Nicolas Pasquier, Rafik Taouil, Gerd Stumme, Lotfi Lakhal: Mining Minimal Non-redundant Association Rules Using Frequent Closed Itemsets. 972-986
- Rada Chirkova, Michael R. Genesereth: Linearly Bounded Reformulations of Conjunctive Databases. 987-1001
- Paolo Mancarella, Gianluca Nerbini, Alessandra Raffaetà, Franco Turini: MuTACLP: A Language for Declarative GIS Analysis. 1002-1016
- Vitaliy L. Khizder, David Toman, Grant E. Weddell: Reasoning about Duplicate Elimination with Description Logic. 1017-1032
- Enrico Franconi, Fabio Grandi, Federica Mandreoli: A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases. 1048-1062
- Stefan Brass: SLDMagic - The Real Magic (With Applications to Web Queries). 1063-1077
- Guizhen Yang, Michael Kifer: FLORA: Implementing an Efficient DOOD System Using a Tabling Logic Engine. 1078-1093
- Hasan Davulcu, Guizhen Yang, Michael Kifer, I. V. Ramakrishnan: Design and Implementation of the Physical Layer in WebBases: The XRover Experience. 1094-1105
- James Bailey, Alexandra Poulovassilis, Peter Newson: A Dynamic Approach to Termination Analysis for Active Database Rules. 1106-1120
- Saumya K. Debray, Timothy J. Hickey: Constraint-Based Termination Analysis for Cyclic Active Database Rules. 1121-1136
- Geert Jan Bex, Sebastian Maneth, Frank Neven: A Formal Model for an Expressive Fragment of XSLT. 1137-1151
- Peter T. Wood: On the Equivalence of XML Patterns. 1152-1166
- Barbara Oliboni, Letizia Tanca: Querying XML Specified WWW Sites: Links and Recursion in XML-GL. 1167-1181
- Seung Jin Lim, Yiu-Kai Ng: A Heuristic Approach for Converting HTML Documents to XML Documents. 1182-1196
- Laurent Allain, Pascal Yim: Specification of an Active Database System Application Using Dynamic Relation Nets. 1197-1209
- Mutsumi Nakamura, Chitta Baral: Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active Databases. 1210-1224
Logic Programming: Implementations and Applications
- Paul Tarau: Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects. 1225-1239
- Nancy Mazur, Gerda Janssens, Maurice Bruynooghe: A Module Based Analysis for Memory Reuse in Mercury. 1255-1269
- Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott: Model Checking in HAL. 1270-1284
- Inês de Castro Dutra, Vítor Santos Costa, Ricardo Bianchini: The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems. 1285-1299
- Steve Barker: Data Protection by Logic Programming. 1300-1314
- Chuck Liang: A Deterministic Shift-Reduce Parser Generator for a Logic Programming Language. 1315-1329
- Pablo Gervás: A Logic Programming Application for the Analysis of Spanish Verse. 1330-1344
- Manuel V. Hermenegildo: A Documentation Generator for (C)LP Systems. 1345-1361
- Joseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio, Luís Moniz Pereira: Psychiatric Diagnosis from the Viewpoint of Computational Logic. 1362-1376
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team