Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Yaohui Kang

dblp:416/6082 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
1since 2021 · last 2025
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 1 · 1 first-author · 1 since 2021Systems, architecture and hardware · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
1 paper
Robot navigation and mapping · 77% Planning, search and constraint satisfaction · 23%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Robotics › Robot navigation and mapping › object search
multi-object search
0.912025
Inference Based Multi-Object Reactive Search in a Partially Known Environment With Temporal Logic Specifications · ICRA 2025
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › temporal planning
temporal logic planning
0.312025
Inference Based Multi-Object Reactive Search in a Partially Known Environment With Temporal Logic Specifications · ICRA 2025

Methods — techniques the papers use, named apart from their topics

commonsense reasoning · 0.9LTL motion planning · 0.9COMET inference model · 0.9
YearPublicationVenuePosition
2025 Inference Based Multi-Object Reactive Search in a Partially Known Environment With Temporal Logic Specifications
abstract
Efficiently searching for multiple objects in a partially known environment, where only the names and locations of landmarks are available, presents significant challenges. Existing search algorithms in the literature fail to fully utilize prior knowledge to improve search efficiency, and exhibit significantly diminished efficiency when extended to multiobject search. To address these limitations, we propose an inference-based multi-object reactive search framework. This framework utilizes the COMET inference model to reason about co-occurrence values between the target objects and known landmarks, thereby enhancing search efficiency. These co-occurrence values are integrated into a reactive temporal logic motion planning strategy, which allows the robot search for multiple objects with temporal logic constraints specified by LTL and adapt dynamically if the inferred reasoning differs from the actual object arrangement encountered during the search. Extensive simulations were conducted to evaluate the feasibility and efficiency of the proposed motion planning algorithm. Results demonstrate that the integration of commonsense reasoning with reactive temporal logic planning significantly improves multi-object search efficiency. Project website: https://sites.google.com/view/imors.
Yaohui Kang, Yanjie Xia, Zhen Kan
ICRA1