Results 271 to 280 of about 1,698,712 (321)
Radar in 7500 m Well Based on Channel Adaptive Algorithm. [PDF]
Sensors (Basel)Liu H +5 more
europepmc +1 more source
Toward an ion-based large-scale integrated circuit: design, simulation, and integration. [PDF]
Commun EngEdri Fraiman N +3 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
2011
This chapter provides an introduction to First-Order Logic (FOL) in terms of general concepts and notations as well as in terms of its use as a modelling and inference device. As such, FOL is the basis of both our proposed domain modelling approach (cf. Chapter 4) and our implemented reasoning engine CIDRE (cf. Chapter 5).
Dirk Bühler, Wolfgang Minker
+7 more sources
This chapter provides an introduction to First-Order Logic (FOL) in terms of general concepts and notations as well as in terms of its use as a modelling and inference device. As such, FOL is the basis of both our proposed domain modelling approach (cf. Chapter 4) and our implemented reasoning engine CIDRE (cf. Chapter 5).
Dirk Bühler, Wolfgang Minker
+7 more sources
2007
Abstract Now we turn to arguments that involve quantifier expressions ‘There is’ and ‘For all‐, as we promised at the beginning of Chapter 5. We study what these expressions mean in mathematics (Sections 7.1–7.2), we build a formal semantics that gives necessary and sufficient conditions for a first-order sentence to be true in a structure
Ian Chiswell, Wilfrid Hodges
+5 more sources
Abstract Now we turn to arguments that involve quantifier expressions ‘There is’ and ‘For all‐, as we promised at the beginning of Chapter 5. We study what these expressions mean in mathematics (Sections 7.1–7.2), we build a formal semantics that gives necessary and sufficient conditions for a first-order sentence to be true in a structure
Ian Chiswell, Wilfrid Hodges
+5 more sources
2018
This book is about a formal approach to mathematical structures. Formal methods are by their very nature formal. When studying mathematical logic, initially one often has to grit ones teeth and absorb certain preliminary definitions on faith. Concepts are given precise definitions, and their meaning is revealed later after one has a chance to see their
Richard E. Neapolitan, Xia Jiang
+4 more sources
This book is about a formal approach to mathematical structures. Formal methods are by their very nature formal. When studying mathematical logic, initially one often has to grit ones teeth and absorb certain preliminary definitions on faith. Concepts are given precise definitions, and their meaning is revealed later after one has a chance to see their
Richard E. Neapolitan, Xia Jiang
+4 more sources
2021
First-order logic is a generalization of propositional logic, which is also referred to as predicate logic. Predicate logic is a more powerful extension of propositional logic, which can perform more complex reasoning tasks in artificial intelligence that are not possible with the use of only propositional logic.
openaire +2 more sources
First-order logic is a generalization of propositional logic, which is also referred to as predicate logic. Predicate logic is a more powerful extension of propositional logic, which can perform more complex reasoning tasks in artificial intelligence that are not possible with the use of only propositional logic.
openaire +2 more sources