Business Processes Veri fication with Temporal Answer Set Programming
The paper provides a framework for the verification of business processes, based on an extension of answer set programming (ASP) with temporal logic and constraints.
SPIOTTA, Matteo +4 more
core +1 more source
Keeping Pace or Falling Behind? The Depth of Latin American Trade Agreements
ABSTRACT This article examines whether Latin American countries are keeping pace with global trends in trade agreement depth or falling behind. Using 681 agreements (1970–2019), we develop the Depth Index of Trade Agreements (DITA) to weight provisions endogenously through factor analysis based on co‐occurrence patterns.
Raphael Gomes da Silva +2 more
wiley +1 more source
Modelling and Predictive Monitoring of Business Processes under Uncertainty with Reinforcement Learning. [PDF]
Bousdekis A +5 more
europepmc +1 more source
Temporary Programs, Lasting Questions: Ad Hoc Assistance in the U.S. Farm Safety Net
ABSTRACT Large ad hoc assistance programs have returned to U.S. farm policy since 2017, operating alongside a more developed safety net built around federally subsidized crop insurance, Title I commodity programs, and standing disaster assistance. This paper reviews the renewed use of ad hoc assistance, documents its recent scale using USDA data, and ...
Alejandro Plastina +1 more
wiley +1 more source
An Integrated Framework for Fault Resolution in Business Processes. [PDF]
Zahid MA +5 more
europepmc +1 more source
06291 Abstracts Collection – The Role of Business Processes in Service-Oriented Architectures [PDF]
The Dagstuhl seminar on \emph{The Role of Business Processes in Service Oriented Architectures} (Seminar 06291) took place in July 2006 (16.07.2006-21.07.2006 to be precise).
Leymann, Frank +3 more
core +1 more source
Rural Labor Supply and Economic Opportunities: Commuting, Migration, Tariffs, and Immigration
ABSTRACT Some rural counties remain dependent on agricultural or manufacturing jobs, but an increasing proportion have diversified economics. Rural counties also differ in their abilities to commute to an urban market characterized by higher wages and labor productivity.
Peter F. Orazem, Mary C. Ahearn
wiley +1 more source
BP-DEBUG: A Fault Debugging and Resolution Tool for Business Processes. [PDF]
Zahid MA +4 more
europepmc +1 more source
Towards a Non-workflow Theory of Business Processes
The keynote overviews the efforts of a group of researchers and practitioners to build and test a theory of business processes (BP) that could be of use for building non-workflow based business processes support (BPS) systems.
Ilia Bider, Bider, Ilia,
core +1 more source
Farmers' Preferences for Gene Editing Crops and Influencing Factors
ABSTRACT Gene editing (GE) is gaining momentum worldwide, but limited data on UK farmers' preferences hinders our understanding of its potential impact amid deregulation debates. Based on a survey of 200 English arable farmers, we employ a Latent Class Analysis and Multinomial Logit regressions to investigate current preferences for GE crops.
Bertolozzi‐Caredio Daniele +1 more
wiley +1 more source

