We investigate the data complexity of the satisfiability problem for the very expressive description logic ZOIQ (a.k.a. ALCHb Self reg OIQ) over quasi-forests and establish its NP-completeness. This completes the data complexity landscape for decidable fragments of ZOIQ, and reproves known results on decidable fragments of OWL2 (SR family). Using the same technique, we establish coNEXPTIME-completeness (w.r.t. the combined complexity) of the entailment problem of rooted queries in ZIQ.

Large penetration of renewable energy sources (RESs) brings huge uncertainty into the electricity markets. While existing deterministic market clearing fails to accommodate the uncertainty, the recently proposed stochastic market clearing struggles to achieve desirable market properties. In this work, we propose a value-oriented forecasting approach, which tactically determines the RESs generation that enters the day-ahead market. With such a forecast, the existing deterministic market clearing framework can be maintained, and the day-ahead and real-time overall operation cost is reduced. At the training phase, the forecast model parameters are estimated to minimize expected day-ahead and real-time overall operation costs, instead of minimizing forecast errors in a statistical sense. Theoretically, we derive the exact form of the loss function for training the forecast model that aligns with such a goal. For market clearing modeled by linear programs, this loss function is a piecewise linear function. Additionally, we derive the analytical gradient of the loss function with respect to the forecast, which inspires an efficient training strategy. A numerical study shows our forecasts can bring significant benefits of the overall cost reduction to deterministic market clearing, compared to quality-oriented forecasting approach.

If you ever had pastries at breakfast, drank soy milk, used soaps at home, or built yourself a nice flat-pack piece of furniture, you may have contributed to deforestation and climate change. Every item has a price--but the cost isn't felt only in our pockets. Hidden in that price is a complex chain of production, encompassing economic, social, and environmental relations that sustain livelihoods and, unfortunately, contribute to habitat destruction, deforestation, and the warming of our planet. Approximately 4 billion hectares of forest around the world act as a carbon sink which, over the past two decades, has annually absorbed a net 7.6 billion metric tons of CO2. Conversely, a cleared forest becomes a carbon source.

Measures of allocation optimality differ significantly when distributing standard tradable goods in peaceful times and scarce resources in crises. While realistic markets offer asymptotic efficiency, they may not necessarily guarantee fair allocation desirable when distributing the critical resources. To achieve fairness, mechanisms often rely on a central authority, which may act inefficiently in times of need when swiftness and good organization are crucial. In this work, we study a hybrid trading system called Crisdis, introduced by Jedli\v{c}kov\'{a} et al., which combines fair allocation of buying rights with a market - leveraging the best of both worlds. A frustration of a buyer in Crisdis is defined as a difference between the amount of goods they are entitled to according to the assigned buying rights and the amount of goods they are able to acquire by trading. We define a Price of Anarchy (PoA) in this system as a conceptual analogue of the original definition in the context of frustration. Our main contribution is a study of PoA in realistic complex double-sided market mechanisms for Crisdis. The performed empirical analysis suggests that in contrast to market free of governmental interventions, the PoA in our system decreases.

This work proposes aesthetic gradients, a method to personalize a CLIP-conditioned diffusion model by guiding the generative process towards custom aesthetics defined by the user from a set of images. The approach is validated with qualitative and quantitative experiments, using the recent stable diffusion model and several aesthetically-filtered datasets. Code is released at https://github.com/

Just tweet at us @max_elbo #create and generate images from text. Join our monthly plan to generate more images or publish them as NFTs.

Raise your hand if you've been caught in the confusion of differentiating artificial intelligence (AI) vs machine learning (ML) vs deep learning (DL)… Bring down your hand, buddy, we can't see it! Although the three terminologies are usually used interchangeably, they do not quite refer to the same things. Andrey Bulezyuk, who is a German-based computer expert and has more than five years of experience in teaching people how artificial intelligence systems work, says that "practitioners in this field can clearly articulate the differences between the three closely-related terms." Therefore, is there a difference between artificial intelligence, machine learning, and deep learning? As you can see on the above image of three concentric circles, DL is a subset of ML, which is also a subset of AI.

A hallmark of human intelligence is the ability to understand and communicate with language. Interactive Fiction games are fully text-based simulation environments where a player issues text commands to effect change in the environment and progress through the story. We argue that IF games are an excellent testbed for studying language-based autonomous agents. In particular, IF games combine challenges of combinatorial action spaces, language understanding, and commonsense reasoning. To facilitate rapid development of language-based agents, we introduce Jericho, a learning environment for man-made IF games and conduct a comprehensive study of text-agents across a rich set of games, highlighting directions in which agents can improve.

Machine learning (ML) is another emerging technology where machines can learn on their own.

These may include misspellings and typos, elisions/omissions, unusual phrasing/syntactic structures, the wrong word(s) being used, negations ("not x"), things that have only just happened etc. etc. etc.