中文
相关论文

相关论文: SICStus Prolog -- the first 25 years

200 篇论文

Both logic programming in general, and Prolog in particular, have a long and fascinating history, intermingled with that of many disciplines they inherited from or catalyzed. A large body of research has been gathered over the last 50…

Even though the core of the Prolog programming language has been standardized by ISO since 1995, it remains difficult to write complex Prolog programs that can run unmodified on multiple Prolog implementations. Indeed, implementations…

编程语言 · 计算机科学 2022-05-10 David Geleßus , Michael Leuschel

The DISC project aims to (a) build an in-depth understanding of the state-of-the-art in spoken language dialogue systems (SLDSs) and components development and evaluation with the purpose of (b) developing a first best practice methodology…

计算与语言 · 计算机科学 2007-05-23 Niels Ole Bernsen , Laila Dybkjaer , eds.

SWI-Prolog is neither a commercial Prolog system nor a purely academic enterprise, but increasingly a community project. The core system has been shaped to its current form while being used as a tool for building research prototypes,…

编程语言 · 计算机科学 2010-11-26 Jan Wielemaker , Tom Schrijvers , Markus Triska , Torbjörn Lager

Coding standards and good practices are fundamental to a disciplined approach to software projects, whatever programming languages they employ. Prolog programming can benefit from such an approach, perhaps more than programming in other…

编程语言 · 计算机科学 2011-05-18 Michael A. Covington , Roberto Bagnara , Richard A. O'Keefe , Jan Wielemaker , Simon Price

In this paper we present Simgrid, a toolkit for the versatile simulation of large scale distributed systems, whose development effort has been sustained for the last fifteen years. Over this time period SimGrid has evolved from a…

分布式、并行与集群计算 · 计算机科学 2013-09-09 Henri Casanova , Arnaud Giersch , Arnaud Legrand , Martin Quinson , Frédéric Suter

Both Prolog and Oz are multiparadigm languages with a logic programming core. There is a significant subset of Oz that is a syntactic variant of Prolog: pure Prolog programs with green or blue cuts and bagof/3 or setof/3 can be translated…

编程语言 · 计算机科学 2023-02-02 Peter Van Roy , Seif Haridi

Software architecture (SA) is celebrating 25 years. This is so if we consider the seminal papers establishing SA as a distinct discipline and scientific publications that have identified cornerstones of both research and practice, like…

软件工程 · 计算机科学 2018-06-12 Henry Muccini , Patricia Lago , Karthik Vaidyanathan , Francesco Osborne , Eltjo Poort

The importance of coding guidelines is generally accepted throughout developers of every programming language. Naturally, Prolog makes no exception. However, establishing coding guidelines is fraught with obstacles: Finding common ground on…

编程语言 · 计算机科学 2019-09-19 Falco Nogatz , Philipp Körner , Sebastian Krings

(Non-)portability of Prolog programs is widely considered as an important factor in the lack of acceptance of the language. Since 1995, the core of the language is covered by the ISO standard 13211-1. Since 2007, YAP and SWI-Prolog have…

编程语言 · 计算机科学 2010-09-21 Jan Wielemaker , Vítor Santos Costa

Understanding the needs of a variety of distinct user groups is vital in designing effective, desirable dialogue systems that will be adopted by the largest possible segment of the population. Despite the increasing popularity of dialogue…

人机交互 · 计算机科学 2019-02-13 Libby Ferland , Thomas Huffstutler , Jacob Rice , Joan Zheng , Shi Ni , Maria Gini

From the earliest experiments in the 20th century to the utilization of large language models and transformers, dialogue systems research has continued to evolve, playing crucial roles in numerous fields. This paper offers a comprehensive…

计算与语言 · 计算机科学 2023-05-29 William Tholke

In spoken dialogue systems, we aim to deploy artificial intelligence to build automated dialogue agents that can converse with humans. Dialogue systems are increasingly being designed to move beyond just imitating conversation and also…

计算与语言 · 计算机科学 2021-11-03 Atharv Singh Patlan , Shiven Tripathi , Shubham Korde

Dialog systems research has primarily been focused around two main types of applications - task-oriented dialog systems that learn to use clarification to aid in understanding a goal, and open-ended dialog systems that are expected to carry…

计算与语言 · 计算机科学 2020-06-29 Aishwarya Padmakumar , Raymond J. Mooney

As part of a research on a novel in-process multiprogramming-language interoperability system, this study investigates the interoperability and usage of multiple programming languages within a large dataset of GitHub projects and Stack…

编程语言 · 计算机科学 2024-11-14 Tsvi Cherny-Shahar , Amiram Yehudai

This paper presents Dialogos, a real-time system for human-machine spoken dialogue on the telephone in task-oriented domains. The system has been tested in a large trial with inexperienced users and it has proved robust enough to allow…

Spoken Language Understanding (SLU) aims to extract the semantics frame of user queries, which is a core component in a task-oriented dialog system. With the burst of deep neural networks and the evolution of pre-trained language models,…

计算与语言 · 计算机科学 2021-05-11 Libo Qin , Tianbao Xie , Wanxiang Che , Ting Liu

Prototyping is one of the core activities of User-Centered Design (UCD) processes and an integral component of Human-Computer Interaction (HCI) research. For many years, prototyping was synonym of paper-based mockups and only more recently…

人机交互 · 计算机科学 2019-06-05 Thiago Rocha , Jean-Luc Hak , Marco Winckler , Olivier Nicolas

Efforts towards endowing robots with the ability to speak have benefited from recent advancements in natural language processing, in particular large language models. However, current language models are not fully incremental, as their…

计算与语言 · 计算机科学 2025-04-03 Casey Kennington , Pierre Lison , David Schlangen

ECLAIR is a Prolog-based prototype system aiming to provide a functionally complete environment for the study, development and evaluation of programming language analysis and implementation tools. In this paper, we sketch the overall…

编程语言 · 计算机科学 2007-11-06 Roberto Bagnara , Patricia Hill , Enea Zaffanella
‹ 上一页 1 2 3 10 下一页 ›