Results for 'computer program'

1000+ found
Order:
  1.  5
    Logic Programming: Proceedings of the Joint International Conference and Symposium on Logic Programming.Krzysztof R. Apt & Association for Logic Programming - 1992 - MIT Press (MA).
    The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  3
    Logic Programming and Non-monotonic Reasoning: Proceedings of the First International Workshop.Wiktor Marek, Anil Nerode, V. S. Subrahmanian & Association for Logic Programming - 1991 - MIT Press (MA).
    The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found in human reasoning. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  5
    ALPUK91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991.Tim Duncan, C. S. Mellish, Geraint A. Wiggins & British Computer Society - 1992 - Springer.
    Since its conception nearly 20 years ago, Logic Programming - the idea of using logic as a programming language - has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. However, there are still many challenging research issues to be addressed and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  53
    Computer Programs for Checking Mathematical Proofs.John Mccarthy - 1967 - Journal of Symbolic Logic 32 (4):523-523.
  5. Syntax, Semantics, and Computer Programs.William J. Rapaport - 2020 - Philosophy and Technology 33 (2):309-321.
    Turner argues that computer programs must have purposes, that implementation is not a kind of semantics, and that computers might need to understand what they do. I respectfully disagree: Computer programs need not have purposes, implementation is a kind of semantic interpretation, and neither human computers nor computing machines need to understand what they do.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6. No computer program required: Even pencil-and-paper argument mapping improves critical thinking skills.Mara Harrell - 2008 - Teaching Philosophy 31 (4):351-374.
    Argument-mapping software abounds, and one of the reasons is that using the software has been shown to teach/promote/improve critical thinking skills. These positive results are very encouraging, but they also raise the question of whether the computer tutorial environment is producing these results, or whether learning argument mapping, even with just paper and pencil, is sufficient. Based on the results of two empirical studies, I argue that the basic skill of being able to represent an argument diagrammatically plays an (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  7.  24
    Should computer programs be owned?Deborah G. Johnson - 1985 - Metaphilosophy 16 (4):276-288.
  8.  3
    Backgammon computer program beats world champion.Hans J. Berliner - 1980 - Artificial Intelligence 14 (2):205-220.
  9.  5
    Computing programs for generalized planning using a classical planner.Javier Segovia-Aguas, Sergio Jiménez & Anders Jonsson - 2019 - Artificial Intelligence 272 (C):52-85.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  25
    Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts.Ariel Jonathan Roffé - 2020 - Journal of Applied Non-Classical Logics 30 (1):68-91.
    In this article, I develop three conceptual innovations within the area of formal metatheory, and present a computer program, called Reconstructor, that implements those developments. The first development consists in a methodology for testing formal reconstructions of scientific theories, which involves checking both whether translations of paradigmatically successful applications into models satisfy the formalisation of the laws, and also whether unsuccessful applications do not. I show how Reconstructor can help carry this out, since it allows the end-user to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  21
    Should computer programs be ownable?David H. Carey - 1993 - Metaphilosophy 24 (1-2):76-84.
  12. Computer Programming and the Death of Constructivist Art.Richard Wright - 2009 - Philosophy of Mathematics Education Journal 24.
    No categories
     
    Export citation  
     
    Bookmark  
  13.  16
    Computer programs to estimate overoptimism in measures of discrimination for predicting the risk of cardiovascular diseases.Haider R. Mannan & John J. McNeil - 2013 - Journal of Evaluation in Clinical Practice 19 (2):358-362.
  14.  14
    A computer program to generate parametric and nonparametric signal-detection parameters.Russel Boice & Rick M. Gardner - 1988 - Bulletin of the Psychonomic Society 26 (4):365-367.
  15.  11
    Artists, computer programs and performance.S. Godlovitch - 1990 - Australasian Journal of Philosophy 68 (3):301 – 312.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. A computer program for determining matrix models of propositional calculi.R. T. Brady - 1976 - Logique Et Analyse 19 (74):233.
     
    Export citation  
     
    Bookmark  
  17.  6
    Computer Programming and Formal Systems.J. C. Shepherdson, P. Braffort & D. Hirschberg - 1965 - Philosophical Quarterly 15 (61):371.
  18.  10
    Visual Computer Programming: Semiotic and Cognitive Aspects.Sanda Monica Tataram - 2001 - American Journal of Semiotics 17 (3):157-173.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  14
    Can Students’ Computer Programming Learning Motivation and Effectiveness Be Enhanced by Learning Python Language? A Multi-Group Analysis.Hsiao-Chi Ling, Kuo-Lun Hsiao & Wen-Chiao Hsu - 2021 - Frontiers in Psychology 11.
    Python language has become the most popular computer language. Python is widely adopted in computer courses. However, Python language’s effects on the college and university students’ learning performance, motivations, computer programming self-efficacy, and maladaptive cognition have still not been widely examined. The main objective of this study is to explore the effects of learning Python on students’ programming learning. The junior students of two classes in a college are the research participants. One class was taught Java language (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  20.  22
    Axiomatising the Logic of Computer Programming.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (3):854-855.
  21.  4
    Setting-up early computer programs: D. H. Lehmer’s ENIAC computation.Maarten Bullynck & Liesbeth Mol - 2010 - Archive for Mathematical Logic 49 (2):123-146.
    A complete reconstruction of Lehmer’s ENIAC set-up for computing the exponents of p modulo two is given. This program served as an early test program for the ENIAC (1946). The reconstruction illustrates the difficulties of early programmers to find a way between a man operated and a machine operated computation. These difficulties concern both the content level (the algorithm) and the formal level (the logic of sequencing operations).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  11
    Students' Performances in Computer Programming of Higher Education for Sustainable Development: The Effects of a Peer-Evaluation System.Tsung-Chih Hsiao, Ya-Hsueh Chuang, Tzer-Long Chen, Chien-Yun Chang & Chih-Cheng Chen - 2022 - Frontiers in Psychology 13.
    Modern education attaches great importance to interdisciplinary skills, among which computational thinking is a core element, and heralds a new era. IT application has shaped education in the 21st century. Computational thinking has provided further impetus for building an all-encompassing social network and fostering a DIY culture enabled by digital technologies. One empirical study used four apps to test children's development in computational thinking and fluency. The article will help students overcome their fears of coding. Peer reviews provide students with (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  5
    Measuring power of algorithms, computer programs and information automata.Mark Semenovich Burgin (ed.) - 2009 - New York: Nova Science Publishers.
    Introduction -- Algorithms, programs, procedures, and abstract automata -- Functioning of algorithms and automata, computation, and operations with algorithms and automata -- Basic postulates and axioms for algorithms -- Power of algorithms and classes of algorithms: comparison and evaluation -- Computing, accepting, and deciding modes of algorithms and programs -- Problems that people solve and related properties of algorithms -- Boundaries for algorithms and computation -- Software and hardware verification and testing -- Conclusion.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  21
    Proof theory and computer programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.
  25.  32
    Proof theory and computer programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):389-414.
  26.  6
    Proof theory and computer programming.Ruy J. B. de Queiroz & Thomas Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  23
    A rhythm recognition computer program to advocate interactivist perception.Jean-Christophe Buisson - 2004 - Cognitive Science 28 (1):75-88.
    This paper advocates the main ideas of the interactive model of representation of Mark Bickhard and the assimilation/accommodation framework of Jean Piaget, through a rhythm recognition demonstration program. Although completely unsupervised, the program progressively learns to recognize more and more complex rhythms struck on the user's keyboard. It does so without any recording of the input flow, and without any pattern matching in the usual sense. On the contrary, internal processes are dynamically constructed to follow and anticipate the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  38
    Setting-up early computer programs: D. H. Lehmer’s ENIAC computation. [REVIEW]Maarten Bullynck & Liesbeth De Mol - 2010 - Archive for Mathematical Logic 49 (2):123-146.
    A complete reconstruction of Lehmer’s ENIAC set-up for computing the exponents of p modulo two is given. This program served as an early test program for the ENIAC (1946). The reconstruction illustrates the difficulties of early programmers to find a way between a man operated and a machine operated computation. These difficulties concern both the content level (the algorithm) and the formal level (the logic of sequencing operations).
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  21
    Language processing and computer programs.R. J. Harvey - 1986 - Behavioral and Brain Sciences 9 (3):549-550.
  30.  12
    COMET: A Computer Program dealing with Consent to Medical Treatment.A. Duncan - 1988 - Journal of Medical Ethics 14 (4):212-213.
  31.  18
    A Reply to “Should Computer Programs Be Ownable?”.Deborah G. Johnson - 1993 - Metaphilosophy 24 (1-2):85-90.
  32.  1
    A Reply to “Should Computer Programs Be Ownable?”.Deborah G. Johnson - 1993 - Metaphilosophy 24 (1-2):85-90.
  33.  48
    Whiteheadian Philosophy and Prolog Computer Programming.Granville C. Henry & Michael G. Geertsen - 1986 - Process Studies 15 (3):181-191.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34. A digital-computer programming invariance.Walter A. Sturm - 1968 - In Peter Koestenbaum (ed.), Proceedings. [San Jose? Calif.,: [San Jose? Calif.. pp. 120.
     
    Export citation  
     
    Bookmark  
  35.  6
    Structure and interpretation of computer programs.Kenneth D. Forbus - 1985 - Artificial Intelligence 27 (1):124-127.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. Some empirical criteria for attributing creativity to a computer program.Graeme Ritchie - 2007 - Minds and Machines 17 (1):67-99.
    Over recent decades there has been a growing interest in the question of whether computer programs are capable of genuinely creative activity. Although this notion can be explored as a purely philosophical debate, an alternative perspective is to consider what aspects of the behaviour of a program might be noted or measured in order to arrive at an empirically supported judgement that creativity has occurred. We sketch out, in general abstract terms, what goes on when a potentially creative (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  37.  2
    Chrysippus’ Conditional Captured from a Non-Axiomatic Computer Program.Miguel López-Astorga - 2024 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 31 (1):48-59.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. Is the Brain’s Mind a Computer Program?John R. Searle - 1990 - Scientific American 262 (1):26-31.
  39.  39
    The Strategic Computing Program at four years: Implications and intimations. [REVIEW]Chris Hables Gray - 1988 - AI and Society 2 (2):141-149.
    Examining the Strategic Computing Program after four years, in the context of the crucial recognition that it is only a small part of the whole range of military artificial intelligence applications, suggests a number of clear implications and intimations about such crucial questions as: 1) the current roles of industry and the universities in developing high technology war; 2) the effects on political and military policy of high-tech weapons systems; and 3) the importance of advanced military computing to subtle (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  2
    Do Flipped Learning and Adaptive Instruction Improve Student Learning Outcome? A Case Study of a Computer Programming Course in Taiwan.Hong-Ren Chen & Wen-Chiao Hsu - 2022 - Frontiers in Psychology 12.
    Flipped learning could improve the learning effectiveness of students. However, some studies have pointed out the limitations related to flipped classrooms because the content of the flipped course does not vary according to the needs of the students. On the other hand, adaptive teaching, which customizes the learning mode according to the individual needs of students, can make up for some of the shortcomings of flipped teaching. This study combines adaptive teaching with flipped teaching and applies it to face-to-face classroom (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  17
    About the “Trinity Thesis” Regarding the Ontology of Computer Programs.Henri Stephanou - 2020 - Philosophy and Technology 33 (2):323-330.
    This review of Turner’s “Computational Artifacts” focuses on one of the key novelties of the book, namely the proposal to understand the nature of computer programs as a “trinity” of specification, symbolic program, and physical process, replacing the traditional dualist views of programs as functional/structural or as symbolic/physical. This trinitarian view is found to be robust and helpful to solve typical issues of dualist views. Drawing comparisons with Simon’s view of the artifact as an interface, the author suggests (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  14
    A truly human interface: interacting face-to-face with someone whose words are determined by a computer program.Kevin Corti & Alex Gillespie - 2015 - Frontiers in Psychology 6:145265.
    We use speech shadowing to create situations wherein people converse in person with a human whose words are determined by a conversational agent computer program. Speech shadowing involves a person (the shadower) repeating vocal stimuli originating from a separate communication source in real-time. Humans shadowing for conversational agent sources (e.g., chat bots) become hybrid agents ("echoborgs") capable of face-to-face interlocution. We report three studies that investigated people’s experiences interacting with echoborgs and the extent to which echoborgs pass as (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  43.  11
    Awareness and Understanding in Computer Programs A Review of Shadows of the Mind by Roger Penrose. [REVIEW]John Mccarthy - 1995 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2.
  44.  23
    The development and implications of a case-based computer program to train ethical decision-making.Eun-Jun Park - 2013 - Nursing Ethics 20 (8):943-956.
    To effectively train ethical decision-making of nursing students, a case-based computer program was developed using Flash animation. Seven ethical cases collected from practicing registered nurses’ actual clinical experiences and a six-step Integrated Ethical Decision-Making Model developed by the author were employed in the program. In total, 251 undergraduate students from three nursing schools used the program in their nursing ethics course. The usability of the program and its usefulness in improving 11 abilities needed in ethical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  14
    Machines and metaphors: Challenges for the detection, interpretation and production of metaphors by computer programs.Jacob Hesse - 2023 - Theoria 89 (5):607-624.
    Powerful transformer models based on neural networks such as GPT-4 have enabled huge progress in natural language processing. This paper identifies three challenges for computer programs dealing with metaphors. First, the phenomenon of Twice-Apt-Metaphors shows that metaphorical interpretations do not have to be triggered by syntactical, semantic or pragmatic tensions. The detection of these metaphors seems to involve a sense of aesthetic pleasure or a higher-order theory of mind, both of which are difficult to implement into computer programs. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  47
    Problems in the ontology of computer programs.Amnon H. Eden & Raymond Turner - 2007 - Applied Ontology 2 (1):13-36.
  47.  22
    McCarthy John. Computer programs for checking mathematical proofs. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 219–227. [REVIEW]J. A. Robinson - 1968 - Journal of Symbolic Logic 32 (4):523-523.
  48. Review: John McCarthy, Computer Programs for Checking Mathematical Proofs. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (4):523-523.
  49.  28
    Ethics in the classroom: A reflection on integrating ethical discussions in an introductory course in computer programming.Dennis C. Smolarski & Tamsen Whitehead - 2000 - Science and Engineering Ethics 6 (2):255-264.
    In this paper, we describe our recent approaches to introducing students in a beginning computer science class to the study of ethical issues related to computer science and technology. This consists of three components: lectures on ethics and technology, in-class discussion of ethical scenarios, and a reflective paper on a topic related to ethics or the impact of technology on society. We give both student reactions to these aspects, and instructor perspective on the difficulties and benefits in exposing (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  10
    From the genetic to the computer program: the historicity of ‘data’ and ‘computation’ in the investigations on the nematode worm C. elegans.Miguel García-Sancho - 2012 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 43 (1):16-28.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 1000