scholarly journals Computer Science and Metaphysics: A Cross-Fertilization

2019 ◽  
Vol 2 (1) ◽  
pp. 230-251 ◽  
Author(s):  
Daniel Kirchner ◽  
Christoph Benzmüller ◽  
Edward N. Zalta

AbstractComputational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods. Computational metaphysics is computational philosophy with a focus on metaphysics. In this paper, we (a) develop results in modal metaphysics whose discovery was computer assisted, and (b) conclude that these results work not only to the obvious benefit of philosophy but also, less obviously, to the benefit of computer science, since the new computational techniques that led to these results may be more broadly applicable within computer science. The paper includes a description of our background methodology and how it evolved, and a discussion of our new results.

Author(s):  
Ewa Andrejczuk ◽  
Rita Berger ◽  
Juan A. Rodriguez-Aguilar ◽  
Carles Sierra ◽  
Víctor Marín-Puchades

AbstractNowadays the composition and formation of effective teams is highly important for both companies to assure their competitiveness and for a wide range of emerging applications exploiting multiagent collaboration (e.g. crowdsourcing, human-agent collaborations). The aim of this article is to provide an integrative perspective on team composition, team formation, and their relationship with team performance. Thus, we review the contributions in both the computer science literature and the organizational psychology literature dealing with these topics. Our purpose is twofold. First, we aim at identifying the strengths and weaknesses of the contributions made by these two diverse bodies of research. Second, we aim at identifying cross-fertilization opportunities that help both disciplines benefit from one another. Given the volume of existing literature, our review is not intended to be exhaustive. Instead, we have preferred to focus on the most significant contributions in both fields together with recent contributions that break new ground to spur innovative research.


2008 ◽  
Vol 23 (2) ◽  
pp. 213-215 ◽  
Author(s):  
ULLE ENDRISS

AbsractComputational social choice is a new discipline currently emerging at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing. The first international workshop specifically dedicated to this topic took place in December 2006 in Amsterdam, attracting a mix of computer scientists, people working in artificial intelligence and multiagent systems, economists, game and social choice theorists, logicians, mathematicians, philosophers, and psychologists as participants.


2004 ◽  
Vol 13 (01) ◽  
pp. 1-7 ◽  
Author(s):  
ANDREA OMICINI ◽  
SASCHA OSSOWSKI

The notions of coordination, collaboration and cooperation have originated a number of heterogeneous research lines in diverse scientific areas, both inside and outside Computer Science — along with a number of different acceptations for the terms as well. The basic and almost obvious correlation between these terms, however, has not yet led to a satisfactory scientific overall picture that could put them in the right perspective, emphasizing their commonalities and distinctions. Still, there is a great potential for cross-fertilization between the different strands of work. In particular, if the mutual relationship between these terms was understood and commonly accepted, it would be much easier to adapt and apply many innovative ideas developed by the different communities to the field of cooperative information systems. In this article, we outline a possible unified conceptual framework, by suitably re-interpreting findings from Activity Theory. There, a clear definition for both coordination and cooperation as collaborative activities can be found and used as a reference, which is centred around the notion of (coordination) artifact. Then, we gladly introduce four contributions, selected from the best papers of the 18th ACM Symposium on Applied Computing and suitably revised for the International Journal on Cooperative Information Systems, that show how some of the most recent results of the research on coordination can be fruitfully exploited and applied to the field of cooperative information systems.


2016 ◽  
Vol 4 (3) ◽  
pp. 721-725 ◽  
Author(s):  
Giulia Sofia ◽  
John K. Hillier ◽  
Susan J. Conway

Abstract. Geomorphometry, the science of quantitative land-surface analysis, has become a flourishing interdisciplinary subject, with applications in numerous fields. The interdisciplinarity of geomorphometry is its greatest strength and also one of its major challenges. Gaps are still present between the process focussed fields (e.g. soil science, glaciology, volcanology) and the technical domain (such as computer science, statistics …) where approaches and theories are developed. Thus, interesting geomorphometric applications struggle to jump between process-specific disciplines, but also struggle to take advantage of advances in computer science and technology. This special issue is therefore focused on facilitating cross-fertilization between disciplines, and highlighting novel technical developments and innovative applications of geomorphometry to various Earth-surface processes. The issue collects a variety of contributions which fall into two main categories: Perspectives and Research, further divided into “Research and innovative techniques” and “Research and innovative applications”. It showcases potentially exciting developments and tools which are the building blocks for the next step-change in the field.


1997 ◽  
Vol 25 (4) ◽  
pp. 327-345 ◽  
Author(s):  
Vincent J. Skudrna

The primary objective of this article is to discuss the role of Computer Assisted Instruction (CAI) at the undergraduate level via a survey of related literature and specific applications. CAI shares many features with other instructional modes, such as traditional classrooms and programmed instruction (PI). Many characteristics of learners affect their ability to learn and acquire new knowledge. An individual's subject-specific knowledge and general knowledge both affect comprehension. With regard to instructional design, system approaches are sometimes referred to as instructional development systems (IDS). An IDS embraces several major categories. These include a statement of goals, analysis, development of instruction, and evaluation and revision. General statements on CAI can be divided into the following areas: requirements, potential benefits, state of the art, problems, CAI as a factor in society, the roles of industry, education, and government, including the role of teacher. At least two educational requirements make CAI inevitable, i.e., the trend to individualized instruction and the growth in information to be acquired. Data processing and computer science involve the teaching of computer skills in relative isolation from other disciplines. Hence, the computer is the principal subject. Student problem solving and research is where the computer is used as a tool in some field outside computer science. A specific sphere of application is the subject. This article will relate these categories as they apply to an introductory computer concepts course taught at the undergraduate level. Another phase of this course is that it is accounting-oriented.


Author(s):  
Navjeet Kaur ◽  
Kiran Jyoti

Assessment is used to evaluate the learner’s knowledge about the concepts learnt. Evaluation through objective testing is common in all evaluation system, where Multiple Choice Questions, Fill in the Blanks, Matching etc. are used for evaluation. The method of objective testing is not sufficient to completely verify all the concepts learnt by the learner. Thus computer assisted assessment of short text answers is developed. Here we present an approach to assess the short answers of computer science automatically. In this paper we have defined a set of evaluation criteria that covers all the relevant aspects of a short text evaluation system.


Sign in / Sign up

Export Citation Format

Share Document