Sheila A. McIlraith

Department of Computer Science , University of Toronto , Toronto , Canada; Vector Institute , Toronto , Canada

11 papers in the IJCAI proceedings

IJCAI 2019

LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning

with Alberto Camacho, Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Valenzano

doi:10.24963/ijcai.2019/840

Details PDF

Strong Fully Observable Non-Deterministic Planning with LTL and LTLf Goals

with Alberto Camacho

doi:10.24963/ijcai.2019/767

Details PDF

IJCAI 2018

LTL Realizability via Safety and Reachability Games

with Alberto Camacho, Christian Muise, Jorge A. Baier

doi:10.24963/ijcai.2018/651

Details PDF

SynKit: LTL Synthesis as a Service

with Alberto Camacho, Christian Muise, Jorge A. Baier

doi:10.24963/ijcai.2018/848

Details PDF

IJCAI 2017

Numeric Planning via Abstraction and Policy Guided Search

with León Illanes

doi:10.24963/ijcai.2017/606

Details PDF

IJCAI 2013

Flexible Execution of Partial Order Plans With Temporal Constraints

with Christian J. Muise, J. Christopher Beck

Details PDF

IJCAI 2011

Monitoring the Execution of Partial-Order Plans via Regression

with Christian J. Muise, J. Christopher Beck

doi:10.5591/978-1-57735-516-8/IJCAI11-330

Details PDF

IJCAI 2009

HTN Planning with Preferences

with Shirin Sohrabi, Jorge A. Baier

Details PDF

IJCAI 2007

A Heuristic Search Approach to Planning with Temporally Extended Preferences

with Jorge A. Baier, Fahiem Bacchus

Details PDF

IJCAI 2003

Practical Partition-Based Theorem Proving for Large Knowledge Bases

with Bill MacCartney, Eyal Amir, Tomás E. Uribe

Details PDF

IJCAI 2001

Theorem Proving with Structured Theories

with Eyal Amir

Details PDF