Results 101 to 110 of about 90,486 (306)
The future of dispute resolution in international trade
Abstract Given ongoing dysfunction of the World Trade Organization's Appellate Body, the focus of this article is on the future of trade dispute resolution, with evaluation of two questions: (i) What is the current status of WTO dispute resolution as compared to that conducted through existing preferential trade agreements (PTAs)? and (ii) What are the
Ian Sheldon, Daniel C. K. Chow
wiley +1 more source
Modal Logic, Probability and Machine Learning Systems for Metadata Extraction
Artificial intelligence, since its inception, has had two major subfields, namely: logical reasoning and machine learning. Despite this, the interactions between these two fields have been relatively limited.
Simone Cuconato
doaj +1 more source
Function-Based Search of Place Using Theoretical, Empirical and Probabilistic Patterns
Searching for places rather than traditional keyword-based search represents significant challenges. The most prevalent method of addressing place-related queries is based on place names but has limited potential due to the vagueness of natural language ...
Emmanuel Papadakis+3 more
doaj +1 more source
The Complexity of Probabilistic Justification Logic [PDF]
Probabilistic justification logic is a modal logic with two kind of modalities: probability measures and explicit justification terms. We present a tableau procedure that can be used to decide the satisfiability problem for this logic in polynomial space. We show that this upper complexity bound is tight.
arxiv
Probabilistic and Logical Beliefs [PDF]
This paper proposes a method of integrating two different concepts of belief in artificial intelligence: belief as a probability distribution and belief as a logical formula. The setting for the integration is a highly expressive logic. The integration is explained in detail, as its comparison to other approaches to integrating logic and probability ...
Kee Siong Ng, John W. Lloyd
openaire +2 more sources
Abstract Indoor agriculture (IA) presents a pathway to producing leafy greens more sustainably by strictly controlling the growing environment, increasing the efficiency of water and land resources use, reducing pesticide application, and enhancing quality characteristics.
Joseph Seong+3 more
wiley +1 more source
ProbLog2: Probabilistic Logic Programming [PDF]
We present ProbLog2, the state of the art implementation of the probabilistic programming language ProbLog. The ProbLog language allows the user to intuitively build programs that do not only encode complex interactions between a large sets of heterogenous components but also the inherent uncertainties that are present in real-life situations.
Dries, Anton+6 more
openaire +3 more sources
Abstract Futures markets are critical to price discovery and often dominate spot markets. We analyze the linkages between daily corn futures and spot prices in the United States using dynamic time warping. This nonparametric pattern recognition technique has several advantages over traditional time series methods.
Dragan Miljkovic+2 more
wiley +1 more source
Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals [PDF]
Probabilistic team semantics is a framework for logical analysis of probabilistic dependencies. Our focus is on the axiomatizability, complexity, and expressivity of probabilistic inclusion logic and its extensions. We identify a natural fragment of existential second-order logic with additive real arithmetic that captures exactly the expressivity of ...
arxiv
Foreign labor, peer‐networking and agricultural efficiency in the Italian dairy sector
Abstract While the presence of immigrants in the agricultural sector is widely acknowledged, the empirical evidence on its economic consequences is lacking, especially from a microeconomic perspective. Using the Farm Accountancy Data Network panel data for Italian dairy farms in the period 2008–2018, the present study investigates the relationship ...
Federico Antonioli+2 more
wiley +1 more source