Relevant bibliographies by topics / Reasoning processes

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Reasoning processes'

Author: Grafiati
Published: 4 June 2021
Last updated: 20 February 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Reasoning processes.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Reasoning processes"

1

Graesser, Arthur C., Barry Gholson, and David Houston. "Reasoning Processes: Preface." Applied Cognitive Psychology 10, no. 7 (1996): 1. http://dx.doi.org/10.1002/(sici)1099-0720(199611)10:7<1::aid-acp442>3.0.co;2-i.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Brookes, Stephen. "Reasoning about recursive processes:." Electronic Notes in Theoretical Computer Science 20 (1999): 182–201. http://dx.doi.org/10.1016/s1571-0661(04)80074-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Jonker, Catholijn M., and Jan Treur. "Modelling the dynamics of reasoning processes: Reasoning by assumption." Cognitive Systems Research 4, no. 2 (2003): 119–36. http://dx.doi.org/10.1016/s1389-0417(02)00102-x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Velázquez-Quesada, Fernando R. "Reasoning Processes as Epistemic Dynamics." Axiomathes 25, no. 1 (2014): 41–60. http://dx.doi.org/10.1007/s10516-014-9255-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Misra, Jayadev. "Equational reasoning about nondeterministic processes." Formal Aspects of Computing 2, no. 1 (1990): 167–95. http://dx.doi.org/10.1007/bf01888222.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Strannegård, Claes, Simon Ulfsbäcker, David Hedqvist, and Tommy Gärling. "Reasoning Processes in Propositional Logic." Journal of Logic, Language and Information 19, no. 3 (2009): 283–314. http://dx.doi.org/10.1007/s10849-009-9102-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Hershey, John C., and Jonathan Baron. "Clinical Reasoning and Cognitive Processes." Medical Decision Making 7, no. 4 (1987): 203–11. http://dx.doi.org/10.1177/0272989x8700700402.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Dou, Wenwen, Dong Hyun Jeong, Felesia Stukes, William Ribarsky, Heather Richter Lipford, and Remco Chang. "Recovering Reasoning Processes from User Interactions." IEEE Computer Graphics and Applications 29, no. 3 (2009): 52–61. http://dx.doi.org/10.1109/mcg.2009.49.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Shaw, Victoria F. "The Cognitive Processes in Informal Reasoning." Thinking & Reasoning 2, no. 1 (1996): 51–80. http://dx.doi.org/10.1080/135467896394564.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Oaksford, Mike, Frances Morris, Becki Grainger, and J. Mark G. Williams. "Mood, reasoning, and central executive processes." Journal of Experimental Psychology: Learning, Memory, and Cognition 22, no. 2 (1996): 476–92. http://dx.doi.org/10.1037/0278-7393.22.2.476.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Reasoning processes"

1

Inglis, Matthew. "Dual processes in mathematics : reasoning about conditionals." Thesis, University of Warwick, 2006. http://wrap.warwick.ac.uk/2847/.

Full text
Abstract:
This thesis studies the reasoning behaviour of successful mathematicians. It is based on the philosophy that, if the goal of an advanced education in mathematics is to develop talented mathematicians, it is important to have a thorough understanding of their reasoning behaviour. In particular, one needs to know the processes which mathematicians use to accomplish mathematical tasks. However, Rav (1999) has noted that there is currently no adequate theory of the role that logic plays in informal mathematical reasoning. The goal of this thesis is to begin to answer this specific criticism of the
APA, Harvard, Vancouver, ISO, and other styles
2

Stupple, Edward James Nairn. "Inspection-time analysis of syllogistic reasoning processes." Thesis, University of Derby, 2007. http://hdl.handle.net/10545/246212.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Gregory, D. J. "Age-related changes in inductive reasoning processes." Thesis, University of Aberdeen, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.372614.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Vowels, Christopher L. "Training an implicit reasoning strategy : engaging specific reasoning processes to enhance knowledge acquisition." Diss., Manhattan, Kan. : Kansas State University, 2008. http://hdl.handle.net/2097/715.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Schug, Brett W. "Standardized modular process design with interval reasoning." Diss., Georgia Institute of Technology, 1998. http://hdl.handle.net/1853/10239.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Cho, Soohyun. "Component processes of analogical reasoning and their neural substrates." Diss., Restricted to subscribing institutions, 2008. http://proquest.umi.com/pqdweb?did=1619392411&sid=1&Fmt=2&clientId=1564&RQT=309&VName=PQD.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Munroe, Helena A. "Clinical reasoning in community occupational therapy : patterns and processes." Thesis, Heriot-Watt University, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.315181.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Van, Den Bosch Magali Marie. "Simulation of ion exchange processes using neuro-fuzzy reasoning." Thesis, Cape Peninsula University of Technology, 2009. http://hdl.handle.net/20.500.11838/2161.

Full text
Abstract:
Thesis (MTech (Chemical Engineering))--Cape Peninsula University of Technology, 2009.<br>Neuro-fuzzy computing techniques have been approached and evaluated in areas of process control; researchers have recently begun to evaluate its potential in pattern recognition. Multi-component ion exchange is a non-linear process, which is difficult to model and simulate as there are many factors influencing the chemical process which are not well understood. In the past, empirical isotherm equations were used but there were definite shortcomings resulting in unreliable simulations. In this work,
APA, Harvard, Vancouver, ISO, and other styles
9

Kapetanakis, Stylianos. "Intelligent monitoring of business processes using case-based reasoning." Thesis, University of Greenwich, 2012. http://gala.gre.ac.uk/9809/.

Full text
Abstract:
The work in this thesis presents an approach towards the effective monitoring of business processes using Case-Based Reasoning (CBR). The rationale behind this research was that business processes constitute a fundamental concept of the modern world and there is a constantly emerging need for their efficient control. They can be efficiently represented but not necessarily monitored and diagnosed effectively via an appropriate platform. Motivated by the above observation this research pursued to which extent there can be efficient monitoring, diagnosis and explanation of the workflows. Workflow
APA, Harvard, Vancouver, ISO, and other styles
10

Ortz, Courtney. "Aging and Associative and Inductive Reasoning Processes in Discrimination Learning." TopSCHOLAR®, 2006. http://digitalcommons.wku.edu/theses/266.

Full text
Abstract:
The purpose of this study was to investigate how associative and inductive reasoning processes develop over trials in feature positive (FP) and feature negative (FN) discrimination learning. Younger and older adults completed initial and transfer tasks with either consistent or inconsistent transfer. Participants articulated a rule on every trial. The measure of discrimination learning was the number of trials it took participants to articulate the exact rule. In the initial task, older adults articulated the rule more slowly than younger adults in FP discrimination and took marginally more tr
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Reasoning processes"

1

1938-, Myers Terry, Brown E. K, and McGonigle Brendan, eds. Reasoning and discourse processes. Academic Press, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Case-based reasoning: Processes, suitability and applications. Nova Science publishers, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Meyer, John-Jules Ch. Dynamics and Management of Reasoning Processes. Springer Netherlands, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Ch, Meyer John-Jules, and Treur Jan 1952-, eds. Dynamics and management of reasoning processes. Kluwer Academic, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Meyer, John-Jules Ch, and Jan Treur, eds. Dynamics and Management of Reasoning Processes. Springer Netherlands, 2001. http://dx.doi.org/10.1007/978-94-017-1743-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Naidenova, Xenia. Machine learning methods for commonsense reasoning processes: Interactive models. Information Science Reference, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Hemachandran, K., Shubham Tayal, Preetha Mary George, Parveen Singla, and Utku Kose. Bayesian Reasoning and Gaussian Processes for Machine Learning Applications. Chapman and Hall/CRC, 2022. http://dx.doi.org/10.1201/9781003164265.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Naidenova, Xenia. Machine learning methods for commonsense reasoning processes: Interactive models. Information Science Reference, 2010.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

W, Proctor Robert, and Capaldi E. John, eds. Psychology of science: Implicit and explicit processes. Oxford University Press, 2012.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Logical processes in humans and computers: Theory and research in psychology and artificial intelligence. Praeger, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Reasoning processes"

1

Novick, Laura R. "Analogical Transfer: Processes and Individual Differences." In Analogical Reasoning. Springer Netherlands, 1988. http://dx.doi.org/10.1007/978-94-015-7811-0_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Roselló, Llorenç, Francesc Prats, Núria Agell, and Mónica Sánchez. "A Qualitative Reasoning Approach to Measure Consensus." In Consensual Processes. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-20533-0_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

De Angelis, Emanuele, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, and Maurizio Proietti. "Verifying Controllability of Time-Aware Business Processes." In Rules and Reasoning. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-61252-2_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Melis⋆, Erica, and Carsten Ullrich. "Flexibly Interleaving Processes." In Case-Based Reasoning Research and Development. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48508-2_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Di Francescomarino, Chiara, Chiara Ghidini, Marco Rospocher, Luciano Serafini, and Paolo Tonella. "Reasoning on Semantically Annotated Processes." In Service-Oriented Computing – ICSOC 2007. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-89652-4_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Amadio, Roberto M., and Mads Dam. "Reasoning about higher-order processes." In TAPSOFT '95: Theory and Practice of Software Development. Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-59293-8_196.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Engelfriet, Joeri, and Jan Treur. "Specification of Nonmonotonic Reasoning." In Dynamics and Management of Reasoning Processes. Springer Netherlands, 2001. http://dx.doi.org/10.1007/978-94-017-1743-4_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

van Linder, Bernd, Wiebe van der Hoek, and John-Jules Ch Meyer. "The Dynamics of Default Reasoning." In Dynamics and Management of Reasoning Processes. Springer Netherlands, 2001. http://dx.doi.org/10.1007/978-94-017-1743-4_8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Deng, Yuxin, and Matthew Hennessy. "Compositional Reasoning for Markov Decision Processes." In Fundamentals of Software Engineering. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-29320-7_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Requicha, Aristides A. G. "Reasoning about Physical Solids and Processes." In Modeling in Computer Graphics. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-642-78114-8_26.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Reasoning processes"

1

Mistra, J. "Equational reasoning about nondeterministic processes." In the eighth annual ACM Symposium. ACM Press, 1989. http://dx.doi.org/10.1145/72981.72983.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Kazic, Toni. "REASONING ABOUT BIOCHEMICAL COMPOUNDS AND PROCESSES." In Proceedings of the 2nd International Conference. WORLD SCIENTIFIC, 1993. http://dx.doi.org/10.1142/9789814503655_0004.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Galton, A. "Processes as Continuants (Abstract)." In Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06). IEEE, 2006. http://dx.doi.org/10.1109/time.2006.23.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Yang, Dong, Lixin Tong, and Hongwei Wu. "Specifying Reasoning Processes of a KBS Using Process Modeling Approaches." In 2006 Fifth International Conference on Grid and Cooperative Computing Workshops. IEEE, 2006. http://dx.doi.org/10.1109/gccw.2006.83.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Gupta, V., R. Jagadeesan, and P. Panangaden. "Approximate reasoning for real-time probabilistic processes." In First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings. IEEE, 2004. http://dx.doi.org/10.1109/qest.2004.1348044.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Minor, Mirjam, Ralph Bergmann, Sebastian Gorg, and Kirstin Walter. "Reasoning on Business Processes to Support Change Reuse." In 2011 IEEE 13th Conference on Commerce and Enterprise Computing (CEC). IEEE, 2011. http://dx.doi.org/10.1109/cec.2011.16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

"Rule-based Behavioral Reasoning on Semantic Business Processes." In International Conference on Agents and Artificial Intelligence. SciTePress - Science and and Technology Publications, 2013. http://dx.doi.org/10.5220/0004255001300143.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Arias-Hernandez, R., L. T. Kaastra, T. M. Green, and B. Fisher. "Pair Analytics: Capturing Reasoning Processes in Collaborative Visual Analytics." In 2011 44th Hawaii International Conference on System Sciences (HICSS 2011). IEEE, 2011. http://dx.doi.org/10.1109/hicss.2011.339.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Clarke, E. M., O. Grumberg, and M. C. Browne. "Reasoning about networks with many identical finite-state processes." In the fifth annual ACM symposium. ACM Press, 1986. http://dx.doi.org/10.1145/10590.10611.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Abbas, Adnan Jameel, Mohamad Minhat, Md Nizam Bin Abdul Rahman, and Habibullah Akbar. "Future prospects of turning processes optimization using metaheuristics methods." In 2012 2nd International Conference on Uncertainty Reasoning and Knowledge Engineering (URKE). IEEE, 2012. http://dx.doi.org/10.1109/urke.2012.6319535.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Reasoning processes"

1

Clarke, E. M., O. Grumberg, and M. C. Browne. Reasoning about Networks with Many Identical Finite-State Processes. Defense Technical Information Center, 1987. http://dx.doi.org/10.21236/ada188743.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Bott, T. F., S. W. Eisenhawer, and S. F. Agnew. Evaluation of high-level waste pretreatment processes with an approximate reasoning model. Office of Scientific and Technical Information (OSTI), 1999. http://dx.doi.org/10.2172/334243.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Lutz, Carsten. NExpTime-complete Description Logics with Concrete Domains. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.104.

Full text
Abstract:
Aus der Einleitung: Description logics (DLs) are a family of logical formalisms well-suited for the representation of and reasoning about conceptual knowledge on an abstract logical level. However, for many knowledge representation applications, it is essential to integrate the abstract logical knowledge with knowledge of a more concrete nature. As an example, consider the modeling of manufacturing processes, where it is necessary to represent 'abstract' entities like subprocesses and workpieces and also 'concrete' knowledge, e.g., about the duration of processes and physical dimensions of the
APA, Harvard, Vancouver, ISO, and other styles
4

Lutz, Carsten. Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies. Aachen University of Technology, 2002. http://dx.doi.org/10.25368/2022.119.

Full text
Abstract:
Entity Relationship (ER) diagrams are among the most popular formalisms for the support of database design [7, 12, 17, 6]. Their classical use in the (usually computer aided) database design process can roughly be described as follows: after evaluating the requirements of the application, the database designer constructs an ER schema, which represents the conceptual model of the new database. CASE tools can be used to automatically transform the ER schema into a relational database schema, which is then manually fine-tuned. During the last years, the initially rather simple ER formalisms has b
APA, Harvard, Vancouver, ISO, and other styles
5

Rigotti, Christophe, and Mohand-Saïd Hacid. Representing and Reasoning on Conceptual Queries Over Image Databases. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.89.

Full text
Abstract:
The problem of content management of multimedia data types (e.g., image, video, graphics) is becoming increasingly important with the development of advanced multimedia applications. Traditional database management systems are inadequate for the handling of such data types. They require new techniques for query formulation, retrieval, evaluation, and navigation. In this paper we develop a knowledge-based framework for modeling and retrieving image data by content. To represent the various aspects of an image object's characteristics, we propose a model which consists of three layers: (1) Featu
APA, Harvard, Vancouver, ISO, and other styles
6

Rigotti, Christophe, and Mohand-Saïd Hacid. Representing and Reasoning on Conceptual Queries Over Image Databases. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.89.

Full text
Abstract:
The problem of content management of multimedia data types (e.g., image, video, graphics) is becoming increasingly important with the development of advanced multimedia applications. Traditional database management systems are inadequate for the handling of such data types. They require new techniques for query formulation, retrieval, evaluation, and navigation. In this paper we develop a knowledge-based framework for modeling and retrieving image data by content. To represent the various aspects of an image object's characteristics, we propose a model which consists of three layers: (1) Featu
APA, Harvard, Vancouver, ISO, and other styles
7

Baader, Franz, Carsten Lutz, Eldar Karabaev, and Manfred Theißen. A New n-ary Existential Quantifier in Description Logics. Technische Universität Dresden, 2005. http://dx.doi.org/10.25368/2022.151.

Full text
Abstract:
Motivated by a chemical process engineering application, we introduce a new concept constructor in Description Logics (DLs), an n-ary variant of the existential restriction constructor, which generalizes both the usual existential restrictions and so-called qualified number restrictions. We show that the new constructor can be expressed in ALCQ, the extension of the basic DL ALC by qualified number restrictions. However, this representation results in an exponential blow-up. By giving direct algorithms for ALC extended with the new constructor, we can show that the complexity of reasoning in t
APA, Harvard, Vancouver, ISO, and other styles
8

Koopmann, Patrick. Ontology-Mediated Query Answering for Probabilistic Temporal Data with EL Ontologies (Extended Version). Technische Universität Dresden, 2018. http://dx.doi.org/10.25368/2022.242.

Full text
Abstract:
Especially in the field of stream reasoning, there is an increased interest in reasoning about temporal data in order to detect situations of interest or complex events. Ontologies have been proved a useful way to infer missing information from incomplete data, or simply to allow for a higher order vocabulary to be used in the event descriptions. Motivated by this, ontology-based temporal query answering has been proposed as a means for the recognition of situations and complex events. But often, the data to be processed do not only contain temporal information, but also probabilistic informat
APA, Harvard, Vancouver, ISO, and other styles
9

Zachry, Anne, J. Flick, and S. Lancaster. Tune Up Your Teaching Toolbox! University of Tennessee Health Science Center, 2016. http://dx.doi.org/10.21007/chp.ot.fp.2016.0001.

Full text
Abstract:
Occupational therapy (OT) educators strive to prepare entry-level practitioners who have the expertise to meet the diverse health care needs of society. A variety of instructional methods are used in the University of Tennessee Health Science Center (UTHSC) MOT program, including traditional lecture-based instruction (LBI), problem-based learning (PBL), team-based learning (TBL), and game-based learning (GBL). Research suggests that active learning strategies develop the critical thinking and problem-solving skills that are necessary for effective clinical reasoning and decision-making abiliti
APA, Harvard, Vancouver, ISO, and other styles
10

Bourgaux, Camille, and Anni-Yasmin Turhan. Temporal Query Answering in DL-Lite over Inconsistent Data. Technische Universität Dresden, 2017. http://dx.doi.org/10.25368/2022.236.

Full text
Abstract:
In ontology-based systems that process data stemming from different sources and that is received over time, as in context-aware systems, reasoning needs to cope with the temporal dimension and should be resilient against inconsistencies in the data. Motivated by such settings, this paper addresses the problem of handling inconsistent data in a temporal version of ontology-based query answering. We consider a recently proposed temporal query language that combines conjunctive queries with operators of propositional linear temporal logic and extend to this setting three inconsistency-tolerant se
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography