Conferences in DBLP

Birthday ... (birthday)
2002 (conf/birthday/2002kowalski1)

1. Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden
   A Portrait of a Scientist as a Computational Logician. [Citation Graph (0, 0)][DBLP]
   Computational Logic: Logic Programming and Beyond, 2002, pp:1-4 [Conf]
   
2. Marek J. Sergot
   Bob Kowalski: A Portrait. [Citation Graph (0, 0)][DBLP]
   Computational Logic: Logic Programming and Beyond, 2002, pp:5-25 [Conf]
   
3. Robert A. Kowalski
   Directions for Logic Programming. [Citation Graph (0, 0)][DBLP]
   Computational Logic: Logic Programming and Beyond, 2002, pp:26-32 [Conf]
   
4. Keith L. Clark, Peter J. Robinson
   Agents as Multi-threaded Logical Objects. [Citation Graph (0, 0)][DBLP]
   Computational Logic: Logic Programming and Beyond, 2002, pp:33-65 [Conf]
   
5. Andrew Davison
   Logic Programming Languages for the Internet. [Citation Graph (0, 0)][DBLP]
   Computational Logic: Logic Programming and Beyond, 2002, pp:66-104 [Conf]
   
6. John W. Lloyd
   Higher-Order Computational Logic. [Citation Graph (0, 0)][DBLP]
   Computational Logic: Logic Programming and Beyond, 2002, pp:105-137 [Conf]
   
7. Kazunori Ueda
   A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language. [Citation Graph (0, 0)][DBLP]
   Computational Logic: Logic Programming and Beyond, 2002, pp:138-161 [Conf]
   
8. Annalisa Bossi, Nicoletta Cocco, Sandro Etalle
   Transformation Systems and Nondeclarative Properties. [Citation Graph (0, 0)][DBLP]
   Computational Logic: Logic Programming and Beyond, 2002, pp:162-186 [Conf]
   
9. Danny De Schreye, Alexander Serebrenik
   Acceptability with General Orderings. [Citation Graph (0, 0)][DBLP]
   Computational Logic: Logic Programming and Beyond, 2002, pp:187-210 [Conf]
   
10. Gopal Gupta, Enrico Pontelli
    Specification, Implementation, and Verification of Domain Specific Languages: A Logic Programming-Based Approach. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:211-239 [Conf]
    
11. Paolo Mancarella, Dino Pedreschi, Salvatore Ruggieri
    Negation as Failure through Abduction: Reasoning about Termination. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:240-272 [Conf]
    
12. Alberto Pettorossi, Maurizio Proietti
    Program Derivation = Rules + Strategies. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:273-309 [Conf]
    
13. Pierre Flener
    Achievements and Prospects of Program Synthesis. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:310-346 [Conf]
    
14. Kung-Kiu Lau, Mario Ornaghi
    Logic for Component-Based Software Development. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:347-373 [Conf]
    
15. Leon Sterling
    Patterns for Prolog Programming. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:374-401 [Conf]
    
16. Marc Denecker, Antonis C. Kakas
    Abduction in Logic Programming. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:402-436 [Conf]
    
17. Peter A. Flach, Nada Lavrac
    Learning in Clausal Logic: A Perspective on Inductive Logic Programming. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:437-471 [Conf]
    
18. Jack Minker, Dietmar Seipel
    Disjunctive Logic Programming: A Survey and Assessment. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:472-511 [Conf]
    
19. Mark Wallace
    Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:512-532 [Conf]
    
20. Luigia Carlucci Aiello, Fabio Massacci
    Planning Attacks to Security Protocols: Case Studies in Logic Programming. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:533-560 [Conf]
    
21. Francesco Buccafurri, Georg Gottlob
    Multiagent Compromises, Joint Fixpoints, and Stable Models. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:561-585 [Conf]
    
22. Thomas Eiter, Viviana Mascardi, V. S. Subrahmanian
    Error-Tolerant Agents. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:586-625 [Conf]
    
23. Christoph G. Jung, Klaus Fischer
    Logic-Based Hybrid Agents. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:626-654 [Conf]
    
24. Thomas Sjöland, Per Kreuger, Martin Aronsson
    Heterogeneous Scheduling and Rotation. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:655-676 [Conf]