Results 221 to 230 of about 72,037 (263)

MAS: Qualitative and Quantitative Reasoning

2012
In a former work, we have presented/implemented a framework for modeling and verifying multi-agent systems, using hybrid automata. To specify properties of those systems, one needs a specification language that brings, at the same level of specification, both the qualitative and quantitative requirements.
Ammar Mohammed, Ulrich Furbach
openaire   +1 more source

Is it Reasonable to Study Decision‐Making Quantitatively?

Topics in Cognitive Science, 2021
AbstractScientists studying decision‐making often provide a set of choices, each specified with values or distributions of values, and probabilities or distributions of probabilities. For example, “Would you prefer $100 with probability 1.0 or $1 with probability .9 and $1,000 with probability 0.1?” Other decision research examines choices made in the ...
openaire   +2 more sources

Quantitative Set Reasoning

2001
In Section 6.1.4, we examined techniques for translating the propositional consistency problem into decidable subproblems of the set-satisfiability problem; we also saw, in Sections 6.1.3 and 6.3.2, techniques for translating Hilbert’s tenth problem into more general instances of the set-satisfiability problem.
Domenico Cantone, Eugenio Omodeo, Alberto Policriti   +2 more
openaire   +1 more source

Quantitative risk-based requirements reasoning

Requirements Engineering, 2003
At NASA we have been developing and applying a risk management framework, "Defect Detection and Prevention" (DDP). It is based on a simple quantitative model of risk and is supported by custom software. We have used it to aid in study and planning for systems that employ advanced technologies.
Martin S. Feather, Steven L. Cornford
openaire   +1 more source

A Branching Time Temporal Framework for Quantitative Reasoning

Journal of Automated Reasoning, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti 0001   +2 more
openaire   +2 more sources

Quantitative Reasoning for Filtering

1998
How does one make inferences about the future, and how does one reason about the present? Reasoning requires that one relate, in some fashion, one event with another. Probability theory and predicate logic are the two most popular systems used to describe these relationships between states of nature.
openaire   +1 more source

Geometric reasoning with quantitative physical models

Systems and Computers in Japan, 1994
AbstractThis paper proposes a method of reasoning and of planning space and motion based on quantitative physical models.First, the particle‐collection representation (PCR) is proposed as a method of representing objects, and the robust simulation method of rigid‐body dynamics using PCR is discussed.Next, as a system which reasons and plans dynamic ...
openaire   +1 more source

Quantitative reasoning

The Mathematical Gazette, 2022
openaire   +1 more source

A quantitative and covariational reasoning investigation of students’ interpretations of partial derivatives in different contexts

International Journal of Mathematical Education in Science and Technology, 2023
Thembinkosi Peter Mkhatshwa
exaly  

Abstracted Quantitative Structures: Using Quantitative Reasoning to Define Concept Construction

Mathematics Education in the Digital Era, 2023
Kevin C Moore, Biyao Liang
exaly