Search results for 'Computer Science' (try it on Scholar)

1000+ found
Order:
See also:
  1. John-Jules Ch Meyer, Roel J. Wieringa & International Workshop on Deontic Logic in Computer Science (1993). Deontic Logic in Computer Science Normative System Specification.
     
    Export citation  
     
    My bibliography   3 citations  
  2.  58
    Michael E. Cuffaro (2015). How-Possibly Explanations in Computer Science. Philosophy of Science 82 (5):737-748.
    A primary goal of quantum computer science is to find an explanation for the fact that quantum computers are more powerful than classical computers. In this paper I argue that to answer this question is to compare algorithmic processes of various kinds and to describe the possibility spaces associated with these processes. By doing this, we explain how it is possible for one process to outperform its rival. Further, in this and similar examples little is gained in subsequently (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  3.  31
    Justin Solomon (2009). Programmers, Professors, and Parasites: Credit and Co-Authorship in Computer Science. Science and Engineering Ethics 15 (4):467-489.
    This article presents an in-depth analysis of past and present publishing practices in academic computer science to suggest the establishment of a more consistent publishing standard. Historical precedent for academic publishing in computer science is established through the study of anecdotes as well as statistics collected from databases of published computer science papers. After examining these facts alongside information about analogous publishing situations and standards in other scientific fields, the article concludes with a list (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  4.  31
    Michael J. Quinn (2006). On Teaching Computer Ethics Within a Computer Science Department. Science and Engineering Ethics 12 (2):335-343.
    The author has surveyed a quarter of the accredited undergraduate computer science programs in the United States. More than half of these programs offer a “social and ethical implications of computing” course taught by a computer science faculty member, and there appears to be a trend toward teaching ethics classes within computer science departments. Although the decision to create an “in house” computer ethics course may sometimes be a pragmatic response to pressure from (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  5.  9
    Chuck Huff, Ronald E. Anderson, Joyce Currie Little, Deborah Johnson, Rob Kling, C. Dianne Martin & Keith Miller (1996). Integrating the Ethical and Social Context of Computing Into the Computer Science Curriculum. Science and Engineering Ethics 2 (2):211-224.
    This paper describes the major components of ImpactCS, a program to develop strategies and curriculum materials for integrating social and ethical considerations into the computer science curriculum. It presents, in particular, the content recommendations of a subcommittee of ImpactCS; and it illustrates the interdisciplinary nature of the field, drawing upon concepts from computer science, sociology, philosophy, psychology, history and economics.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  6.  59
    Timothy Colburn & Gary Shute (2007). Abstraction in Computer Science. Minds and Machines 17 (2):169-184.
    We characterize abstraction in computer science by first comparing the fundamental nature of computer science with that of its cousin mathematics. We consider their primary products, use of formalism, and abstraction objectives, and find that the two disciplines are sharply distinguished. Mathematics, being primarily concerned with developing inference structures, has information neglect as its abstraction objective. Computer science, being primarily concerned with developing interaction patterns, has information hiding as its abstraction objective. We show that (...)
    Direct download (13 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  7. Darren Abramson (2011). Philosophy of Mind Is (in Part) Philosophy of Computer Science. Minds and Machines 21 (2):203-219.
    In this paper I argue that whether or not a computer can be built that passes the Turing test is a central question in the philosophy of mind. Then I show that the possibility of building such a computer depends on open questions in the philosophy of computer science: the physical Church-Turing thesis and the extended Church-Turing thesis. I use the link between the issues identified in philosophy of mind and (...)
    Direct download (15 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  8.  48
    Amnon H. Eden (2007). Three Paradigms of Computer Science. Minds and Machines 17 (2):135-167.
    We examine the philosophical disputes among computer scientists concerning methodological, ontological, and epistemological questions: Is computer science a branch of mathematics, an engineering discipline, or a natural science? Should knowledge about the behaviour of programs proceed deductively or empirically? Are computer programs on a par with mathematical objects, with mere data, or with mental processes? We conclude that distinct positions taken in regard to these questions emanate from distinct sets of received beliefs or paradigms within (...)
    Direct download (15 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  9.  37
    Timothy Colburn & Gary Shute (2011). Decoupling as a Fundamental Value of Computer Science. Minds and Machines 21 (2):241-259.
    Computer science is an engineering science whose objective is to determine how to best control interactions among computational objects. We argue that it is a fundamental computer science value to design computational objects so that the dependencies required by their interactions do not result in couplings, since coupling inhibits change. The nature of knowledge in any science is revealed by how concepts in that science change through paradigm shifts, so we analyze classic paradigm (...)
    Direct download (16 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  22
    William J. Rapaport (2005). Philosophy of Computer Science. Teaching Philosophy 28 (4):319-341.
    There are many branches of philosophy called “the philosophy of X,” where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  11.  40
    Timothy Colburn & Gary Shute (2010). Abstraction, Law, and Freedom in Computer Science. Metaphilosophy 41 (3):345-364.
    Abstract: Laws of computer science are prescriptive in nature but can have descriptive analogs in the physical sciences. Here, we describe a law of conservation of information in network programming, and various laws of computational motion (invariants) for programming in general, along with their pedagogical utility. Invariants specify constraints on objects in abstract computational worlds, so we describe language and data abstraction employed by software developers and compare them to Floridi's concept of levels of abstraction. We also consider (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  12.  25
    William J. Rapaport (2005). Philosophy of Computer Science : An Introductory Course Philosophy of Computer Science : An Introductory Course. Teaching Philosophy 28 (4):319-341.
    There are many branches of philosophy called "the philosophy of X," where X = disciplines ranging from history to physics. The philosophy of artificial intelligence has a long history, and there are many courses and texts with that title. Surprisingly, the philosophy of computer science is not nearly as well-developed. This article proposes topics that might constitute the philosophy of computer science and describes a course covering those topics, along (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  65
    Amnon Eden (2011). Some Philosophical Issues in Computer Science. Minds and Machines 21 (2):123-133.
    The essays included in the special issue dedicated to the philosophy of computer science examine new philosophical questions that arise from reflection upon conceptual issues in computer science and the insights such an enquiry provides into ongoing philosophical debates.
    Direct download (16 more)  
     
    Export citation  
     
    My bibliography  
  14.  30
    Timothy R. Colburn (1991). Program Verification, Defeasible Reasoning, and Two Views of Computer Science. Minds and Machines 1 (1):97-116.
    In this paper I attempt to cast the current program verification debate within a more general perspective on the methodologies and goals of computer science. I show, first, how any method involved in demonstrating the correctness of a physically executing computer program, whether by testing or formal verification, involves reasoning that is defeasible in nature. Then, through a delineation of the senses in which programs can be run as tests, I show that the activities of testing and (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  15.  12
    Thomas Ehrhard (ed.) (2004). Linear Logic in Computer Science. Cambridge University Press.
    Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  16.  7
    Jordi Vallverdú (ed.) (2010). Thinking Machines and the Philosophy of Computer Science: Concepts and Principles. Information Science Reference.
    "This book offers a high interdisciplinary exchange of ideas pertaining to the philosophy of computer science, from philosophical and mathematical logic to epistemology, engineering, ethics or neuroscience experts and outlines new problems ...
    Direct download  
     
    Export citation  
     
    My bibliography  
  17. Timothy R. Colburn (2000). Philosophy and Computer Science.
  18. John-Jules Ch Meyer & W. van der Hoek (1995). Epistemic Logic for Ai and Computer Science. Monograph Collection (Matt - Pseudo).
    No categories
     
    Export citation  
     
    My bibliography   9 citations  
  19. Samson Abramsky, Dov M. Gabbay & Thomas S. E. Maibaum (1992). Handbook of Logic in Computer Science. Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography   6 citations  
  20.  25
    Oron Shagrir (1999). What is Computer Science About? The Monist 82 (1):131-149.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  21.  14
    Wheeler Ruml (1999). Alan W. Biermann, Great Ideas in Computer Science: A Gentle Introduction. [REVIEW] Minds and Machines 9 (3):417-421.
  22.  25
    Raymond Turner, The Philosophy of Computer Science. Stanford Encyclopedia of Philosophy.
  23.  19
    Raymond Turner (2007). The Philosophy of Computer Science: Introduction to the Special Issue. [REVIEW] Minds and Machines 17 (2):129-133.
  24.  19
    Bipin Indurkhya (2002). Timothy R. Colburn, Philosophy and Computer Science. Minds and Machines 12 (3):454-459.
  25. Mark A. Brown & José Carmo (1995). Deontic Logic, Agency, and Normative Systems [Delta]Eon '96, Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996'. [REVIEW]
     
    Export citation  
     
    My bibliography  
  26. Roy Dowsing (1986). A First Course in Formal Logic and its Applications in Computer Science. Blackwell Scientific Publications.
  27. Yiannis N. Moschovakis & Mathematical Sciences Research Institute (1992). Logic From Computer Science Proceedings of a Workshop Held November 13-17, 1989.
     
    Export citation  
     
    My bibliography  
  28. Jan Mycielski, Grzegorz Rozenberg & Arto Salomaa (1997). Structures in Logic and Computer Science a Selection of Essays in Honor of A. Ehrenfeucht.
     
    Export citation  
     
    My bibliography  
  29. Eric B. Winsberg (2010). Science in the Age of Computer Simulation. The University of Chicago Press.
    Introduction -- Sanctioning models : theories and their scope -- Methodology for a virtual world -- A tale of two methods -- When theories shake hands -- Models of climate : values and uncertainties -- Reliability without truth -- Conclusion.
     
    Export citation  
     
    My bibliography   22 citations  
  30.  6
    Walter A. Carnielli, Itala M. L. D'ottaviano & Brazilian Conference on Mathematical Logic (1999). Advances in Contemporary Logic and Computer Science Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil. [REVIEW] Monograph Collection (Matt - Pseudo).
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  31. M. Nielsen, Wolfgang Thomas & European Association for Computer Science Logic (1998). Computer Science Logic 11th International Workshop, Csl '97 : Annual Conference of the Eacsl, Aarhus, Denmark, August 23-29, 1997 : Procedings. [REVIEW]
     
    Export citation  
     
    My bibliography  
  32. D. van Dalen, M. Bezem & European Association for Computer Science Logic (1997). Computer Science Logic 10th International Workshop, Csl'96, Annual Conference of the Eacsl, Utrecht, the Netherlands, September 21-27, 1996 : Selected Papers. [REVIEW]
     
    Export citation  
     
    My bibliography  
  33.  14
    Charles Glagola, Moshe Kam, Caroline Whitebeck & Michael C. Loui (1997). Teaching Ethics in Engineering and Computer Science: A Panel Discussion. Science and Engineering Ethics 3 (4):463-480.
    At a conference, two engineering professors and a philosophy professor discussed the teaching of ethics in engineering and computer science. The panelists considered the integration of material on ethics into technical courses, the role of ethical theory in teaching applied ethics, the relationship between cases and codes of ethics, the enlisting of support of engineering faculty, the background needed to teach ethics, and the assessment of student outcomes. Several audience members contributed comments, particularly on teaching ethical theory and (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  34.  41
    Roman Murawski (1997). Gödel's Incompleteness Theorems and Computer Science. Foundations of Science 2 (1):123-135.
    In the paper some applications of Gödel's incompleteness theorems to discussions of problems of computer science are presented. In particular the problem of relations between the mind and machine (arguments by J.J.C. Smart and J.R. Lucas) is discussed. Next Gödel's opinion on this issue is studied. Finally some interpretations of Gödel's incompleteness theorems from the point of view of the information theory are presented.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  35. Uta Priss (2008). Facet-Like Structures in Computer Science. Axiomathes 18 (2):243-255.
    This paper discusses how facet-like structures occur as a commonplace feature in a variety of computer science disciplines as a means for structuring class hierarchies. The paper then focuses on a mathematical model for facets (and class hierarchies in general), called formal concept analysis, and discusses graphical representations of faceted systems based on this model.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  36. Aaron Sloman (1978). The Computer Revolution in Philosophy: Philosophy Science and Models of Mind. Harvester.
    Since 1991 the author has been Professor of Artificial Intelligence and Cognitive Science in the School of Computer Science at the University of Birmingham, UK.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   126 citations  
  37. Barry Smith (2014). The Relevance of Philosophical Ontology to Information and Computer Science. In Ruth Hagengruber & Uwe Riss (eds.), Philosophy, Computing and Information Science. Chatto and Pickering 75-83.
    The discipline of ontology has enjoyed a checkered history since 1606, with a significant expansion in recent years. We focus here on those developments in the recent history of philosophy which are most relevant to the understanding of the increased acceptance of ontology, and especially of realist ontology, as a valuable method also outside the discipline of philosophy.
    Direct download  
     
    Export citation  
     
    My bibliography  
  38. Dag Normann (2006). Computing with Functionals: Computability Theory or Computer Science? Bulletin of Symbolic Logic 12 (1):43-59.
    We review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science have shaped this still active subject.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography  
  39.  21
    James H. Fetzer (1999). The Role Of Models In Computer Science. The Monist 82 (1):20-36.
    Taking Brian Cantwell Smith’s study, “Limits of Correctness in Computers,” as its point of departure, this article explores the role of models in computer science. Smith identifies two kinds of models that play an important role, where specifications are models of problems and programs are models of possible solutions. Both presuppose the existence of conceptualizations as ways of conceiving the world “in certain delimited ways.” But high-level programming languages also function as models of virtual (or abstract) machines, while (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  40.  27
    Douglas Walton (2000). The Place of Dialogue Theory in Logic, Computer Science and Communication Studies. Synthese 123 (3):327-346.
    Dialogue theory, although it has ancient roots, was put forward in the 1970s in logic as astructure that can be useful for helping to evaluate argumentation and informal fallacies.Recently, however, it has been taken up as a broader subject of investigation in computerscience. This paper surveys both the historical and philosophical background of dialoguetheory and the latest research initiatives on dialogue theory in computer science. The main components of dialogue theory are briefly explained. Included is a classification of (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  41.  24
    Donald W. Loveland, Richard E. Hodel & Susan G. Sterrett, Three Views of Logic: Mathematics, Philosophy, Computer Science.
    Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42.  37
    Gregory Linshiz, Alex Goldberg, Tania Konry & Nathan J. Hillson (2013). The Fusion of Biology, Computer Science, and Engineering: Towards Efficient and Successful Synthetic Biology. Perspectives in Biology and Medicine 55 (4):503-520.
    The integration of computer science, biology, and engineering has resulted in the emergence of rapidly growing interdisciplinary fields such as bioinformatics, bioengineering, DNA computing, and systems and synthetic biology. Ideas derived from computer science and engineering can provide innovative solutions to biological problems and advance research in new directions. Although interdisciplinary research has become increasingly prevalent in recent years, the scientists contributing to these efforts largely remain specialists in their original disciplines and are not fully capable (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  43.  14
    Peter Wegner (1999). Towards Empirical Computer Science. The Monist 82 (1):58-108.
    Part I presents a model of interactive computation and a metric for expressiveness, Part II relates interactive models of computation to physics, and Part III considers empirical models from a philosophical perspective. Interaction machines, which extend Turing Machines to interaction, are shown in Part I to be more expressive than Turing Machines by a direct proof, by adapting Gödel's incompleteness result, and by observability metrics. Observation equivalence provides a tool for measuring expressiveness according to which interactive systems are more expressive (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  44.  37
    Fred Boogerd, Frank Bruggeman, Catholijn Jonker, Huib Looren de Jong, Allard Tamminga, Jan Treur, Hans Westerhoff & Wouter Wijngaards (2002). Inter-Level Relations in Computer Science, Biology, and Psychology. Philosophical Psychology 15 (4):463–471.
    Investigations into inter-level relations in computer science, biology and psychology call for an *empirical* turn in the philosophy of mind. Rather than concentrate on *a priori* discussions of inter-level relations between 'completed' sciences, a case is made for the actual study of the way inter-level relations grow out of the developing sciences. Thus, philosophical inquiries will be made more relevant to the sciences, and, more importantly, philosophical accounts of inter-level relations will be testable by confronting them with what (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  45.  12
    Enrico Franconi, Computer Science & IT with/for Biology.
    This reader contains the extended abstracts of the seminars organised for the “Computer Science and IT with/for Biology” Seminar Series, held at the Faculty of Computer Science, Free University of Bozen-Bolzano, from October to December 2005. Slides of the presentations are available online at: www.inf.unibz.it/krdb/biology.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  46.  33
    G. Crocco, Luis Fariñas del Cerro & Andreas Herzig (eds.) (1995). Conditionals: From Philosophy to Computer Science. Oxford University Press.
    This book looks at the ways in which conditionals, an integral part of philosophy and logic, can be of practical use in computer programming. It analyzes the different types of conditionals, including their applications and potential problems. Other topics include defeasible logics, the Ramsey test, and a unified view of consequence relation and belief revision. Its implications will be of interest to researchers in logic, philosophy, and computer science, particularly artificial intelligence.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  19
    Robert L. Constable, The Triumph of Types: Principia Mathematica's Impact on Computer Science.
    Types now play an essential role in computer science; their ascent originates from Principia Mathematica. Type checking and type inference algorithms are used to prevent semantic errors in programs, and type theories are the native language of several major interactive theorem provers. Some of these trace key features back to Principia.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  48.  17
    Daniel Saunders & Paul Thagard, Creativity in Computer Science.
    Computer science only became established as a field in the 1950s, growing out of theoretical and practical research begun in the previous two decades. The field has exhibited immense creativity, ranging from innovative hardware such as the early mainframes to software breakthroughs such as programming languages and the Internet. Martin Gardner worried that "it would be a sad day if human beings, adjusting to the Computer Revolution, became so intellectually lazy that they lost their power of creative (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  49.  17
    Marvin Minsky, Form and Content in Computer Science.
    An excessive preoccupation with formalism is impeding the development of computer science. Form- content confusion is discussed relative to three areas: theory of computation, programming languages, and education.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  50.  11
    Ron Loui, Review of Deontic Logic in Computer Science. [REVIEW]
    Most of the papers in this collection are from the First International Workshop on Deontic Logic in Computer Science, DEON91, held in Amsterdam in December 1991. AI (especially AI and law, and knowledge representation) and formal system specification are the computer science communities that would seem to be most interested. In fact, this reviewer, a researcher in AI, was surprised to find common ground with a visiting researcher in distributed systems by discussing the contents of this (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000