SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Gäredal Anette) "

Sökning: WFRF:(Gäredal Anette)

  • Resultat 1-4 av 4
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  •  
2.
  • Aronsson, Martin, et al. (författare)
  • The programming language GCLA: A definitional approach to logic programming
  • 1989. - 1
  • Rapport (övrigt vetenskapligt/konstnärligt)abstract
    • We present a logic programming language, GCLA (Generalized horn Clause LAnguage), that is based on a generalization of Prolog. This generalization is unusual in that it takes a quite different view of the meaning of a logic program--a "definitional" view rather than the traditional logical view. GCLA has a number of noteworthy properties, for instance hypothetical and non-monotonic reasoning. This makes implementation of reasoning in knowledge-based systems more direct in GCLA than in Prolog. GCLA is also general enough to incorporate functional programming as a special case. GCLA and its syntax and semantics are described. The use of various language constructs are illustrated with several examples.
  •  
3.
  •  
4.
  • Gäredal, Anette (författare)
  • Knowledge acquisition procedures for diagnosis of performance problems
  • 1990. - 1
  • Rapport (övrigt vetenskapligt/konstnärligt)abstract
    • This report describes knowledge acquisition work, performed during a three months period, as part of a knowledge-based system project at IBM. The aim with the work was to develop knowledge acquisition procedures for diagnosis of a specific performance problem.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-4 av 4
Typ av publikation
rapport (2)
konferensbidrag (1)
tidskriftsartikel (1)
Typ av innehåll
övrigt vetenskapligt/konstnärligt (3)
refereegranskat (1)
Författare/redaktör
Gäredal, Anette (4)
Aronsson, Martin (3)
Hallnäs, Lars (3)
Eriksson, Lars-Henri ... (3)
Olin, Peter (3)
Lärosäte
Uppsala universitet (2)
RISE (2)
Språk
Engelska (4)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (4)

År

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy