Log in

Relevant bibliographies by topics / Abstract reasoning

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Abstract reasoning'

Author: Grafiati

Published: 4 June 2021

Last updated: 31 January 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 'Abstract reasoning.'

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 "Abstract reasoning"

1

Markovits, Henry, Valerie A. Thompson, and Janie Brisson. "Metacognition and abstract reasoning." Memory & Cognition 43, no. 4 (2014): 681–93. http://dx.doi.org/10.3758/s13421-014-0488-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Staub, Fritz C., and Elsbeth Stern. "Abstract reasoning with mathematical constructs." International Journal of Educational Research 27, no. 1 (1997): 63–75. http://dx.doi.org/10.1016/s0883-0355(97)88444-3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Hunter, Anthony, and Matthias Thimm. "Probabilistic Reasoning with Abstract Argumentation Frameworks." Journal of Artificial Intelligence Research 59 (August 19, 2017): 565–611. http://dx.doi.org/10.1613/jair.5393.

Full text

Abstract:

Abstract argumentation offers an appealing way of representing and evaluating arguments and counterarguments. This approach can be enhanced by considering probability assignments on arguments, allowing for a quantitative treatment of formal argumentation. In this paper, we regard the assignment as denoting the degree of belief that an agent has in an argument being acceptable. While there are various interpretations of this, an example is how it could be applied to a deductive argument. Here, the degree of belief that an agent has in an argument being acceptable is a combination of the degree

APA, Harvard, Vancouver, ISO, and other styles

4

Clement, B. J., E. H. Durfee, and A. C. Barrett. "Abstract Reasoning for Planning and Coordination." Journal of Artificial Intelligence Research 28 (April 28, 2007): 453–515. http://dx.doi.org/10.1613/jair.2158.

Full text

Abstract:

The judicious use of abstraction can help planning agents to identify key interactions between actions, and resolve them, without getting bogged down in details. However, ignoring the wrong details can lead agents into building plans that do not work, or into costly backtracking and replanning once overlooked interdependencies come to light. We claim that associating systematically-generated summary information with plans' abstract operators can ensure plan correctness, even for asynchronously-executed plans that must be coordinated across multiple agents, while still achieving valuable effici

APA, Harvard, Vancouver, ISO, and other styles

5

Markovits, Henry, and Hugues Lortie-Forgues. "Conditional Reasoning With False Premises Facilitates the Transition Between Familiar and Abstract Reasoning." Child Development 82, no. 2 (2011): 646–60. http://dx.doi.org/10.1111/j.1467-8624.2010.01526.x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Carstensen, Alexandra, Jing Zhang, Gail D. Heyman, Genyue Fu, Kang Lee, and Caren M. Walker. "Context shapes early diversity in abstract thought." Proceedings of the National Academy of Sciences 116, no. 28 (2019): 13891–96. http://dx.doi.org/10.1073/pnas.1818365116.

Full text

Abstract:

Early abstract reasoning has typically been characterized by a “relational shift,” in which children initially focus on object features but increasingly come to interpret similarity in terms of structured relations. An alternative possibility is that this shift reflects a learned bias, rather than a typical waypoint along a universal developmental trajectory. If so, consistent differences in the focus on objects or relations in a child’s learning environment could create distinct patterns of relational reasoning, influencing the type of hypotheses that are privileged and applied. Specifically,

APA, Harvard, Vancouver, ISO, and other styles

7

Yadin, Aharon. "Improve Abstract Reasoning in Computer Introductory Courses." International Journal of Modern Education and Computer Science 5, no. 1 (2013): 14–20. http://dx.doi.org/10.5815/ijmecs.2013.01.02.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Fichte, Johannes K., Markus Hecher, and Arne Meier. "Counting Complexity for Reasoning in Abstract Argumentation." Proceedings of the AAAI Conference on Artificial Intelligence 33 (July 17, 2019): 2827–34. http://dx.doi.org/10.1609/aaai.v33i01.33012827.

Full text

Abstract:

In this paper, we consider counting and projected model counting of extensions in abstract argumentation for various semantics. When asking for projected counts we are interested in counting the number of extensions of a given argumentation framework while multiple extensions that are identical when restricted to the projected arguments count as only one projected extension. We establish classical complexity results and parameterized complexity results when the problems are parameterized by treewidth of the undirected argumentation graph. To obtain upper bounds for counting projected extension

APA, Harvard, Vancouver, ISO, and other styles

9

Zhuo, Tao, Qiang Huang, and Mohan Kankanhalli. "Unsupervised Abstract Reasoning for Raven’s Problem Matrices." IEEE Transactions on Image Processing 30 (2021): 8332–41. http://dx.doi.org/10.1109/tip.2021.3114987.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Verschueren, Niki, Walter Schaeken, and Walter Schroyens. "Necessity and sufficiency in abstract conditional reasoning." European Journal of Cognitive Psychology 18, no. 2 (2006): 255–76. http://dx.doi.org/10.1080/09541440540000176.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Abstract reasoning"

1

Dinsdale-Young, Thomas. "Abstract data and local reasoning." Thesis, Imperial College London, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.539276.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Goranson, Tamara Elaine. "On diagnosing Alzheimer's disease, assessing abstract thinking and reasoning." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2001. http://www.collectionscanada.ca/obj/s4/f2/dsk3/ftp05/NQ62516.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Chan, Fiona. "Development of matrices abstract reasoning items to assess fluid intelligence." Thesis, University of Cambridge, 2018. https://www.repository.cam.ac.uk/handle/1810/277914.

Full text

Abstract:

Matrices reasoning tests, which contain missing pieces in matrices that participants attempt to figure out, are one of the most popular types of tests to measure general intelligence. This thesis introduces several methods to develop matrices items, and presents them in different test forms to assess general intelligence. Part 1 introduces the development of a matrices test with reference to Carpenter’s five rules of Raven’s Progressive Matrices. The test items developed were administered together with the Standard Ravens’ Progressive Matrices (SPM). Results based on confirmatory factor analys

APA, Harvard, Vancouver, ISO, and other styles

4

Furniss, Amy Elizabeth. "HybridLF : a system for reasoning in higher-order abstract syntax." Thesis, University of Leicester, 2015. http://hdl.handle.net/2381/33362.

Full text

Abstract:

In this thesis we describe two new systems for reasoning about deductive systems: HybridLF and Canonical HybridLF. HybridLF brings together the Hybrid approach (due to Ambler, Crole and Momigliano [15]) to higher-order abstract syntax (HOAS) in Isabelle/HOL with the logical framework LF, a dependently-typed system for proving theorems about logical systems. Hybrid provides a version of HOAS in the form of the lambda calculus, in which Isabelle functions are automatically converted to a nameless de Bruijn represenation. Hybrid allows untyped expressions to be entered as human-readable functions

APA, Harvard, Vancouver, ISO, and other styles

5

Covert, Julia L. "Abstract reasoning development: a result of formal schooling and natural development." The Ohio State University, 1996. http://rave.ohiolink.edu/etdc/view?acc_num=osu1399630695.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Strass, Hannes. "Approximating Operators and Semantics for Abstract Dialectical Frameworks." Universitätsbibliothek Leipzig, 2013. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-102943.

Full text

Abstract:

We provide a systematic in-depth study of the semantics of abstract dialectical frameworks (ADFs), a recent generalisation of Dung\'s abstract argumentation frameworks. This is done by associating with an ADF its characteristic one-step consequence operator and defining various semantics for ADFs as different fixpoints of this operator. We first show that several existing semantical notions are faithfully captured by our definition, then proceed to define new ADF semantics and show that they are proper generalisations of existing argumentation semantics from the literature. Most remarkably, th

APA, Harvard, Vancouver, ISO, and other styles

7

Serpell, Sylvia Mary Parnell. "Necessity, possibility and the search for counterexamples in human reasoning." Thesis, University of Plymouth, 2011. http://hdl.handle.net/10026.1/560.

Full text

Abstract:

This thesis presents a series of experiments where endorsement rates, latencies and measures of cognitive ability were collected, to investigate the extent to which people search for counterexamples under necessity instructions, and alternative models under possibility instructions. The research was motivated by a syllogistic reasoning study carried out by Evans, Handley, Harper, and Johnson-Laird (1999), and predictions were derived from mental model theory (Johnson-Laird, 1983; Johnson-Laird & Byrne, 1991). With regard to the endorsement rate data: Experiment 1 failed to find evidence th

APA, Harvard, Vancouver, ISO, and other styles

8

Garatti, Marinetta. "The role of syntax presentation mode, abstract reasoning, and learned instructional preference on second language achievement." The Ohio State University, 1999. http://rave.ohiolink.edu/etdc/view?acc_num=osu1250536529.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Garatti, Marinella. "The role of syntax presentation mode, abstract reasoning, and learner instructional preference on second language achievement /." The Ohio State University, 1999. http://rave.ohiolink.edu/etdc/view?acc_num=osu148818704953809.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Nettle, Valenzuela Alejandro Horacio. "Factores que afectan los razonamientos probabilísticos intuitivos de escolares que enfrentan situaciones problemáticas matemáticamente equivalentes." Doctoral thesis, Universitat de Girona, 2019. http://hdl.handle.net/10803/668666.

Full text

Abstract:

The objective is to associate intuitive probabilistic reasoning with cognitive factors: learning styles, arithmetic skills, school performance and the ability of abstract reasoning of schoolchildren facing mathematically equivalent problem situations. Ex-post-facto correlational study in which primary school students participated (N = 47 schoolchildren). The Maury Questionnaire was applied to identify predominant intuitive probabilistic reasoning, and related to learning styles, arithmetic skills, school performance, and the ability to abstract reasoning. The results show that “Y” school child

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Abstract reasoning"

1

author, Kohlas Jürg 1939, ed. Generic Inference: A Unifying Theory for Automated Reasoning. Wiley, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Solow, Daniel. The keys to advanced mathematics: Recurrent themes in abstract reasoning. D. Solow, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Bucknall, Nicholas Charles Anthony. Abstract reasoning and learning to read: Implications for future research. University of Manchester, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

How to pass diagrammatic reasoning tests: Essential practice for abstract, input type diagrammatic and spacial reasoning tests. Kogan Page, 2008.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Sebastian, Rudolph, Wilson Nic, Howse John, Corby Olivier, and SpringerLink (Online service), eds. Graph Structures for Knowledge Representation and Reasoning: Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers. Springer Berlin Heidelberg, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

1974-, Zomorodian Afra J., ed. Advances in applied and computational topology: American Mathematical Society Short Course on Computational Topology, January 4-5, 2011, New Orleans, Louisiana. American Mathematical Society, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

MacKellar, Craig. Mechanical, Spatial & Abstract Reasoning. Vivid Publishing, 2015.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Practice Tests for Diagrammatic and Abstract Reasoning. Hodder Education Group, 2008.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Abstract Reasoning (General Aptitude and Abilities Series). National Learning Corp, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Corporation, National Learning. Abstract Reasoning / Spatial Relations: Passbooks Study Guide. National Learning Corporation, 2019.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Abstract reasoning"

1

Hulac, David. "Abstract Reasoning." In Encyclopedia of Clinical Neuropsychology. Springer New York, 2011. http://dx.doi.org/10.1007/978-0-387-79948-3_1431.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Hulac, David. "Abstract Reasoning." In Encyclopedia of Clinical Neuropsychology. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-56782-2_1431-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Hulac, David. "Abstract Reasoning." In Encyclopedia of Clinical Neuropsychology. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-57111-9_1431.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Schulz, Stephan. "System Abstract: E 0.61." In Automated Reasoning. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45744-5_28.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Bjørner, Nikolaj. "Linear Quantifier Elimination as an Abstract Decision Procedure." In Automated Reasoning. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14203-1_27.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Jones, Neil D. "Program Termination Analysis by Size-Change Graphs (Abstract)." In Automated Reasoning. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45744-5_1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Letz, Reinhold, and Gernot Stenz. "DCTP - A Disconnection Calculus Theorem Prover - System Abstract." In Automated Reasoning. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45744-5_30.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Nieuwenhuis, Robert, Albert Oliveras, and Cesare Tinelli. "Abstract DPLL and Abstract DPLL Modulo Theories." In Logic for Programming, Artificial Intelligence, and Reasoning. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-32275-7_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Payet, Étienne, and Fausto Spoto. "Checking Array Bounds by Abstract Interpretation and Symbolic Expressions." In Automated Reasoning. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-94205-6_46.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Goldstein, Gerald. "Neuropsychological Assessment of Abstract Reasoning." In Neuropsychology. Springer US, 1998. http://dx.doi.org/10.1007/978-1-4899-1950-2_15.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Abstract reasoning"

1

Benny, Yaniv, Niv Pekar, and Lior Wolf. "Scale-Localized Abstract Reasoning." In 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, 2021. http://dx.doi.org/10.1109/cvpr46437.2021.01237.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Wilmont, Ilona, Erik Barendsen, Stijn Hoppenbrouwers, and Sytse Hengeveld. "Abstract Reasoning in Collaborative Modeling." In 2012 45th Hawaii International Conference on System Sciences (HICSS). IEEE, 2012. http://dx.doi.org/10.1109/hicss.2012.88.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Emerson, E. A., T. Sadler, and J. Srinivasan. "Efficient temporal reasoning (extended abstract)." In the 16th ACM SIGPLAN-SIGACT symposium. ACM Press, 1989. http://dx.doi.org/10.1145/75277.75292.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Pfister, Matthew Francis. "Novel Logical Reasoning Tutor (Abstract Only)." In the 47th ACM Technical Symposium. ACM Press, 2016. http://dx.doi.org/10.1145/2839509.2851068.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Green, Douglas S., and David C. Brown. "Qualitative reasoning about fit (abstract only)." In the 15th annual conference. ACM Press, 1987. http://dx.doi.org/10.1145/322917.323058.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Neapolitan, Richard E. "Models for reasoning under uncertainty (abstract)." In the 1986 ACM fourteenth annual conference. ACM Press, 1986. http://dx.doi.org/10.1145/324634.325143.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Zhang, Chi, Baoxiong Jia, Mark Edmonds, Song-Chun Zhu, and Yixin Zhu. "ACRE: Abstract Causal REasoning Beyond Covariation." In 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). IEEE, 2021. http://dx.doi.org/10.1109/cvpr46437.2021.01050.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Hohenecker, Patrick, and Thomas Lukasiewicz. "Ontology Reasoning with Deep Neural Networks (Extended Abstract)." In Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}. International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/ijcai.2020/707.

Full text

Abstract:

The ability to conduct logical reasoning is a fundamental aspect of intelligent human behavior, and thus an important problem along the way to human-level artificial intelligence. Traditionally, logic-based symbolic methods from the field of knowledge representation and reasoning have been used to equip agents with capabilities that resemble human logical reasoning qualities. More recently, however, there has been an increasing interest in using machine learning rather than logic-based symbolic formalisms to tackle these tasks. In this paper, we employ state-of-the-art methods for training dee

APA, Harvard, Vancouver, ISO, and other styles

9

Aikenhead, Michael. "Legal principles and analogical reasoning (extended abstract)." In the sixth international conference. ACM Press, 1997. http://dx.doi.org/10.1145/261618.261660.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Baldwin, Douglas. "Broadening mathematical reasoning in computing (abstract only)." In Proceeding of the 44th ACM technical symposium. ACM Press, 2013. http://dx.doi.org/10.1145/2445196.2445485.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Abstract reasoning"

1

Horrocks, Ian, and Stephan Tobies. Optimisation of Terminological Reasoning. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.99.

Full text

Abstract:

An extended abstract of this report was submitted to the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000). When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to an arbitrary set of axioms is hard, even for relatively inexpressive logics, and it is essential to deal with such axioms in an efficient manner if implemented systems are to be effective in real applications. This is particularly relevant to Description Logics, whe

APA, Harvard, Vancouver, ISO, and other styles

2

Lutz, Carsten. TheComplexity of Reasoning with Concrete Domains (Revised Version). Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.88.

Full text

Abstract:

Description logics are knowledge representation and reasoning formalisms which represent conceptual knowledge on an abstract logical level. Concrete domains are a theoretically well-founded approach to the integration of description logic reasoning with reasoning about concrete objects such as numbers, time intervals or spatial regions. In this paper, the complexity of combined reasoning with description logcis and on concrete domains is investigated. We extend ALC(D), which is the basic description logic for reasoning with concrete domains, by the operators 'feature agreement' and 'feature di

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

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

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

Lutz, Carsten, Carlos Areces, Ian Horrocks, and Ulrike Sattler. Keys, Nominals, and Concrete Domains. Technische Universität Dresden, 2002. http://dx.doi.org/10.25368/2022.122.

Full text

Abstract:

Many description logics (DLs) combine knowledge representation on an abstract, logical level with an interface to 'concrete' domains such as numbers and strings with built-in predicates such as <, +, and prefix-of. These hybrid DLs have turned out to be quite useful for reasoning about conceptual models of information systems, and as the basis for expressive ontology languages. We propose to further extend such DLs with key constraints that allow the expression of statements like 'US citizens are uniquely identified by their social security number'. Based on this idea, we introduce a number

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!