- Planning-inf - mailman.kcl.ac.uk

meeting today cancelled
by Fox, Maria 28 Jan '16

28 Jan '16

Hi everyone, No-one replied to my last message. Also, Bram and Dan are both away. Let's cancel today and meet for Dan's talk next week. Maria Professor Maria Fox Department of Informatics Kings College London Strand London WC2R 2LS

1 0

Meeting Today
by Amanda Coles 25 Jan '16

25 Jan '16

Hi All, Since we're low in numbers and have no particular plan let's give the meeting a miss today. Amanda -- Dr Amanda Coles Lecturer Department of Informatics King's College London Room: S6.17 http://www.inf.kcl.ac.uk/staff/amanda/

2 1

Planning Meetings This Term
by Amanda Coles 12 Jan '16

12 Jan '16

Hi All, Looking at everyone's teaching commitments this term and also potential TA allocations it looks like Thursdays might be a better day for the planning meeting this term. The same time, 12-1 works (or 1-2/2-3). Are those times okay with everyone? If I don't hear anything by the end of the week I'll book S6.06 for 12-1. If it doesn't suit then let me know ASAP and we can rearrange. Amanda -- Dr Amanda Coles Lecturer Department of Informatics King's College London Room: S6.17 http://www.inf.kcl.ac.uk/staff/amanda/

5 7

Re: [Planning-inf] Room change
by Andrew Coles 30 Nov '15

30 Nov '15

A reminder - today's planning group meeting is in S3.41. Andrew -------- Original message -------- From: Amanda Coles <amanda.coles(a)kcl.ac.uk> Date: 27/11/2015 16:19 (GMT+00:00) To: "Visperas, Andrew" <andrew.visperas(a)kcl.ac.uk>, planning-inf(a)kcl.ac.uk Subject: Re: [Planning-inf] Room change Sure we can do that: is it big enough to hold about 12? All: please note the change of room to S3.41 next week, Amanda On 27/11/15 15:20, Visperas, Andrew wrote:  Hi Amanda, Currently you have S6.06 booked next Monday, 30 November from 12-1pm for a weekly meeting. Would it be possible for you to please move your meeting to room S3.41? This is to accommodate a viva exam from 12pm-5pm next Monday. Regards Andrew Andrew Visperas Departmental Officer Department of Informatics Faculty of Natural and Mathematical Sciences King's College London Strand Building S5.01 | Strand | London | WC2R 2LS -- Dr Amanda Coles Lecturer Department of Informatics King's College London Room: S6.17 http://www.inf.kcl.ac.uk/staff/amanda/

1 0

Re: [Planning-inf] Room change
by Amanda Coles 27 Nov '15

27 Nov '15

Sure we can do that: is it big enough to hold about 12? All: please note the change of room to S3.41 next week, Amanda On 27/11/15 15:20, Visperas, Andrew wrote: > > Hi Amanda, > > Currently you have S6.06 booked next Monday, 30 November from 12-1pm > for a weekly meeting. Would it be possible for you to please move your > meeting to room S3.41? This is to accommodate a viva exam from > 12pm-5pm next Monday. > > Regards > > Andrew > > ** > > *Andrew Visperas* > > Departmental Officer > > Department of Informatics > > Faculty of Natural and Mathematical Sciences > > King's College London > > Strand Building S5.01 | Strand | London | WC2R 2LS > -- Dr Amanda Coles Lecturer Department of Informatics King's College London Room: S6.17 http://www.inf.kcl.ac.uk/staff/amanda/

1 0

Re: [Planning-inf] ICAPS Paper titles for conflicts
by Andrew Coles 23 Nov '15

23 Nov '15

In main track: 'Heuristic Guidance for Forward-Chaining Planning with Numeric Uncertainty' (Liana, Me) 'Have I Been Here Before? State Memoization in Temporal Planning' (Amanda, Me) (NB I've changed to using the new mailing list - the old @inf.kcl.ac.uk ones have been retired.) On 23/11/15 13:42, Fox, Maria wrote: > Thanks Dan. Bram and Sara, can you please circulate your titles as well? > > Maria > > Professor Maria Fox > Department of Informatics > Kings College London > Strand > London WC2R 2LS > > ________________________________________ > From: Magazzeni, Daniele > Sent: 23 November 2015 13:40 > To: Fox, Maria > Cc: planning-all(a)inf.kcl.ac.uk > Subject: ICAPS Paper titles for conflicts > > Hi all, > > Here are our papers: > > MAIN TRACK > -A Compilation of the Full PDDL+ Language into SMT > -Heuristic Planning for PDDL+ Domains > > APPLICATIONS TRACK > -Solving Realistic Unit Commitment Problems using Temporal Planning: > Challenges and Solutions > -Strategic Plannning for Autonomous Systems over Long Horizons > > Dan -- Dr Andrew Coles Lecturer Department of Informatics, King's College London Room: S6.14, Tel: +44 (0) 20 7848 1511

2 1

Planning Meeting Today
by Savas, Okkes 02 Nov '15

02 Nov '15

Hi All, Just a reminder, I will be presenting my work during the meeting today. My talk is about Planning with Control Parameters. The summary of my work is the following: "My primary research interest is to examine variables other than time in resource constrained planning. Time is currently the only control variable that is used in the planning domain. However, other variables are needed to find a plan for more complex domains. Physical properties of the real world, such as velocity and torque, are the parameters that need to be determined in some realistic problems. None of the planning systems can currently reason with these unknown parameters. In this report, I will introduce the methodology for a new planning system that can reason with these parameters. Our new planner, POPCorn, which is built on POPF is used to capture these variables in planning domains". The room is S6.06 as usual. Cheers, Emre Savas

1 0

Fwd: AAAI-16 Workshop on Planning for Hybrid Systems (PlanHS-16)
by Daniele Magazzeni 16 Oct '15

16 Oct '15

Hi all, Just to make sure you are aware of this workshop we are organising at AAAI-16. Note that it will also be possible to submit papers that are rejected at the main conference (hoping that this won't be the case.... :-) Dan =============================================================== CALL FOR PAPERS AAAI-16 Workshop on Planning for Hybrid Systems (PlanHS-16) http://www.inf.kcl.ac.uk/staff/danmag/planhs16.html Phoenix, Arizona USA, 12/13 February 2016 =============================================================== The purpose of the workshop is to explore and promote new approaches to planning with hybrid models. Hybrid systems are systems with both continuous control variables and discrete logical modes. Many interesting real problems are indeed hybrid systems, including oil refinery management, mission planning for autonomous vehicles, supply management and disaster recovery, and applications in control of smart cities. Planning in these domains requires rich models to capture the interaction between discrete and continuous change, and methods for reasoning with temporal, spatial and continuous constraints. This is intended as a multi-disciplinary workshop, and aims to put together researchers from planning, robotics, machine learning, hybrid system control and verification, model-based reasoning. Workshop topics ===================== The workshop includes - but is not limited to - the following topics: * Planning with mixed discrete-continuous dynamics * Planning with hybrid stochastic dynamics * Hybrid systems applications * Analysis, verification and control of hybrid systems * Planning/control interaction * Novel benchmark problems involving hybrid dynamics * Plan monitoring and execution * Plan robustness * Plan validation * Planning and model checking Important Dates: ===================== * Papers submission: October 23, 2015 * Notifications of acceptance: November 23, 2015 * Author accepted paper submissions: December 7, 2015 * Workshop date: February 12/13, 2016 Submission Procedure ===================== Two types of submissions are solicited: -full-length papers (up to 8 pages in AAAI format) -challenge or position papers (2 pages in AAAI format) We welcome papers submitted to the main AAAI conference and papers reporting research already published provided they align squarely with the workshop topic. Paper Submissions should be made through the workshop EasyChair web site https://easychair.org/conferences/?conf=planhs16 Organisers: ===================== * Daniele Magazzeni, King's College London, UK * Scott Sanner, Oregon State University, USA * Sylvie Thiebaux, ANU & NICTA, Australia Program Committee: ===================== * Alessandro Abate (University of Oxford, UK) * Adi Botea (IBM Research) * Dan Bryce (SIFT, USA) * Alessandro Cimatti (FBK-irst, Italy) * Jyotirmoy Deshmukh (Toyota Motors, USA) * Stefan Edelkamp (University of Bremen, Germany) * Georgios Fainekos (Arizona State University, USA) * Maria Fox (King's College London, UK) * Sicun Gao (MIT, USA) * Sertac Karaman (MIT, USA) * Mykel Kochenderfer (Stanford, USA) * Martin Leucker (University of Lübeck, Germany) * Derek Long (King's College London, UK) * Daniel Nikovski (Mitsubishi Electric Research Labs, USA) * Erion Plaku (Catholic University of America, USA) * Miguel Ramirez (Australian National University) * Florent Teichteil-Königsbuch (ONERA, France) * Enrico Tronci (University of Rome “La Sapienza”, Italy) * Brian C. Williams (MIT, USA) -- Dr Daniele Magazzeni Lecturer Department of Informatics King's College London Office S6.19 Tel: +44 (0)20 7848 1587 Twitter: @danmagazzeni http://www.inf.kcl.ac.uk/staff/danmag

1 0

Planning Meeting on Monday in S1.12
by Amanda Coles 02 Oct '15

02 Oct '15

Hi All, Just a quick reminder that our next meeting is one of the ones we had to move rooms for so it will be in S1.12 not S6.06 as usual. The meeting time is as usual and Derek will be talking, Amanda -- Dr Amanda Coles Lecturer Department of Informatics King's College London Room: S6.17 http://www.inf.kcl.ac.uk/staff/amanda/

1 0

AAAI-16 Paper Bidding
by Bernardini, Sara 16 Sep '15

16 Sep '15

Dear all, Has anyone submitted a paper to AAAI-16? Since the bidding period is now open, it would be useful to know that. Many thanks, Sara

3 2