English
Related papers

Related papers: Event Loops as First-Class Values: A Case Study in…

200 papers

A model is a simplified representation of portion of reality that hides a system s nonessential characteristics. It provides a means for reducing complexity as well as visualization and communication and a basis for building it. Most models…

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

Many hallmarks of human intelligence, such as generalizing from limited experience, abstract reasoning and planning, analogical reasoning, creative problem solving, and capacity for language require the ability to consolidate experience…

Artificial Intelligence · Computer Science 2018-11-07 Igor Mordatch

Large Language Models (LLMs) have upended decades of pedagogy in computing education. Students previously learned to code through \textit{writing} many small problems with less emphasis on code reading and comprehension. Recent research has…

The notion of events has occupied a central role in modeling and has an influence in computer science and philosophy. Recent developments in diagrammatic modeling have made it possible to examine conceptual representation of events. This…

Artificial Intelligence · Computer Science 2017-04-28 Sabah Al-Fedaghi

Past work has studied event prediction and event language modeling, sometimes mediated through structured representations of knowledge in the form of event schemas. Such schemas can lead to explainable predictions and forecasting of unseen…

Computation and Language · Computer Science 2023-05-25 Anisha Gunjal , Greg Durrett

Epsilon is an extensible platform of integrated and task-specific languages for model management. With solutions to the 2011 TTC Hello World case, this paper demonstrates some of the key features of the Epsilon Object Language (an extension…

Solving math story problems is a complex task for students and NLP models alike, requiring them to understand the world as described in the story and reason over it to compute an answer. Recent years have seen impressive performance on…

Computation and Language · Computer Science 2025-02-27 Andreas Opedal , Niklas Stoehr , Abulhair Saparov , Mrinmaya Sachan

Determining the role of event arguments is a crucial subtask of event extraction. Most previous supervised models leverage costly annotations, which is not practical for open-domain applications. In this work, we propose to use global…

Computation and Language · Computer Science 2023-02-10 Zizheng Lin , Hongming Zhang , Yangqiu Song

Evaluating the reasoning ability of language models (LMs) is complicated by their extensive parametric world knowledge, where benchmark performance often reflects factual recall rather than genuine reasoning. Existing datasets and…

Computation and Language · Computer Science 2026-03-11 Ken Gu , Advait Bhat , Mike A Merrill , Robert West , Xin Liu , Daniel McDuff , Tim Althoff

Many scientific fields, from medicine to seismology, rely on analyzing sequences of events over time to understand complex systems. Traditionally, machine learning models must be built and trained from scratch for each new dataset, which is…

Machine Learning · Computer Science 2026-01-21 David Berghaus , Patrick Seifner , Kostadin Cvejoski , Ramses J. Sanchez

With the rise of data-centric process management paradigms, interdependent processes, such as artifacts or object lifecycles, form a business process through their interactions. Coordination processes may be used to coordinate these…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-12-16 Sebastian Steinau , Kevin Andrews , Manfred Reichert

This paper has a dual character, combining a philosophical ontological exploration with a conceptual modeling approach in systems and software engineering. Such duality is already practiced in software engineering, in which the current…

Software Engineering · Computer Science 2023-02-15 Sabah Al-Fedaghi

A formal consideration in this paper is given for the essential notations to characterize the object that is distinguished in a problem domain. The distinct object is represented by another idealized object, which is a schematic element.…

Logic in Computer Science · Computer Science 2007-05-23 Viacheslav Wolfengagen

In this paper, we present event constraints as a new modeling paradigm that generalizes joint chance constraints from stochastic optimization to (1) enforce a constraint on the probability of satisfying a set of constraints aggregated via…

Optimization and Control · Mathematics 2025-01-14 Daniel Ovalle , Stefan Mazzadi , Carl D. Laird , Ignacio E. Grossmann , Joshua L. Pulsipher

This paper is a sequel to an evolving research project on a diagrammatic methodology called thinging machine (TM). Initially, it was proposed as a base for conceptual modelling (e.g., conceptual UML) in areas such as requirement…

Software Engineering · Computer Science 2025-01-03 Sabah Al-Fedaghi

In this position paper, we would like to offer and defend a new template to study equivalences between programs -- in the particular framework of process algebras for concurrent computation.We believe that our layered model of development…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-10-06 Clément Aubert , Daniele Varacca

World models, which are predictive representations of how environments evolve under actions, have become a central component of robot learning. They support policy learning, planning, simulation, evaluation, data generation, and have…

World models are central to LLM agents that must evaluate actions over long horizons. Yet much existing work focuses on environments governed by physical dynamics or spatial structure, whereas many high-impact domains, including supply…

Artificial Intelligence · Computer Science 2026-05-22 Zheyu Chen , Huiteng Zhuang , Zhuohuan Li , Chuanhao Li

World modelling, i.e. building a representation of the rules that govern the world so as to predict its evolution, is an essential ability for any agent interacting with the physical world. Recent applications of the Transformer…

Machine Learning · Computer Science 2024-05-31 Francesco Petri , Luigi Asprino , Aldo Gangemi

Building on the classroom framework in Heath et al. (2025), this paper proposes FLARE v2 as a recursive, semiotically informed account of how program meaning can be described across abstraction scales in common teaching languages. It…

Computers and Society · Computer Science 2025-12-17 Justin Heath