English
Related papers

Related papers: Business Negotiation Definition Language

200 papers

Neural end-to-end goal-oriented dialog systems showed promise to reduce the workload of human agents for customer service, as well as reduce wait time for users. However, their inability to handle new user behavior at deployment has limited…

Computation and Language · Computer Science 2019-07-18 Janarthanan Rajendran , Jatin Ganhotra , Lazaros Polymenakos

The paper describes problem-oriented approach to software development. The approach is a part of the original integrated methodology of enterprise Internet-based software design and implementation. All aspects of software development, from…

Software Engineering · Computer Science 2007-05-23 Sergey V. Zykov

In this paper we study the complexity of strategic argumentation for dialogue games. A dialogue game is a 2-player game where the parties play arguments. We show how to model dialogue games in a skeptical, non-monotonic formalism, and we…

Logic in Computer Science · Computer Science 2013-12-17 Guido Governatori , Francesco Olivieri , Simone Scannapieco , Antonino Rotolo , Matteo Cristani

Game Logic is an excellent setting to study proofs-about-programs via the interpretation of those proofs as programs, because constructive proofs for games correspond to effective winning strategies to follow in response to the opponent's…

Logic in Computer Science · Computer Science 2022-10-07 Rose Bohrer , André Platzer

User simulators serve as the critical interactive environment for agent post-training, and an ideal user simulator generalizes across domains and proactively engages in negotiation by challenging or bargaining. However, current methods…

Computation and Language · Computer Science 2026-01-15 Feng Zhang , Shijia Li , Chunmao Zhang , Zhanyu Ma , Jun Xu , Jiuchong Gao , Jinghua Hao , Renqing He , Jingwen Xu , Han Liu

We consider a simple extension of logic programming where variables may range over goals and goals may be arguments of predicates. In this language we can write logic programs which use goals as data. We give practical evidence that, by…

Programming Languages · Computer Science 2007-05-23 Alberto Pettorossi , Maurizio Proietti

This position paper provides an interim summary on the goals and current state of our ongoing research project on semantic model differencing for software evolution. We describe the basics of semantic model differencing, give two examples…

Software Engineering · Computer Science 2014-09-02 Shahar Maoz , Jan Oliver Ringert , Bernhard Rumpe

This paper builds upon recent work in the declarative design of dialogue agents and proposes an exciting new tool -- D3BA -- Declarative Design for Digital Business Automation, built to optimize business processes using the power of AI…

Artificial Intelligence · Computer Science 2020-02-06 Tathagata Chakraborti , Yasaman Khazaeni

Speakers communicate to influence their partner's beliefs and shape their actions. Belief- and action-based objectives have been explored independently in recent computational models, but it has been challenging to explicitly compare or…

Computation and Language · Computer Science 2021-05-26 Theodore R. Sumers , Robert D. Hawkins , Mark K. Ho , Thomas L. Griffiths

"Natural languages are programming languages for minds." Can we or should we take this slogan seriously? If so, how? Can answers be found by looking at the various "dynamic" treatments of natural language developed over the last decade or…

cmp-lg · Computer Science 2008-02-03 David Israel

Cloud computing allows subscription based access to computing. It also allows storage services over Internet. Automated Negotiation is becoming an emerging, and important area in the field of Multi Agent Systems in ECommerce. Multi Agent…

Multiagent Systems · Computer Science 2013-11-26 Amruta More , Sheetal Vij , Debajyoti Mukhopadhyay

This paper presents a SysML profile that enables the direct integration of planning semantics based on the Planning Domain Definition Language (PDDL) into system models. Reusable stereotypes are defined for key PDDL concepts such as types,…

Artificial Intelligence · Computer Science 2025-06-10 Hamied Nabizada , Tom Jeleniewski , Lasse Beers , Maximilian Weigand , Felix Gehlhoff , Alexander Fay

This paper describes the model of social practice as a theoretical framework to manage conversation with the specific goal of training physicians in communicative skills. To this aim, the domain reasoner that manages the conversation in the…

Artificial Intelligence · Computer Science 2022-06-14 Agnese Augello , Manuel Gentile , Frank Dignum

In many problems that involve multiple decision making agents, optimal choices for each agent depend on the choices of others. Differential game theory provides a principled formalism for expressing these coupled interactions and recent…

Multiagent Systems · Computer Science 2020-04-07 Lasse Peters , Zachary N. Sunberg

This paper presents a new and original first approach to agreement situations as well as to regulations constructions. This is made by giving a mathematical formalization to the set of all possible deals or regulations, such that then, the…

Optimization and Control · Mathematics 2024-02-02 Jon Benito-Ostolaza , María Jesús Campión , Asier Estevan

In online second-hand marketplaces, multi-turn bargaining is a crucial part of seller-buyer interactions. Large Language Models (LLMs) can act as seller agents, negotiating with buyers on behalf of sellers under given business constraints.…

Artificial Intelligence · Computer Science 2025-09-09 Issue Yishu Wang , Kakam Chong , Xiaofeng Wang , Xu Yan , DeXin Kong , Chen Ju , Ming Chen , Shuai Xiao , Shuguang Han , jufeng chen

The Naming Game has been studied to explore the role of self-organization in the development and negotiation of linguistic conventions. In this paper, we define an automata networks approach to the Naming Game. Two problems are faced: (1)…

Computation and Language · Computer Science 2016-04-08 Javier Vera , Pedro Montealegre , Eric Goles

Diplomacy is one of the most sophisticated activities in human society, involving complex interactions among multiple parties that require skills in social reasoning, negotiation, and long-term strategic planning. Previous AI agents have…

Artificial Intelligence · Computer Science 2025-12-22 Zhenyu Guan , Xiangyu Kong , Fangwei Zhong , Yizhou Wang

The architectural aspects of software systems are not always explicitly exposed to customers when a product is presented to them by software vendors. Therefore, customers might be put at a major risk if new emerging business needs come to…

Software Engineering · Computer Science 2012-10-16 Basem Y. Alkazemi

Requirements engineering plays a critical role in developing software systems. One of the most difficult tasks in this process is identifying functional requirements. A critical problem in many projects is missing requirements until late in…

Software Engineering · Computer Science 2020-04-02 Sabah Al-Fedaghi