Results 101 to 110 of about 26,020 (289)

New foundations for automation of default reasoning

, 2000
Linke T. New foundations for automation of default reasoning. Dissertationen zur künstlichen Intelligenz ; 237. Berlin: Akad. Verl.-Ges.
Linke, Thomas
core  

Integrated Use of System Z for Preferred Answer Set Programming

Proceedings of the International Florida Artificial Intelligence Research Society Conference
Answer set programming (ASP) and conditional reasoning are powerful KR formalisms capable of expressing default statements that usually hold but also allow for exceptions. While ASP excels with an intuitive rule-based syntax, fast solvers, and is suited
Marco Wilhelm, Andre Thevapalan, Gabriele Kern-Isberner   +2 more
doaj   +1 more source

3D‐Printing Aided Rapid Prototyping of Pretensioned Tensegrity Structures for Robotic Applications

Advanced Robotics Research, EarlyView.
Printing, injection molding, and assembly (PMA) is a method for rapid prototyping mesoscale, topologically complex, and tensioned tensegrity structures. In combination with PMA method, two mold design strategies: modular mold and compact channel layout, enable efficiency and scalability for tensegrity fabrication.
Yi Sun, Jan Petrš, Omar Aloui, Dario Floreano   +3 more
wiley   +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

What the Lottery Paradox Tells Us About Default Reasoning

, 1989
In this paper I argue that we do not understand the process of default reasoning. A number of examples are given which serve to distinguish different default reasoning systems.
David Poole
core  

Unraveling the Molecular Mechanisms Underlying Spontaneous Multipolar Mitosis Through CIN‐seq

Advanced Science, EarlyView.
Multipolar mitosis, a hallmark of chromosomal instability (CIN), drives tumor heterogeneity but is challenging to study in live cells. Using CIN‐seq, a single‐cell multiomics method, we profiled rare CIN events and identified mechanisms associated with viable multipolar mitosis, including PTEN attenuation, Rho GTPase‐driven cytokinesis failure, and ...
Pin‐Rui Su, Ting‐Chun Chou, Maria Teresa López‐Cascales, Junfeng Huang, Tsai‐Ying Chen, Sjoukje van Wieren, Chan Li, Cecile Beerens, Li You, Jelle Storteboom, Miao‐Ping Chien   +10 more
wiley   +1 more source

Experimenting with Power Default Reasoning

, 1998
this paper we carry out experiments in a framework for Reiter's default logic [13] which we call Power Default Reasoning (PDR). PDR differs from standard default logic in a number of ways. The fundamental difference between this and other formalisms
Guo-qiang Zhang, Eric Klavins, William C. Rounds   +2 more
core  

A Rare Allele of ST5 From Wild Rice Enhances Salt Tolerance in Rice

Advanced Science, EarlyView.
A novel salt‐tolerance gene ST5W, characterized by a unique 36‐bp promoter insertion, is found exclusively in a small subset of Oryza rufipogon and is absent in cultivated rice. Field trials confirm ST5W significantly enhances rice yield across diverse genetic backgrounds under saline conditions.
Meng Xing, Jingfen Huang, Qiaoling Yuan, Ziyi Yang, Yanyan Wang, Mingchao Zhao, Yamin Nie, Rui Xu, Hongge Qian, Wenxi Chen, Qiaoling Zhang, Qi Du, Leiyue Geng, Yapeng Li, Ziyi Chen, Shizhuang Wang, Like Lou, Haiyuan Peng, Chongke Zheng, Xianzhi Xie, Xiaoming Zheng, Lifang Zhang, Lianguang Shang, Jiaqiang Sun, Qian Qian, Qingwen Yang, Weihua Qiao   +26 more
wiley   +1 more source

Limitations of Skeptical Default Reasoning

CoRR, 2013
Appears in Proceedings of the Thirteenth Conference on Uncertainty in Artificial Intelligence (UAI1997)
openaire   +3 more sources

Tumor‐Derived LAMB3 Drives Immunosuppressive LRRC15+ Fibroblast Formation During Pancreatic Ductal Adenocarcinoma Development

Advanced Science, EarlyView.
A single‐cell atlas of pancreatic ductal adenocarcinoma development reveals progressive ductal‐fibroblast‐immune crosstalk. Tumor‐derived LAMB3 drives the formation of immunosuppressive LRRC15+ fibroblasts through the ITGB1/FAK/MAPK/FOSL2 signaling. Glycolytic reprogramming upregulates LAMB3 and correlates with LRRC15+ fibroblast enrichment.
Xuqing Shi, Hangqi Liu, Jianru Sun, Xiaoding Liu, Xinping Jv, Longyun Chen, Yuhan Zhang, Hui Zhang, Xudong Xing, Ruiyu Li, Xinyi Ke, Jun Wang, Xianglin Yin, Bohan Liu, Qixian Liu, Yuan Wang, Junliang Lu, Shiyi Liu, Junyi Pang, Yumeng Cai, Menghua Dai, Fan Bai, Huanwen Wu, Zhiyong Liang   +23 more
wiley   +1 more source