Theory
1,949 items in 14 lists
-
Six factors affecting reproducibility in life science research and how to handle them nature.com
Nature Advertisement.
-
Five keys to writing a reproducible lab protocol nature.com
Nature, 2021. [All Versions]. This interviewing paper introduces five ways to increase the reproducibility of experimental protocols: (i) documenting protocols as the experiment goes; (ii) providing video illustrations in addition to written protocols; (iii) using electronic…
-
The Internet of Things comes to the lab nature.com
Nature, 2017. [All Versions]. The emergence of connected instruments and equipment promises to untether researchers from the laboratory --- letting them fine-tune experiments and analyse data remotely.
-
1,500 scientists lift the lid on reproducibility nature.com
Nature, 2016. [All Versions].
-
Neuron, 2012. [All Versions].
-
With or Without U? The Appropriate Test for a U-Shaped Relationship mpra.ub.uni-muenchen.de
Oxford Bulletin of Economics and Statistics, 2010. [All Versions]. The original method for testing U-shape relation from the data, which is distinctive from the quadratic regression test.
-
Infinite Latent Feature Models and the Indian Buffet Process mlg.eng.cam.ac.uk
Gatsby Computational Neuroscience Unit Technical Report 2005-001, 2005. [All Versions].
-
Program Synthesis microsoft.com
Foundations and Trends in Programming Languages, 2017. [All Versions]. Sumit Gulwani's comprehensive review on program synthesis.
-
cite2vec: Citation-Driven Document Exploration via Word Embeddings matthewberger.github.io
IEEE Transactions on Visualization and Computer Graphics, 2016. [All Versions].
-
Improvisation through Physical Understanding: Using Novel Objects as Tools with Visual Foresight m.roboticsproceedings.org
RSS'19, 2019. [All Versions].
-
Finitely Generated Groups and First-Order Logic londmathsoc.onlinelibrary.wiley.com
Journal of The London Mathematical Society-second Series, 2005. [All Versions].
-
Waiting and weighting: Information sampling is a balance between efficiency and error-reduction linkinghub.elsevier.com
Cognition, 2013. [All Versions].
-
People Infer Recursive Visual Concepts from Just a Few Examples link.springer.com
Computational Brain & Behavior, 2020. [All Versions].
-
Abduction and styles of scientific thinking link.springer.com
Synthese, 2021. [All Versions]. A computational philosophy account connecting Abduction and scientific thinking.
-
The Principle of Semantic Compositionality link.springer.com
Topoi, 1994. [All Versions]. The original paper on the principle of semantic compositionality.
-
What is Answer Set Programming? link.springer.com
Springer, 2008. [All Versions]. [Tutorial on AAAI]. Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in knowledge representation, it is particularly…
-
An introduction to Kolmogorov complexity and its applications link.springer.com
Springer, 2008. [All Versions]. The introductory book for Algorithmic Information Theory, especially the Kolmogorov complexity theory.
-
Abstract Hardware Grounding Towards the Automated Design of Automation Systems link.springer.com
ICIRA'24, 2024. [All Versions]. [Preprint]. Crafting automation systems tailored for specific domains requires aligning the space of human experts’ semantics with the space of robot executable actions, and scheduling the required resources and system layout accordingly…
-
Symbolic data analysis: what is it? link.springer.com
Proceedings in Computational Statistics, 2006. [All Versions].
-
Regression Analysis for Interval-Valued Data link.springer.com
Data Analysis, Classification, and Related Methods, 2000. [All Versions]. The original paper on symbolic regression.
-
A Relational Approach to Tool-Use Learning in Robots link.springer.com
ILP'12, 2012. [All Versions].
-
Domain-Specific Modeling Languages: Requirements Analysis and Design Guidelines link.springer.com
Domain Engineering: Product Lines, Languages, and Conceptual Models, 2013. [All Versions]. In recent years, the development of domain-specific modeling languages has gained remarkable attention. This is for good reasons. A domain-specific modeling language incorporates concepts…
-
Abductive Inference in Bayesian Networks: A Review link.springer.com
Advances in Bayesian Networks, 2004. [All Versions]. The goal of this paper is to serve as a survey for the problem of abductive inference (or belief revision) in Bayesian networks. Thus, the problem is introduced in its two variants: total abduction (or MPE) and partial…
-
The Abduction of Sherlock Holmes: A Dataset for Visual Abductive Reasoning link.springer.com
ECCV'22, 2022. [All Versions]. [Preprint]. This paper presents Sherlock, an annotated corpus of 103K images for testing machine capacity for abductive reasoning beyond literal image contents. The corpus construction process adopts a free-viewing paradigm: participants first…
-
LegalLanguage: A Domain-Specific Language for Legal Contexts link.springer.com
EEWC'19, 2019. [All Versions]. Nowadays legal ontologies have been used in the legal domain, however, being poorly explored in legislative and production processes. This paper analyses the adoption of legal ontologies as a tool to support these processes, in particular, related…
-
Answer Set Programming link.springer.com
ICLPNR'99, 1999. [All Versions]. [Preprint]. The original paper on Answer Set Programming (ASP), a form of declarative programming oriented towards difficult search problems, on the use of nonmonotonic reasoning in knowledge representation. In ASP solutions to a problem are…
-
Abduction in Logic Programming link.springer.com
Computational Logic, 2002. [All Versions]. [Preprint]. Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer…
-
Action Languages, Answer Sets, and Planning link.springer.com
The Logic Programming Paradigms, 1999. [All Versions]. [Preprint]. This is a discussion of some of the achievements and challenges related to representing actions and the design of planners from the perspective of logic programming. The authors talk about recent work on action…
-
Abduction, Induction, and Analogy link.springer.com
Model-Based Reasoning in Science and Technology, 2010. [All Versions]. The distinctions and relations between Abduction, Induction, and Analogy.
-
How Much Can Experimental Cost Be Reduced in Active Learning of Agent Strategies? link.springer.com
ILP'18, 2018. [All Versions].
-
VisualCOMET: Reasoning About the Dynamic Context of a Still Image link.springer.com
ECCV'20, 2020. [All Versions].
-
Towards a theory of commonsense visual reasoning link.springer.com
FSTTCS, 1990. [All Versions]. The original paper on visual commonsense.
-
Towards an Architecture for Cognitive Vision Using Qualitative Spatio-temporal Representations and Abduction link.springer.com
Spatial Cognition, 2002. [All Versions].
-
Towards combining inductive logic programming with Bayesian networks link.springer.com
ILP'01, 2001. [All Versions].
-
Abductive Reasoning and Learning link.springer.com
Springer, 2000. [All Versions]. This book contains leading survey papers on the various aspects of Abduction, both logical and numerical approaches.
-
Abductive Cognition: The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning link.springer.com
Springer, 2009. [All Versions]. Most philosophers of science in the twentieth century have concluded that no logic of creative processes exists and, moreover, that a rational model of discovery is impossible. In short, scientific creative inferences are irrational and there is…
-
A computational process-tracing method for measuring people’s planning strategies and how they change over time link.springer.com
Behavior Research Methods, 2022. [All Versions]. Model-based strategy identification.
-
When to trust the data: Further investigations of system error in a scientific reasoning task link.springer.com
Memory & Cognition, 1996. [All Versions]. When evaluating experimental evidence, how do people deal with the possibility that some of the feedback is erroneous? The potential for error means that evidence evaluation must include decisions about when to “trust the data.” This…
-
Logics for Epistemic Programs link.springer.com
Synthese, 2004. [All Versions].
-
Filters, random fields and maximum entropy (FRAME): Towards a unified theory for texture modeling link.springer.com
International Journal of Computer Vision, 1998. [All Versions]. [Preprint]. This article presents a statistical theory for texture modeling. This theory combines filtering theory and Markov random field modeling through the maximum entropy principle, and interprets and…
-
How do people generalize causal relations over objects? A non-parametric Bayesian account link.springer.com
Computational Brain & Behavior, 2022. [All Versions]. [Preprint]. How do people decide how general a causal relationship is, in terms of the entities or situations it applies to? What features do people use to decide whether a new situation is governed by a new causal law or an…
-
Pragmatic Inference and Visual Abstraction Enable Contextual Flexibility During Visual Communication link.springer.com
Computational Brain & Behavior, 2020. [All Versions]. A computational account on the rational behavior in graphical language games.
-
Do People Ask Good Questions? link.springer.com
Computational Brain & Behavior, 2018. [All Versions].
-
From intention to implementation: automating biomedical research via LLMs link.springer.com
Science China Information Sciences, 2025. [All Versions]. Conventional biomedical research is increasingly labor-intensive due to the exponential growth of scientific literature and datasets. Artificial intelligence (AI), particularly large language models (LLMs), has the…
-
Abductive learning: towards bridging machine learning and logical reasoning link.springer.com
Science China Information Sciences, 2019. [All Versions].
-
Structured Generative Models for Scene Understanding link.springer.com
International Journal of Computer Vision, 2025. [All Versions]. This position paper argues for the use of structured generative models (SGMs) for the understanding of static scenes. This requires the reconstruction of a 3D scene from an input image (or a set of multi-view…
-
Configurable 3D Scene Synthesis and 2D Image Rendering with Per-pixel Ground Truth Using Stochastic Grammars link.springer.com
International Journal of Computer Vision, 2018. [All Versions]. [Preprint]. This work proposes a systematic learning-based approach to the generation of massive quantities of synthetic 3D scenes and arbitrary numbers of photorealistic 2D images thereof, with associated ground…
-
Abduction − the context of discovery + underdetermination = inference to the best explanation link.springer.com
Synthese, 2019. [All Versions].
-
Abductive inference within a pragmatic framework link.springer.com
Synthese, 2018. [All Versions].
-
On the distinction between Peirce's abduction and Lipton's Inference to the best explanation link.springer.com
Synthese, 2011. [All Versions].
- next page of items loading…
