Results 111 to 120 of about 45,694 (311)

The epistemic logic behind the game description language

, 2011
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL, a variant of Datalog with function symbols and a few known keywords.
Ruan, Ji, Ji Ruan, Michael Thielscher, Thielscher, Michael (R17795), Thielscher, Michael   +4 more
core   +1 more source

Intelligent Sky Guardians (InSkyGuard): An Aerial Robotic Swarm for Autonomous Detection and Entrapment of Rogue Multirotors

Advanced Robotics Research, EarlyView.
Intelligent Sky Guardians (InSkyGuard) is introduced as a four‐drone swarm that autonomously detects, tracks, and safely captures rogue drones using a coordinated net system. Computer vision and leader–follower control architecture enable synchronized enclosure, while integrated failsafes enhance system reliability. Validated through closed‐environment
Joshua Hastings, Levanya Dewanarayana, Iline Shaju, Haider Al‐Wizni, Sampson Marquis, Weicheng Huang, Pooya Sareh   +6 more
wiley   +1 more source

Belief change in branching time: AGM-consistency and iterated revision [PDF]

We study belief change branching-time structures. First, we identify a property of branching-time frames that is equivalent to AGM-consistency, which is defined as follows. A frame is AGM-consistent if the partial belief revision function associated with
Giacomo Bonanno
core  

Cross Kingdom Metabolic Engineering Paradigm Elevating Sustainable Protein Production

Advanced Science, EarlyView.
ABSTRACT Confronting the dual crisis of escalating global protein demand and unsustainable agriculture necessitates transformative solutions. Here, we pioneer evolutionary insights from maize nitrogen optimization via asparagine synthetase (ASNS) to rewire metabolism in Pichia pastoris.
Yuanyuan Du, Changyu Pi, Kai Hong, Le Gao, Xin Wu   +4 more
wiley   +1 more source

Forgetting for Defeasible Logic

, 2012
The concept of forgetting has received significant interest in artificial intelligence recently. Informally, given a knowledge base, we may wish to forget about (or discard) some redundant parts (such as atoms, predicates, concepts, etc) but still ...
Eiter, Thomas, Wang, Kewen, Thomas Eiter, Kewen Wang, Antoniou, Grigoris, Grigoris Antoniou   +5 more
core   +1 more source

An On‐Demand Neuromorphic Vision System Enabled by a Multi‐Paradigm Neuromorphic Device and Hierarchical Reconfigurability Designed from Device to System Level

Advanced Science, EarlyView.
An on‐demand ultra‐reconfigurable intelligent vision system with hierarchical reconfigurability from device to system levels is demonstrated. Through co‐design of a multi‐paradigm device, reconfigurable circuits, and adaptive system architecture/algorithms, the system enables seamless switching among spiking, non‐spiking, neuromorphic imaging (NI), and
Biyi Jiang, Jiayi Xu, Liang Ran, Xinhe Feng, Khalil Harrabi, Yida Li, Longyang Lin, Feichi Zhou   +7 more
wiley   +1 more source

Full‐Body AI Agent: A Perspective on Multi‐Scale Collaborative AI for Systemic Biology and Precision Medicine

Advanced Science, EarlyView.
We propose the Full‐Body AI Agent, a multi‐scale collaborative framework with 7 biological‐layer agents. It unifies multi‐omics/clinical data via standardized protocols, enabling phenotype‐guided closed‐loop reasoning, quantitative evaluation, and LLM safeguards, with promising applications in tumor metastasis modeling and precision drug development ...
Aoqi Wang, Jiajia Liu, Jianguo Wen, Yangyang Luo, Zhiwei Fan, Liren Yang, Xi Hu, Ruihan Luo, Yankai Yu, Sophia Li, Weiling Zhao, Xiaobo Zhou   +11 more
wiley   +1 more source

The Promise of Artificial Intelligence in Reshaping Anticancer Drug Development

Cells
While the concept of artificial intelligence (AI) has deep historical roots, its development as a formal scientific field was initiated in the 1950s by Newell and Simon, who invented a “thinking machine” called the Logic Theorist [...]
Kostas A. Papavassiliou, Amalia A. Sofianidi, Vassiliki A. Gogou, Athanasios G. Papavassiliou   +3 more
doaj   +1 more source

Ordered completion for first-order logic programs on finite structures

, 2010
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introduce ordered completions which are modifications of Clark's completions with
Zhang, Yan (R8899), Asuncion, Vernon (R18659), Zhou, Yi, Asuncion, Vernon, Zhang, Yan, Lin, Fangzhen, Zhou, Yi (R12034)   +6 more
core   +1 more source

An Integrated NLP‐ML Framework for Property Prediction and Design of Steels

Advanced Science, EarlyView.
This study presents a data‐driven framework that uses language‐processing techniques to interpret steel processing descriptions and machine‐learning models to predict mechanical properties. By organising complex process histories into meaningful groups and enabling rapid property forecasts, the work supports faster, more informed steel design through ...
Kiran Devraju, Adithya Umanath Rai, Jose Thomson, Marzie Ghorbani, Shujing Zhao, Nick Birbilis   +5 more
wiley   +1 more source