Thanks to the global supply chain and growth of middle-class culture, manufacturers are under tremendous pressure to make high quality goods that customer desire at a price they can afford. One technology that's increasingly being used to help manufacturers meet these requirements, grow their market share, and boost profitability is artificial intelligence. As MathWorks' Industry Manager for Industrial Automation & Machinery, Philipp Wallner has a front-row view into how some of the most advanced manufacturers are adopting technology, including modeling, simulation, digital twins, and AI. The company's two main offerings, the MATLAB statistical programming environment and SimuLink, which is used for modeling and simulation, are instrumental in meeting these goals. Based on Wallner's experience, there are three main ways that manufacturers are putting AI to use in their shops. Manufacturers typically run continuous operations, so any downtime for maintaining or repairing machinery directly impacts the bottom line.

Thanks to the global supply chain and growth of middle-class culture, manufacturers are under tremendous pressure to make high quality goods that customer desire at a price they can afford. One technology that's increasingly being used to help manufacturers meet these requirements, grow their market share, and boost profitability is artificial intelligence. As MathWorks' Industry Manager for Industrial Automation & Machinery, Philipp Wallner has a front-row view into how some of the most advanced manufacturers are adopting technology, including modeling, simulation, digital twins, and AI. The company's two main offerings, the MATLAB statistical programming environment and SimuLink, which is used for modeling and simulation, are instrumental in meeting these goals. Based on Wallner's experience, there are three main ways that manufacturers are putting AI to use in their shops.

Digital twins are emerging as a hot technology, particularly among manufacturers and companies involved with the Industrial Internet of Things. Depending on the use cases, though, customers may opt for one type of digital twin over another. To a certain extent, every digital twin is a unique creation. The ability to create a digitized copy of an actual physical asset, such as a wind turbine or a locomotive, and measure how that model responds and reacts to different inputs is the fundamental breakthrough that is driving adoption of digital twin technologies. But there are a few broad categories of digital twins, and companies that are considering adopting a digital twin would do well to explore how their use cases match up to these types.

The design of efficient solutions for abstract argumentation problems is a crucial step towards advanced argumentation systems. One of the most prominent approaches in the literature is to use Answer-Set Programming (ASP) for this endeavor. In this paper, we present new encodings for three prominent argumentation semantics using the concept of conditional literals in disjunctions as provided by the ASP-system clingo. Our new encodings are not only more succinct than previous versions, but also outperform them on standard benchmarks.