Search for dissertations about: "first-order logic"
Showing result 21 - 25 of 38 swedish dissertations containing the words first-order logic.
-
21. Dephosphorization of magnetite fines : surface reactions, flotation kinetics and fuzzy logic application
Abstract : 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. READ MORE
-
22. Transient Control for Leader-follower Multi-agent Systems with Application to Spatiotemporal Logic Tasks
Abstract : 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. READ MORE
-
23. Calculi for Program Incorrectness and Arithmetic
Abstract : 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. READ MORE
-
24. Lindström quantifiers and higher-order notions on finite structures
Abstract : 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. READ MORE
-
25. Applications of SAT solving
Abstract : 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. READ MORE