F
Froduald Kabanza
Researcher at Université de Sherbrooke
Publications - 80
Citations - 2434
Froduald Kabanza is an academic researcher from Université de Sherbrooke. The author has contributed to research in topics: Robot & Mobile robot. The author has an hindex of 23, co-authored 77 publications receiving 2321 citations. Previous affiliations of Froduald Kabanza include University of Liège.
Papers
More filters
Journal ArticleDOI
Using temporal logics to express search control knowledge for planning
Fahiem Bacchus,Froduald Kabanza +1 more
TL;DR: This work shows how domain dependent search control knowledge can be represented in a temporal logic, and then utilized to effectively control a forward-chaining planner.
Journal ArticleDOI
Planning for temporally extended goals
Fahiem Bacchus,Froduald Kabanza +1 more
TL;DR: In this article, a temporal logic for specifying temporally extended goals is presented, allowing the representation of a range of temporally-extended goals, including classical goals, goals with temporal deadlines, quantified goals (with both universal and existential quantification), safety goals, and maintenance goals.
Proceedings ArticleDOI
Handling infinite temporal data
TL;DR: It is proved that relations formed from generalized tuples are closed under the operations of relational algebra, and a characterization of the expressiveness of generalized relations is given in terms of predicates definable in Presburger arithmetic.
Journal ArticleDOI
Planning control rules for reactive agents
TL;DR: This paper describes a powerful extension of this approach for handling complex goals for reactive agents by using a modal temporal logic that can express quite complex time, safety, and liveness constraints.
Book
Using temporal logic to control search in a forward chaining planner
Fahiem Bacchus,Froduald Kabanza +1 more
TL;DR: This work describes how natural domain information, of a “strategic” nature, can be expressed in a temporal logic, and then utilized to effectively control a forward-chaining planner.