Sökning: "First-Order Logic"

Visar resultat 21 - 25 av 38 avhandlingar innehållade orden First-Order Logic.

  1. 21. Dephosphorization of magnetite fines : surface reactions, flotation kinetics and fuzzy logic application

    Författare :Fenwei Su; Luleå tekniska universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Mineralteknik; Mineral Processing;

    Sammanfattning : The primary objective of the research work presented in this thesis is to investigate the influence of chemical and operational variables on the apatite flotation kinetics and to establish a suitable model using traditional method and fuzzy logic. The thesis consists of three parts, i.e. LÄS MER

  3. 22. Transient Control for Leader-follower Multi-agent Systems with Application to Spatiotemporal Logic Tasks

    Författare :Fei Chen; Dimos V. Dimarogonas; Jana Tumova; Ming Cao; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; multi-agent systems; leader-follower networks; transient constraints; temporal logics; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Over the past few decades, significant research has been directed towards addressing the problem of distributed control of multi-agent systems. The overall tasks include consensus, formation, flocking, and coverage control with the wide applications in multi-robot coordination, manufacturing and intelligent transportation systems. LÄS MER

  4. 23. Calculi for Program Incorrectness and Arithmetic

    Författare :Philipp Rümmer; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : This thesis is about the development and usage of deductive methods in two main areas: (i) the deductive dis-verification of programs, i.e., how techniques for deductive verification of programs can be used to detect program defects, and (ii) reasoning modulo integer arithmetic, i.e. LÄS MER

  5. 24. Lindström quantifiers and higher-order notions on finite structures

    Författare :Anders Andersson; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematics; Finite model theory; generalized quantifiers; higher-order quantifiers and operators; bijective Ehrenfeucht-Fraïssé games; quantifying over quantifiers; isomorphism quantifiers; MATEMATIK; MATHEMATICS; MATEMATIK; matematisk logik; Mathematical Logic;

    Sammanfattning : The expressive power of first-order logic is very limited on finite structures. One important way to obtain stronger logics is to add Lindström quantifiers, and another is to add higher-order quantification. We investigate two different ways of combing the two approaches. LÄS MER

  7. 25. Applications of SAT solving

    Författare :Niklas Sörensson; Göteborgs universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : In the area of formal verification it is well known that there can be no single logic that suits all needs. This insight motivates the diversity of this dissertation: it contains contributions to SAT solving, First Order theorem proving and Model Finding, and Symbolic Model Checking. LÄS MER