CS Structure

About CS Structure | Search | Help  

 

  • neural network; genetic algorithm; finite element; mobile robot ( Subthemes )
  •          logic program; description logic; object-oriented database; deductive database ( Subthemes )
  •                  logic program; logic programming; deductive database; nonmonotonic reasoning ( Subthemes )
  •                          logic program; deductive database; logic programming; stable model ( Subthemes )
  • FOUNDATIONS OF LOGIC PROGRAMMING - LLOYD  
    By
    Date 
    Refs | Theme tree | Cited by 1562 This paper is cited in the following contexts

    Citation List: key=1001782
     

    Citation List:

    Citation Tree

    1) THE WELL-FOUNDED SEMANTICS FOR GENERAL LOGIC PROGRAMS  
    By Allen Van Gelder    John S. Schlipf    Kenneth A. Ross
    Date  July 1997
    Refs | Theme tree | Cited by 450 |  CiteSeer   (Hub Citation)

    2) REASONING ABOUT TERMINATION OF PURE PROLOG PROGRAMS  
    By Dino Pedreschi    Krzysztof R. Apt
    Date  March 1997
    Refs | Theme tree | Cited by 106 |  CiteSeer   (Authority Citation)

    3) INDUCTIVE LOGIC PROGRAMMING  
    By Glasgow G Ad    Stephen Muggleton
    Date  July 1998
    Refs | Theme tree | Cited by 322 |  CiteSeer  

    4) LOGIC PROGRAMMING AND NEGATION: A SURVEY  
    By Krzysztof R. Apt    Roland Bol
    Date  January 1970
    Refs | Theme tree | Cited by 142 |  CiteSeer  

    5) CLASSICAL NEGATION IN LOGIC PROGRAMS AND DISJUNCTIVE DATABASES  
    By Michael Gelfond    Vladimir Lifschitz
    Date  October 1996
    Refs | Theme tree | Cited by 261 |  CiteSeer  

    6) EVERY LOGIC PROGRAM HAS A NATURAL STRATIFICATION AND AN ITERATED LEAST FIXED POINT MODEL (EXTENDED ABSTRACT)  
    By Teodor C. Przymusinski
    Date  May 1996
    Refs | Theme tree | Cited by 85 |  CiteSeer  

    7) THEORY OF GENERALIZED ANNOTATED LOGIC PROGRAMMING AND ITS APPLICATIONS  
    By Michael Kifer    V. S. Subrahmanian
    Date  August 1995
    Refs | Theme tree | Cited by 103 |  CiteSeer   (Authority Citation)

    8) LOGICAL FOUNDATIONS OF OBJECT-ORIENTED AND FRAME-BASED LANGUAGES  
    By Georg Lausen    James Wu    Michael Kifer
    Date  June 1995
    Refs | Theme tree | Cited by 324 |  CiteSeer  

    9) TABLED EVALUATION WITH DELAYING FOR GENERAL LOGIC PROGRAMS  
    By David S. Warren    Weidong Chen
    Date  September 1996
    Refs | Theme tree | Cited by 122 |  CiteSeer   (Authority Citation)

    10) A PROCEDURAL SEMANTICS FOR WELL FOUNDED NEGATION IN LOGIC PROGRAMS  
    By Kenneth A. Ross
    Date  May 1996
    Refs | Theme tree | Cited by 49 |  CiteSeer  

    11) ON THE DECLARATIVE AND PROCEDURAL SEMANTICS OF LOGIC PROGRAMS  
    By Teodor C. Przymusinski
    Date  May 1996
    Refs | Theme tree | Cited by 55 |  CiteSeer   (Authority Citation)

    12) MODULAR TERMINATION PROOFS FOR LOGIC AND PURE PROLOG PROGRAMS  
    By D. Pedreschi    Dino Pedreschi    K. R. Apt    Krzysztof R. Apt
    Date  December 1994
    Refs | Theme tree | Cited by 44 |  CiteSeer   (Authority Citation)

    13) REASONING ABOUT PROLOG PROGRAMS: FROM MODES THROUGH TYPES TO ASSERTIONS  
    By And Elena Marchiori    Krzysztof R. Apt
    Date  April 1996
    Refs | Theme tree | Cited by 61 |  CiteSeer   (Authority Citation)

    14) TABULATED RESOLUTION FOR WELL FOUNDED SEMANTICS  
    By Lars Degerstedt    Roland Bol
    Date  January 1970
    Refs | Theme tree | Cited by 53 |  CiteSeer   (Authority Citation)

    15) PROBABILISTIC LOGIC PROGRAMMING  
    By A. V. Williams Building    Raymond Ng V. S. Subrahmanian
    Date  May 1996
    Refs | Theme tree | Cited by 62 |  CiteSeer   (Authority Citation)

    16) METRIC METHODS THREE EXAMPLES AND A THEOREM  
    By
    Date  August 1999
    Refs | Theme tree | Cited by 44 |  CiteSeer   (Authority Citation)

    17) CONSTRAINT QUERY LANGUAGES  
    By Gabriel M. Kuper    Paris C. Kanellakis    Peter Z. Revesz
    Date  April 1997
    Refs | Theme tree | Cited by 273 |  CiteSeer  

    18) WELL-FOUNDED SEMANTICS COINCIDES WITH THREE-VALUED STABLE SEMANTICS  
    By Teodor Przymusinski
    Date  May 1996
    Refs | Theme tree | Cited by 108 |  CiteSeer  

    19) INDUCTIVE ASSERTION METHOD FOR LOGIC PROGRAMS  
    By
    Date  January 1970
    Refs | Theme tree | Cited by 50 |  CiteSeer  

    20) A SEMANTICAL FRAMEWORK FOR SUPPORTING SUBJECTIVE AND CONDITIONAL PROBABILITIES IN DEDUCTIVE DATABASES  
    By A. V. Williams Building    Raymond Ng V. S. Subrahmanian
    Date  May 1996
    Refs | Theme tree | Cited by 52 |  CiteSeer  

    21) ON THE OCCUR-CHECK FREE PROLOG PROGRAMS  
    By Alessandro Pellegrini    Krzysztof R. Apt
    Date  April 1996
    Refs | Theme tree | Cited by 30 |  CiteSeer   (Authority Citation)

    22) STRONG TERMINATION OF LOGIC PROGRAMS  
    By Marc Bezem
    Date  October 1994
    Refs | Theme tree | Cited by 29 |  CiteSeer   (Authority Citation)

    23) REDUCING NONDETERMINISM WHILE SPECIALIZING LOGIC PROGRAMS  
    By Alberto Pettorossi    Maurizio Proietti    Sophie Renault
    Date  April 1997
    Refs | Theme tree | Cited by 27 |  CiteSeer   (Authority Citation)

    24) TOPOLOGY AND THE SEMANTICS OF LOGIC PROGRAMS  
    By Anthony Karel Seda
    Date  December 1997
    Refs | Theme tree | Cited by 23 |  CiteSeer  

    25) A LOGIC PROGRAMMING VIEW OF CLP  
    By Michael J. Maher
    Date  November 2000
    Refs | Theme tree | Cited by 54 |  CiteSeer   (Authority Citation)

  • Next 25 articles...