Sökning: "declarative clause"
Visar resultat 6 - 9 av 9 avhandlingar innehållade orden declarative clause.
6. Reflection Principles in Computational Logic
Sammanfattning : We introduce the concept of reflection principles as a knowledge representation paradigm in a computational logic setting. Reflection principles are expressed as certain kinds of logic schemata intended to capture the basic properties of the domain knowledge to be modelled. LÄS MER
7. Modality and Subordinators in the Germanic Languages and beyond
Sammanfattning : This thesis argues that general subordinators, such as the Germanic THAT and IF, denote propositional modality. Propositional modality stands for the “speaker’s attitude to the truth-value or factual status of the proposition” (Palmer 2001:24) and is otherwise expressed by moods such as the indicative-subjunctive and epistemic-evidential modal markers. LÄS MER
8. Heuristisk analys med Diderichsens satsschema - Tillämpningar för svensk text : Heuristic Analysis with Diderichsen’s Sentence Schema – Applications for Swedish Text
Sammanfattning : A heuristic method for parsing Swedish text, heuristic schema parsing, is described and implemented. Focusing on main clause (primary) analysis, a collection of licensing techniques for removing non-primary verb candidates is employed, leaving e.g. LÄS MER
9. GCLA : the design, use and implementation of a program development system
Sammanfattning : We present a program development system, GCLA (Generalized horn Clause LAnguage*), which is based on a generalization of Horn clauses (e.g. Prolog). This generalization takes a quite different view of the meaning of a logic program - a "definitional" view rather than the traditional logical view. LÄS MER