Theory
1,949 items in 14 lists
-
Patterns of abduction link.springer.com
Synthese, 2007. [All Versions]. A categorization for Abduction in the account of pure philosophy.
-
A domain‑specifc language framework for farm management information systems in precision agriculture link.springer.com
Precision Agriculture, 2020. [All Versions]. This paper proposes a domain-specific language framework for the design and development of precision-agriculture FMISs, which copes with challenges on supporting the understandability, enhancing communication and analysis of the…
-
When Lingens meets Frege: communication without common ground link.springer.com
Philosophical Studies, 2021. [All Versions].
-
Detect, Understand, Act: A Neuro-symbolic Hierarchical Reinforcement Learning Framework link.springer.com
Machine Learning, 2022. [All Versions]. A neuro-symbolic framework that integrates meta-policy learning in inductive logic programming.
-
Scenic: a language for scenario specification and data generation link.springer.com
Machine Learning, 2022. [All Versions]. This paper proposes a domain-specific language, Scenic, for describing scenarios that are distributions over scenes and the behaviors of their agents over time. Scenic combines concise, readable syntax for spatiotemporal relationships…
-
Meta-Interpretive Learning from noisy images link.springer.com
Machine Learning, 2018. [All Versions].
-
Ultra-Strong Machine Learning: comprehensibility of programs learned with ILP link.springer.com
Machine Learning, 2018. [All Versions]. During the 1980s Michie defined Machine Learning in terms of two orthogonal axes of performance: predictive accuracy and comprehensibility of generated hypotheses. Since predictive accuracy was readily measurable and comprehensibility not…
-
Relational affordances for multiple-object manipulation link.springer.com
Autonomous Robots, 2017. [All Versions].
-
Toward understanding the importance of gesture in distributed scientific collaboration link.springer.com
Knowledge and Information Systems, 2006. [All Versions].
-
Comparability of automated human induced pluripotent stem cell culture: a pilot study link.springer.com
Bioprocess and Biosystems Engineering, 2016. [All Versions].
-
Disjunctive Abduction link.springer.com
New Generation Computing, 2019. [All Versions].
-
Pareto optimality in multiobjective problems link.springer.com
Applied Mathematics and Optimization, 1977. [All Versions]. The original paper on the pareto optimality in multiobjective problems.
-
Gestalt Psychology link.springer.com
Psychologische Forschung, 1967. [All Versions]. Wolfgang Köhler's review on Gestalt psychology.
-
Learning to perceive and act by trial and error link.springer.com
Machine Learning, 1991. [All Versions].
-
Beneficial and harmful explanatory machine learning link.springer.com
Machine Learning, 2021. [All Versions]. Given the recent successes of Deep Learning in AI there has been increased interest in the role and need for explanations in machine learned theories. A distinct notion in this context is that of Michie’s definition of ultra-strong…
-
Machine Discovery of Comprehensible Strategies for Simple Games Using Meta-interpretive Learning link.springer.com
New Generation Computing, 2019. [All Versions].
-
The uses of argument library.lol
Cambridge University Press, 1958. [All Versions]. Stephen Toulmin's introduction to the Toulmin argument pattern, which is generally consist of a claim, a justification, and a rebuttal.
-
Words, thoughts, and theories library.lol
MIT Press, 1997. [All Versions]. Alison Gopnik's book that articulates and defends the "theory theory" of cognitive and semantic development, the idea that infants and young children, like scientists, learn about the world by forming and revising theories-a view of the origins…
-
Individual differences among deep neural network models kriegeskortelab.zuckermaninstitute.columbia.edu
Nature Communications, 2020. [All Versions].
-
Human-level control through deep reinforcement learning klab.tch.harvard.edu
Nature, 2015. [All Versions]. The original paper on solving Atari games via Deep Q-Network.
-
From information scaling of natural images to regimes of statistical models jstor.org
Quarterly of Applied Mathematics, 2008. [All Versions]. [Preprint]. One fundamental property of natural image data that distinguishes vision from other sensory tasks such as speech recognition is that scale plays a profound role in image formation and interpretation…
-
A tagmemic approach to paragraph analysis jstor.org
College Composition and Communication, 1965. [All Versions]. The original paper on analyzing the structure of expository paragraphs, with the two patterns---the Topic-Restriction-Illustration pattern and the Problem-Solution pattern.
-
A Bayesian Analysis of Some Non-parametric Problems jstor.org
The Annals of Statistics, 1973. [All Versions]. [Preprint]. A classic review on non-parametric problems.
-
Defending Abduction journals.uchicago.edu
Philosophy of Science, 1999. [All Versions].
-
The blind men and the elephant: A metaphor to illuminate the role of researchers and reviewers in social science journals.sagepub.com
Methodological Innovations Online, 2013. [All Versions].
-
Two lines: A valid alternative to the invalid testing of U-shaped relationships with quadratic regressions journals.sagepub.com
Advances in Methods and Practices in Psychological Science, 2018. [All Versions]. An alternative method to test the statistical significance of U-shaped relationships.
-
Idiosyncratic Tower of Babel: Individual differences in word-meaning representation increase as word abstractness… journals.sagepub.com
Psychological Science, 2021. [All Versions]. [All Versions]. Humans primarily rely on language to communicate, on the basis of a shared understanding of the basic building blocks of communication: words. Do we mean the same things when we use the same words? Although cognitive…
-
Learning attribute grammars for movement primitive sequencing journals.sagepub.com
International Journal of Robotics Research, 2020. [All Versions]. Movement primitives are a well studied and widely applied concept in modern robotics. However, composing primitives out of an existing library has shown to be a challenging problem. This work proposes the use of…
-
The Picture Exchange Communication System journals.sagepub.com
Behavior Modification, 1994. [All Versions].
-
Rapid Assimilation of External Objects Into the Body Schema journals.sagepub.com
Psychological Science, 2010. [All Versions].
-
The uses and complexity of argument structures in expert and student persuasive writing journals.sagepub.com
Written Communication, 1998. [All Versions]. A behaviorial study revealing the argument structures exploited by people in argumentative writing.
-
The Experimental Design Assistant journals.plos.org
PLoS Biology, 2017. [All Versions]. [Nature Methods Correspondence]. [EDA Website]. The EDA is a web-based tool that guides the in vivo researcher through the experimental design and analysis process, providing automated feedback on the proposed design and generating a…
-
Expert Tool Users Show Increased Differentiation between Visual Representations of Hands and Tools jneurosci.org
Journal of Neuroscience, 2021. [All Versions].
-
A Survey of Preference-Based Reinforcement Learning Methods jmlr.org
Journal of Machine Learning Research, 2017. [All Versions].
-
Analysis of Langevin Monte Carlo via Convex Optimization jmlr.org
Journal of Machine Learning Research, 2019. [All Versions]. This paper provides new insights on the Unadjusted Langevin Algorithm. The authors show that this method can be formulated as the first order optimization algorithm for an objective functional defined on the…
-
The Indian Buffet Process: An Introduction and Review jmlr.org
Journal of Machine Learning Research, 2011. [All Versions]. The Indian buffet process is a stochastic process defining a probability distribution over equivalence classes of sparse binary matrices with a finite number of rows and an unbounded number of columns. This…
-
Temporal and Object Quantification Networks jiajunwu.com
IJCAI'21, 2021. [All Versions].
-
Biocoder: A programming language for standardizing and automating biology protocols jbioleng.biomedcentral.com
Journal of Biological Engineering, 2010. [All Versions]. [Project]. [Microsoft Page] This paper introduces BioCoder, a C++ library that enables biologists to express the exact steps needed to execute a protocol. In addition to being suitable for automation, BioCoder converts…
-
The Meaning of "Theory" jamacoartney.net
Sociological Theory, 2008. [All Versions]. A philosophical account on the definition of "theory" in social science (also can be generalized to natural science).
-
Integrating explanation and prediction in computational social science jakehofman.com
Nature, 2021. [All Versions].
-
Identification of Causal Effects Using Instrumental Variables jakebowers.org
Journal of the American Statistical Association, 1996. [All Versions]. The original paper on Instrumental Variables for natural sociology studies.
-
Adapting Behavior via Intrinsic Reward: A Survey and Empirical Study jair.org
Journal of Artificial Intelligence Research, 2020. [All Versions].
-
From Skills to Symbols: Learning Symbolic Representations for Abstract High-Level Planning jair.org
Journal of Artificial Intelligence Research, 2018. [All Versions]. This work considers the problem of constructing abstract representations for planning in high-dimensional, continuous environments. The authors assume an agent equipped with a collection of high-level actions…
-
Learning Explanatory Rules from Noisy Data jair.org
Journal of Artificial Intelligence Research, 2018. [All Versions]. The original paper for differential Inductive Logic Programming.
-
Reinforcement learning: A survey jair.org
Journal of Artificial Intelligence Research, 1996. [All Versions]. Leslie Kaelbling's review on reinforcement learning.
-
Probabilistic Sufficient Explanations ijcai.org
IJCAI'21, 2021. [All Versions]. Understanding the behavior of learned classifiers is an important task, and various black-box explanations, logical reasoning approaches, and model-specific methods have been proposed. This paper introduces probabilistic sufficient explanations…
-
Turning 30: New Ideas in Inductive Logic Programming ijcai.org
IJCAI'20, 2020. [All Versions].
-
Complete Bottom-Up Predicate Invention in Meta-Interpretive Learning ijcai.org
IJCAI'20, 2020. [All Versions].
-
The Discovery of the Equator or Concept Driven Learning ijcai.org
IJCAI'83, 1983. [All Versions]. The original paper on second-order metarules.
-
Deep Forest: Towards An Alternative to Deep Neural Networks ijcai.org
IJCAI'17, 2017. [All Versions]. [Project]. This paper proposes gcForest, a decision tree ensemble approach with performance highly competitive to deep neural networks in a broad range of tasks. In contrast to deep neural networks which require great effort in hyper-parameter…
- next page of items loading…
