English
Related papers

Related papers: SICStus Prolog -- the first 25 years

200 papers

SASyLF was released in 2008 and used as a proof assistant in courses at several universities. It proved itself useful and has continued to be used, and each iteration of use has encouraged further development: fixing bugs and adding…

Logic in Computer Science · Computer Science 2022-02-09 John Tang Boyland

Despite AI advancements, individuals without software or hardware expertise still face barriers in designing wearable electronic devices due to the lack of code-free prototyping tools. To eliminate these barriers, we designed ProtoBot,…

Human-Computer Interaction · Computer Science 2024-10-14 İhsan Ozan Yıldırım , Cansu Çetin Er , Ege Keskin , Murat Kuşcu , Oğuzhan Özcan

As practitioners increasingly deploy machine learning models in critical domains such as health care, finance, and policy, it becomes vital to ensure that domain experts function effectively alongside these models. Explainability is one way…

Machine Learning · Computer Science 2022-02-07 Himabindu Lakkaraju , Dylan Slack , Yuxin Chen , Chenhao Tan , Sameer Singh

This paper proposes to refer to the field of software engineering related to the life cycle of dialogue systems as Dialogue Systems Engineering, and surveys this field while also discussing its future directions. With the advancement of…

Software Engineering · Computer Science 2025-08-05 Mikio Nakano , Hironori Takeuchi , Sadahiro Yoshikawa , Yoichi Matsuyama , Kazunori Komatani

Currently, software industries are using different SDLC (software development life cycle) models which are designed for specific purposes. The use of technology is booming in every perspective of life and the software behind the technology…

Software Engineering · Computer Science 2018-07-17 AZM Ehtesham Chowdhury , Abhijit Bhowmik , Hasibul Hasan , Md Shamsur Rahim

This research aims to investigate the dynamic nature of linguistic style throughout various stages of life, from post teenage to old age. By employing linguistic analysis tools and methodologies, the study will delve into the intricacies of…

Computation and Language · Computer Science 2025-01-07 Surbhit Kumar

ChatGPT has achieved great success and can be considered to have acquired an infrastructural status. There are abundant works for evaluating ChatGPT on benchmarks. However, existing benchmarks encounter two challenges: (1) Disregard for…

Computation and Language · Computer Science 2024-06-19 Shangqing Tu , Chunyang Li , Jifan Yu , Xiaozhi Wang , Lei Hou , Juanzi Li

Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. While Datalog-based languages have been actively explored for…

Programming Languages · Computer Science 2010-07-23 Nuno P. Lopes , Juan A. Navarro , Andrey Rybalchenko , Atul Singh

There have been incredible advancements in robotics and spoken dialogue systems (SDSs) over the past few years, yet we still don't find social robots in public spaces like train stations, shopping malls, or hospital waiting rooms. In this…

Human-Computer Interaction · Computer Science 2024-01-18 Angus Addlesee , Ioannis Papaioannou , Oliver Lemon

Procedural computer languages have long been used in many aspects of mathematics pedagogy. In this work, we examine the use of Prolog, a declarative language for the same purpose. We find the facts+rules aspect of Prolog to be a novel…

Computers and Society · Computer Science 2021-08-24 Tom Bensky

During the last decade, much attention has been paid to language competition in the complex systems community, that is, how the fractions of speakers of several competing languages evolve in time. In this paper we review recent advances in…

Physics and Society · Physics 2012-06-15 M. Patriarca , X. Castelló , J. R. Uriarte , V. M. Eguíluz , M. San Miguel

Conversational recommender systems (CRSs) provide users with an interactive means to express preferences and receive real-time personalized recommendations. The success of these systems is heavily influenced by the preference elicitation…

Human-Computer Interaction · Computer Science 2025-04-22 Ivica Kostric , Krisztian Balog , Ujwal Gadiraju

Prompt engineering has made significant contributions to the era of large language models, yet its effectiveness depends on the skills of a prompt author. This paper introduces $\textit{iPrOp}$, a novel interactive prompt optimization…

Computation and Language · Computer Science 2025-06-30 Jiahui Li , Roman Klinger

Several surveys and studies have noticed that cost, and quality problems result from mistakes that occurred in the early phases of the projects, for instance: poor definition of the project vision and respective value for the organization;…

Software Engineering · Computer Science 2022-06-30 Alberto Rodrigues da Silva

The success of the VisIt visualization system has been wholly dependent upon the culture and practices of software development that have fostered its welcome by users and embrace by developers and researchers. In the following paper, we,…

Software Engineering · Computer Science 2013-09-10 Sean Ahern , Eric Brugger , Brad Whitlock , Jeremy S. Meredith , Kathleen Biagas , Mark C. Miller , Hank Childs

Large Language Models (LLMs) have great potential in the field of health care, yet they face great challenges in adapting to rapidly evolving medical knowledge. This can lead to outdated or contradictory treatment suggestions. This study…

Computation and Language · Computer Science 2025-09-09 Weiyi Wu , Xinwen Xu , Chongyang Gao , Xingjian Diao , Siting Li , Lucas A. Salas , Jiang Gui

This paper surveys and organizes research works on medical dialog systems, which is an important yet challenging task. Although these systems have been surveyed in the medical community from an application perspective, a systematic review…

Computation and Language · Computer Science 2024-05-20 Xiaoming Shi , Zeming Liu , Li Du , Yuxuan Wang , Hongru Wang , Yuhang Guo , Tong Ruan , Jie Xu , Shaoting Zhang

Effective human-robot collaboration hinges on robust communication channels, with visual signaling playing a pivotal role due to its intuitive appeal. Yet, the creation of visually intuitive cues often demands extensive resources and…

Robotics · Computer Science 2024-09-24 Shubham Sonawani , Fabian Weigend , Heni Ben Amor

Social robots, also known as service or assistant robots, have been developed to improve the quality of human life in recent years. The design of socially capable and intelligent robots can vary, depending on the target user groups. In this…

Robotics · Computer Science 2018-08-02 Xiaodong Wu , Lyn Bartram

Comparison of RISC & CISC in details, encompassing the addressing modes, evolution, definitions and characteristics. Pre - RISC design is also elaborated. Both the architectures are explained with the help of example. Analysis is made based…

Hardware Architecture · Computer Science 2013-02-22 Farhat Masood