English
Related papers

Related papers: Liberating Logic in the Age of AI: Going Beyond Pr…

200 papers

Computer Science education has been evolving over the years to reflect applied realities. Until about a decade ago, theory of computation, algorithm design and system software dominated the curricula. Most courses were considered core and…

Computers and Society · Computer Science 2022-08-10 Sreekrishnan Venkateswaran

Artificial intelligence is transforming the way we work with information across disciplines and practical contexts. A growing range of disciplines are now involved in studying, developing, and assessing the use of AI in practice, but these…

Computers and Society · Computer Science 2024-09-20 Denis Newman-Griffis

AI is a magnificent field that directly and profoundly touches on numerous disciplines ranging from philosophy, computer science, engineering, mathematics, decision and data science and economics, to cognitive science, neuroscience and…

Computers and Society · Computer Science 2024-10-16 Simon Kasif

Teaching programming in early childhood (4-9) to enhance computational thinking has gained popularity in the recent movement of computer science for all. However, current practices ignore some fundamental issues resulting from young…

Human-Computer Interaction · Computer Science 2024-05-03 Changjae Lee , Jinjun Xiong

This paper investigates how high school students approach computing through an introductory computer science course situated in the Logic Programming (LP) paradigm. This study shows how novice students operate within the LP paradigm while…

Computers and Society · Computer Science 2017-06-29 Timothy Yuen , Maritz Reyes , Yuanlin Zhang

Non-native English speakers (NNES) face multiple barriers to learning programming. These barriers can be obvious, such as the fact that programming language syntax and instruction are often in English, or more subtle, such as being afraid…

Encouraged by significant advances in algorithms and tools for verification and analysis, high level modeling and programming techniques, natural language programming, etc., we feel it is time for a major change in the way complex software…

Software Engineering · Computer Science 2015-02-05 David Harel , Guy Katz , Rami Marelly , Assaf Marron

Formal languages are essential for computer programming and are constructed to be easily processed by computers. In contrast, natural languages are much more challenging and instigated the field of Natural Language Processing (NLP). One…

Computation and Language · Computer Science 2024-08-15 Daphne Wang

Natural language processing (NLP) aims at investigating the interactions between agents and humans, processing and analyzing large amounts of natural language data. Large-scale language models play an important role in current natural…

Artificial Intelligence · Computer Science 2023-04-14 Kebing Jin , Hankz Hankui Zhuo

We find ourselves in the midst of an explosion in artificial intelligence research, particularly with large language models (LLMs). These models have diverse applications spanning finance, commonsense knowledge graphs, medicine, and visual…

Software Engineering · Computer Science 2025-08-08 Gang Xu , Airong Wang , Yushan Pan

Recent advances in AI reasoning models provide unprecedented transparency into their decision-making processes, transforming them from traditional black-box systems into models that articulate step-by-step chains of thought rather than…

Software Engineering · Computer Science 2025-03-04 Christoph Treude , Raula Gaikovina Kula

The rapid emergence of generative AI tools is transforming the way software is developed. Consequently, software engineering education must adapt to ensure that students not only learn traditional development methods but also understand how…

Software Engineering · Computer Science 2025-12-08 Uwe M. Borghoff , Mark Minas , Jannis Schopp

Artificial intelligence (AI) advancements over the past few years have had an unprecedented and revolutionary impact across everyday application areas. Its significance also extends to technical challenges within science and engineering,…

Since the invention of computers, communication through natural language (actual human language) has been a dream technology. However, natural language is extremely difficult to mathematically formulate, making it difficult to realize as an…

Computation and Language · Computer Science 2023-10-11 Masahiro Yamamoto

How can we use generative AI to design tools that augment rather than replace human cognition? In this position paper, we review our own research on AI-assisted decision-making for lessons to learn. We observe that in both AI-assisted…

Human-Computer Interaction · Computer Science 2025-04-07 Zelun Tony Zhang , Leon Reicherts

Recent progress in artificial intelligence (AI) has renewed interest in building systems that learn and think like people. Many advances have come from using deep neural networks trained end-to-end in tasks such as object recognition, video…

Artificial Intelligence · Computer Science 2016-11-03 Brenden M. Lake , Tomer D. Ullman , Joshua B. Tenenbaum , Samuel J. Gershman

There are obvious benefits to integrating generative AI (artificial intelligence) into language learning and teaching. Those include using AI as a language tutor, creating learning materials, or assessing learner output. However, due to how…

Computation and Language · Computer Science 2024-10-21 Robert Godwin-Jones`

Technological advances in the context of digital transformation are the basis for rapid developments in the field of artificial intelligence (AI). Although AI is not a new topic in computer science (CS), recent developments are having an…

Computers and Society · Computer Science 2023-05-12 Tilman Michaeli , Stefan Seegerer , Ralf Romeike

This paper is an opinion paper that looks at the future of computing in the age of Generative \& Agentic AI. Current software systems are static and inflexible, leading to significant challenges in translating human goals into computational…

Software Engineering · Computer Science 2024-08-06 Jules White

Generative AI systems have entered everyday academic, professional, and personal life with remarkable speed, yet most users encounter them as mysterious artifacts rather than intelligible systems. This chapter discusses large language…

Computers and Society · Computer Science 2026-04-21 John T. Behrens