Results 81 to 90 of about 1,558,985 (350)

POLITICS: Automated ideological reasoning [PDF]

Cognitive Science, 1978
POLITICS is a system of computer programs which simulates humans in comprehending and responding to world events from a given political or ideological perspective. The primary theoretical motivations were: (1) the implemention of a functional system which applies the knowledge structures of Schank and Abelson (1977) to the domain of simulating ...
openaire   +1 more source

Can we automate diagrammatic reasoning?

Pattern Recognition, 2020
Learning to solve diagrammatic reasoning (DR) can be a challenging but interesting problem to the computer vision research community. It is believed that next generation pattern recognition applications should be able to simulate human brain to understand and analyze reasoning of images. However, due to the lack of benchmarks of diagrammatic reasoning,
Arif Ahmed Sekh, Debi Prosad Dogra, Samarjit Kar, Partha Pratim Roy, Dilip K. Prasad   +4 more
openaire   +3 more sources

A Logic of Knowing How

, 2015
In this paper, we propose a single-agent modal logic framework for reasoning about goal-direct "knowing how" based on ideas from linguistics, philosophy, modal logic and automated planning.
Wang, Yanjing
core   +1 more source

Diabetes‐induced vascular calcification is associated with low pyrophosphate and its oral supplementation prevents calcification in diabetic mice

FEBS Open Bio, EarlyView.
Induction of diabetes in three different mouse strains uniformly resulted in an increase in TNAP activity and a reduction in pyrophosphate (PPi) in the circulation. Inhibition of TNAP restored plasma PPi. Diabetes‐induced calcification in the media layer of the aorta was detected only in the Abcc6−/− strain, which is predisposed to ectopic ...
Krisztina Fülöp, Eszter Kozák, Natália Tőkési, Lilian Kocsis, Anikó Kelemen, Zsuzsanna Geszti, Adriána Kutás, Mariann Harangi, Ágnes Diószegi, Zsolt Rapi, József Balla, Olivier Le Saux, András Váradi, Viola Pomozi   +13 more
wiley   +1 more source

Computer Science and Metaphysics: A Cross-Fertilization

Open Philosophy, 2019
Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods.
Kirchner Daniel, Benzmüller Christoph, Zalta Edward N.   +2 more
doaj   +1 more source

Using ConceptNet to Teach Common Sense to an Automated Theorem Prover [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
The CoRg system is a system to solve commonsense reasoning problems. The core of the CoRg system is the automated theorem prover Hyper that is fed with large amounts of background knowledge.
Claudia Schon, Sophie Siebert, Frieder Stolzenburg   +2 more
doaj   +1 more source

Navigating new norms: a systematic review of factors for the development of effective digital tools in higher education

FEBS Open Bio, EarlyView.
What factors make for an effective digital learning tool in Higher Education? This systematic review identifies elements of a digital tool that published examples reveal to be features of an engaging and impactful digital tool. A systematic literature search yielded 25 research papers for analysis.
Akmal Arzeman, Jessica Haines, Connie Pritchard, Stephen Rutherford, Nigel Francis   +4 more
wiley   +1 more source

ATP and Presentation Service for Mizar Formalizations [PDF]

, 2012
This paper describes the Automated Reasoning for Mizar (MizAR) service, which integrates several automated reasoning, artificial intelligence, and presentation tools with Mizar and its authoring environment.
Rudnicki, Piotr, Sutcliffe, Geoff, Urban, Josef   +2 more
core   +2 more sources

Hands‐on protocol for preparing water‐soluble fractions from agri‐food samples for NMR‐based metabolomics analysis

FEBS Open Bio, EarlyView.
This research protocol outlines a workflow for nuclear magnetic resonance (NMR)‐based metabolomics in the agri‐food sector. Using two case studies—strawberry leaves (solid matrix) and wine (liquid matrix)—it details the procedures for sample preparation, data acquisition, and processing.
Andrea Fernández‐Veloso, Jaime Hiniesta‐Valero, Alejandra Guerra‐Castellano, Miguel A. De la Rosa, Irene Díaz‐Moreno   +4 more
wiley   +1 more source

Automated Reasoning on Feature Models [PDF]

, 2005
Premio Mensual Publicación Científica Destacada de la US.
Benavides Cuevas, David Felipe, Trinidad Martín Arroyo, Pablo, Ruiz Cortés, Antonio   +2 more
openaire   +4 more sources