Sökning: "first-order logic"
Visar resultat 21 - 25 av 38 avhandlingar innehållade orden first-order logic.
21. Dephosphorization of magnetite fines : surface reactions, flotation kinetics and fuzzy logic application
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
22. Transient Control for Leader-follower Multi-agent Systems with Application to Spatiotemporal Logic Tasks
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
23. Calculi for Program Incorrectness and Arithmetic
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
24. Lindström quantifiers and higher-order notions on finite structures
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
25. Applications of SAT solving
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