Results 241 to 250 of about 659,328 (290)
Some of the next articles are maybe not open access.
Developing Quantitative Reasoning:
The Journal of General Education, 2012Abstract In recent years, a number of universities have added quantitative reasoning to their general education program. A common approach requires the completion of a course from a list of mostly mathematics courses. This article presents the results of a study showing that traditional math courses may not necessarily be sufficient.
Ma Zenia Agustin +3 more
openaire +1 more source
Automata-Based Quantitative Reasoning
ACM SIGLOG News, 2023Existing solution approaches for problems in formal quantitative analysis suffer from two challenges that adversely impact their theoretical understanding and large-scale applicability. These are the lack of generalizability , and separation-of-techniques.
openaire +1 more source
Probabilistic quantitative temporal reasoning
Proceedings of the Symposium on Applied Computing, 2017Temporal reasoning, in the form of propagation of temporal constraints, is an important topic in Artificial Intelligence. The current literature in the area is moving from the treatment of "crisp" temporal constraints to fuzzy or probabilistic constraints, to account for different forms of uncertainty and\or preferences.
Paolo Terenziani, Antonella Andolina
openaire +1 more source
Parametric quantitative temporal reasoning
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), 2003We define Parameterized Real-Time Computation Tree Logic (PRTCTL), which allows quantitative temporal specifications to be parameterized over the natural numbers. Parameterized quantitative specifications are quantitative specifications in which concrete timing information has been abstracted away.
E.A. Emerson, R.J. Trefler
openaire +1 more source
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 +2 more
openaire +1 more source
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 +2 more
openaire +1 more source
Quantitative Reasoning for Filtering
1998How 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
MAS: Qualitative and Quantitative Reasoning
2012In 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
Quantitative reasoning: Interdisciplinary STEM 21st century reasoning modality
2018Resource from the 2015 BioQUEST Summer ...
openaire +1 more source