The SCEAS System
Navigation Menu

Conferences in DBLP

UK Conference on Logic Programming (ALPUK) (alpuk)
1990 (conf/alpuk/90)

  1. Edward Babb
    Metalevel and Constraint Technology in a Pure Logic Language. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1990, pp:1-21 [Conf]
  2. Paul Brna, Alan Bundy, Helen Pain
    A framework for the Principled Debugging of Prolog Programs: How to Debug Non-Terminating Programs. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1990, pp:22-55 [Conf]
  3. Andrew Casson
    Event Abstraction Debuggers for Layered Systems in Prolog. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1990, pp:56-74 [Conf]
  4. Subrata Kumar Das, M. Howard Williams
    Extending the Integrity Maintenance Capability in Deductive Databases. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1990, pp:75-111 [Conf]
  5. Yves Deville, Pascal Van Hentenryck
    Construction of CLP Programs. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1990, pp:112-135 [Conf]
  6. P. W. Grant, C. P. Jobling, C. Rezvani
    Some Control Engineering Applications of Prolog. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1990, pp:136-158 [Conf]
  7. Keith Harrison
    GAP: An Exercise in Model Oriented Programming. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1990, pp:159-172 [Conf]
  8. Ron Knott
    Using Prolog to Animate Mathematics. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1990, pp:173-188 [Conf]
  9. Chris Mellish
    Term-Encodable Description Spaces. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1990, pp:189-207 [Conf]
  10. Chris Moss
    Logic, Language and the Quest for Intelligence. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1990, pp:208-226 [Conf]
  11. S. M. S. Syed-Mustaffa
    A Model for OR-Parallel Prolog Execution using Graph Reduction. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1990, pp:227-252 [Conf]
  12. Hamish Taylor
    Reconciling Systems and Deductive Capabilities in Knowledge Based Systems Using Logic Programming. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1990, pp:253-281 [Conf]
  13. Jiwei Wang, Simon H. Lavington
    The Wivenhoe Computational Model: In Search of More Parallelisms. [Citation Graph (0, 0)][DBLP]
    ALPUK, 1990, pp:282-310 [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