lazyCoP: Lazy Paramodulation Meets Neurally Guided Search

2021 ◽  
pp. 187-199
Author(s):  
Michael Rawson ◽  
Giles Reger
Keyword(s):  
2019 ◽  
Vol 118 ◽  
pp. 440-458 ◽  
Author(s):  
Vahid Riahi ◽  
M.A. Hakim Newton ◽  
M.M.A. Polash ◽  
Kaile Su ◽  
Abdul Sattar
Keyword(s):  

2013 ◽  
Vol 13 (8) ◽  
pp. 24-24 ◽  
Author(s):  
R. Moran ◽  
M. Zehetleitner ◽  
H. J. Muller ◽  
M. Usher

2017 ◽  
Vol 11 (2) ◽  
pp. 185-200
Author(s):  
Yota Ueda ◽  
Hiroyuki Ebara ◽  
Koki Nakayama ◽  
Syuhei Iida
Keyword(s):  

Author(s):  
John R. Dixon

The goal of this paper is to raise awareness and generate discussion about research methodology in engineering design. Design researchers are viewed as a single communicating community searching for scientific theories of engineering design; that is, theories that can be tested by formal methods of hypothesis testing. In the paper, the scientific method for validating theories is reviewed, and the need for operational definitions and for experiments to identify variables and meaningful abstractions is stressed. The development of a design problem taxonomy is advocated. Generating theories is viewed as guided search. Three types of design theories are described: prescriptive, cognitive descriptive, and computational. It is argued that to seek prescriptions is premature and that, unless the human and institutional variables are reduced to knowledge and control, cognitive descriptive theories will be impossibly complex. A case is made for a computational approach, though it also shown that computational and cognitive research approaches can be mutually supportive.


2018 ◽  
pp. 307-308
Author(s):  
Anne-Marie Brouwer ◽  
Maarten A.J. Hogervorst ◽  
Bob Oudejans ◽  
Anthony J. Ries ◽  
Jonathan Touryan
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document