SwePub
Sök i SwePub databas

  Extended search

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

Search: WFRF:(Gäredal Anette)

  • Result 1-4 of 4
Sort/group result
   
EnumerationReferenceCoverFind
1.
  •  
2.
  • Aronsson, Martin, et al. (author)
  • The programming language GCLA: A definitional approach to logic programming
  • 1989. - 1
  • Reports (other academic/artistic)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 (author)
  • Knowledge acquisition procedures for diagnosis of performance problems
  • 1990. - 1
  • Reports (other academic/artistic)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
  • Result 1-4 of 4
Type of publication
reports (2)
conference paper (1)
journal article (1)
Type of content
other academic/artistic (3)
peer-reviewed (1)
Author/Editor
Gäredal, Anette (4)
Aronsson, Martin (3)
Hallnäs, Lars (3)
Eriksson, Lars-Henri ... (3)
Olin, Peter (3)
University
Uppsala University (2)
RISE (2)
Language
English (4)
Research subject (UKÄ/SCB)
Natural sciences (4)

Year

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 Close

Copy and save the link in order to return to this view