Author of the publication

Using temporal logics to express search control knowledge for planning

, and . Artif. Intell., 116 (1-2): 123--191 (2000)
DOI: 10.1016/S0004-3702(99)00071-5

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Kabanza, Froduald
add a person with the name Kabanza, Froduald
 

Other publications of authors with the same name

Synchronizing Multiagent Plans Using Temporal Logic Specifications.. ICMAS, page 217-224. The MIT Press, (1995)Imagination-Augmented Deep Learning for Goal Recognition., , and . CoRR, (2020)Reasoning about Robot Actions: A Model Checking Approach., and . Advances in Plan-Based Control of Robotic Agents, volume 2466 of Lecture Notes in Computer Science, page 123-139. Springer, (2001)Learning to Identify Inappropriate Antimicrobial Prescriptions., , , and . AIME, volume 7885 of Lecture Notes in Computer Science, page 248-257. Springer, (2013)Characterizing Financial Market Coverage using Artificial Intelligence., , , , , , , , , and . CoRR, (2023)Modularity and integration in the design of a socially interactive robot., , , , , , , , , and . RO-MAN, page 172-177. IEEE, (2005)Planning for temporally extended goals, and . Annals of Mathematics and Artificial Intelligence, 22 (1): 5--27 (Feb 1, 1998)Spartacus attending the 2005 AAAI conference., , , , , , , , , and 7 other author(s). Auton. Robots, 22 (4): 369-383 (2007)Decision-Theoretic Planning with non-Markovian Rewards, , , , and . CoRR, (2011)Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards, , and . CoRR, (2013)