The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Paolo Baldan, Paolo Mancarella, Alessandra Raffaetà, Franco Turini
    MuTACLP: A Language for Temporal Reasoning with Multiple Theories. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:1-40 [Conf]
  2. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
    Description Logics for Information Integration. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:41-60 [Conf]
  3. Sergio Greco, Domenico Saccà
    Search and Optimization Problems in Datalog. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:61-82 [Conf]
  4. Paolo Mascellani, Dino Pedreschi
    The Declarative Side of Magic. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:83-108 [Conf]
  5. Carlo Zaniolo
    Key Constraints and Monotonic Aggregates in Deductive Databases. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:109-134 [Conf]
  6. Krysia Broda
    A Decidable CLDS for Some Propositional Resource Logics. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:135-159 [Conf]
  7. Alan Bundy
    A Critique of Proof Planning. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:160-177 [Conf]
  8. Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Yasuyuki Shirai
    A Model Generation Based Theorem Prover MGTP for First-Order Logic. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:178-213 [Conf]
  9. Eugenio G. Omodeo, Jacob T. Schwartz
    A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:214-230 [Conf]
  10. Jörg H. Siekmann, Graham Wrightson
    An Open Research Problem: Strong Completeness of R. Kowalski's Connection Graph Proof Procedure. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:231-252 [Conf]
  11. Stefania Costantini
    Meta-reasoning: A Survey. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:253-288 [Conf]
  12. Phan Minh Dung, Paolo Mancarella, Francesca Toni
    Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:289-310 [Conf]
  13. Katsumi Inoue
    Automated Abduction. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:311-341 [Conf]
  14. Henry Prakken, Giovanni Sartor
    The Role of Logic in Computational Models of Legal Argument: A Critical Survey. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:342-381 [Conf]
  15. José Júlio Alferes, Luís Moniz Pereira
    Logic Programming Updating - A Guided Approach. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:382-412 [Conf]
  16. Michael Gelfond
    Representing Knowledge in A-Prolog. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:413-451 [Conf]
  17. Rob Miller, Murray Shanahan
    Some Alternative Formulations of the Event Calculus. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:452-490 [Conf]
  18. James Cussens
    Issues in Learning Language in Logic. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:491-505 [Conf]
  19. Verónica Dahl
    On Implicit Meanings. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:506-525 [Conf]
  20. Luc De Raedt
    Data Mining as Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:526-547 [Conf]
  21. Chris Mellish
    DCGs: Parsing as Deduction? [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:548-566 [Conf]
  22. Taisuke Sato, Yoshitaka Kameya
    Statistical Abduction with Tabulation. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:567-587 [Conf]
  23. Donald Gillies
    Logicism and the Development of Computer Science. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:588-604 [Conf]
  24. Stathis Psillos
    Simply the Best: A Case for Abduction. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:605-626 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002