This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories
Siblings:
9 found
Search inside:
(import / add options)   Order:
  1. Varol Akman & Mujdat Pakkan (1996). Nonstandard Set Theories and Information Management. Philosophical Explorations.
    The merits of set theory as a foundational tool in mathematics stimulate its use in various areas of artificial intelligence, in particular intelligent information systems. In this paper, a study of various nonstandard treatments of set theory from this perspective is offered. Applications of these alternative set theories to information or knowledge management are surveyed.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  2. J. Cabrera Calvo-Sotelo (1984). Prueba automatica de teoremas: un panorama. Teorema: International Journal of Philosophy 14 (3-4):475-496.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  3. Paul E. Ceruzzi (2003). A History of Modern Computing. MIT.
    Ceruzzi pens a history of computing from the development of the first electronic digital computer to the Web and dot-com crash.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  4. Nuno David, Maria Marietto, Jaime Sichman & Helder Coelho (2004). The Structure and Logic of Interdisciplinary Research in Agent-Based Social Simulation. Journal of Artificial Societies and Social Simulation 7 (3).
    This article reports an exploratory survey of the structure of interdisciplinary research in Agent-Based Social Simulation. One hundred and ninety six researchers participated in the survey completing an on-line questionnaire. The questionnaire had three distinct sections, a classification of research domains, a classification of models, and an inquiry into software requirements for designing simulation platforms. The survey results allowed us to disambiguate the variety of scientific goals and modus operandi of researchers with a reasonable level of detail, and to identify (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. Nuno David, Jaime Sichman & Helder Coelho (2007). Simulation as Formal and Generative Social Science: The Very Idea. In Carlos Gershenson, Diederik Aerts & Bruce Edmonds (eds.), Worldviews, Science, and Us: Philosophy and Complexity. World Scientific 266--275.
    The formal and empirical-generative perspectives of computation are demonstrated to be inadequate to secure the goals of simulation in the social sciences. Simulation does not resemble formal demonstrations or generative mechanisms that deductively explain how certain models are sufficient to generate emergent macrostructures of interest. The description of scientific practice implies additional epistemic conceptions of scientific knowledge. Three kinds of knowledge that account for a comprehensive description of the discipline were identified: formal, empirical and intentional knowledge. The use of formal (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6. Anne von der Lieth Gardner (1987). An Artificial Intelligence Approach to Legal Reasoning. MIT Press.
  7. David Love (2008). A Philosophy of Maintenance? Engaging with the Concept of Software. Philosophy of Management 6 (2):27-30.
    Although reducing the costs of software maintenance has long been held as an important goal, few researchers have studied software maintenance - except in the context of software design. However, thinking in software design is itself muddled by the frequent confusion over the term ‘software’ and ‘programs’. In this paper we argue for a re-examination of the underlying philosophical foundations of programs, in order to establish software as a phenomenon in its own right. Once we understand the basic (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  8. Yiannis Moschovakis (2001). What is an Algorithm? In Mathematics Unlimited --- 2001 and beyond.
    Remove from this list  
     
    Export citation  
     
    My bibliography   1 citation  
  9. Philip Wadler, Proofs Are Programs: 19th Century Logic and 21st Century Computing.
    As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were driven by nothing other than an abiding interest in truth, and their proofs were as ethereal as the mind of God. Yet within decades these mathematical abstractions were realized by the hand of man, in the digital stored-program computer. How it came to be recognized that proofs and programs are the same thing is a story that spans a century, a chase with as (...)
    Remove from this list  
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography