Results 331 to 340 of about 9,013,912 (355)

Computational Aspects of Model-Based Reasoning

2017
Computational models and tools provide increasingly solid foundations for the study of cognition and model-based reasoning, with knowledge generation in different types of cognizing agents, from the simplest ones like bacteria to the complex human distributed cognition.
Gordana Dodig-Crnkovic, Antonio Cicchetti   +1 more
openaire   +1 more source

Using Computer Simulations for Promoting Model-based Reasoning

Science Education, 2017
Maria Develaki
semanticscholar   +1 more source

Model-based abductive reasoning in automated software testing

Logic Journal of IGPL, 2013
Automated Software Testing (AST) using Model Checking is in this paper epistemologically analysed in order to argue in favour of a model-based reasoning paradigm in computer science. Preliminarily, it is shown how both deductive and inductive reasoning are insufficient to determine whether a given piece of software is correct with respect to specified ...
openaire   +3 more sources

The EMBeRS project: employing model-based reasoning in socio-environmental synthesis

Journal of Environmental Studies and Sciences, 2016
D. Pennington, G. Bammer, Antje Danielson, D. Gosselin, J. Gouvea, Geoffrey Habron, David Hawthorne, R. Parnell, Kate Thompson, S. Vincent, C. Wei   +10 more
semanticscholar   +1 more source

Debugging VHDL designs using model-based reasoning

Artificial Intelligence in Engineering, 2000
Abstract The application of formal methods in software engineering and hardware design has become an important field of research. It aims at minimizing time to market and reduce the overall development costs. While formal verification, e.g. model-checking, is widely used, methods for helping programmers or engineers in locating and fixing faults ...
openaire   +1 more source

Model-Based Reasoning in Creative Processes

1999
Combining a contextual approach to problem solving with results on some recently developed (non-standard) logics, I present in this paper a general frame for the methodological study of model-based reasoning in creative processes. I argue that model-based reasoning does not require that we turn away from logic.
openaire   +1 more source

Model-Based Reasoning

2012
openaire   +2 more sources

Model-Based Reasoning for Self-Adaptive Systems - Theory and Practice

Assurances for Self-Adaptive Systems, 2013
Gerald Steinbauer, F. Wotawa
semanticscholar   +1 more source

Model-Based Reasoning

2002
openaire   +1 more source

Cultivating Model-Based Reasoning in Science Education

, 2005
R. Lehrer, Leona Schauble
semanticscholar   +1 more source