Filters








6 Hits in 1.5 sec

Practical reasoning about knowledge states for open world planning with sensing

Tamara Babaian, James G. Schmolze
2009 Journal of Applied Non-Classical Logics  
We present a representation for reasoning and planning with an incomplete state description (open-world) called PSIPLAN-S.  ...  )) and Kn(¬PrefBib(RI )), and could also be expressed as a universally quantified formula PSIPLAN-S uses a combination of ground atoms and ψ-forms to represent incomplete information.  ...  One major challenge of open-world planning is the computational complexity of reasoning with incomplete information.  ... 
doi:10.3166/jancl.19.7-41 fatcat:v4dtdtknsrcy5jjmwpu4o43b6u

Efficient Open World Reasoning for Planning

Tamara Babaian, James Schmolze, Henry Kautz
2006 Logical Methods in Computer Science  
As a result, planning with PSIPLAN is done without direct manipulation of possible worlds.  ...  We consider the problem of reasoning and planning with incomplete knowledge and deterministic actions.  ...  of ψ-forms common for open world planning problems.  ... 
doi:10.2168/lmcs-2(3:5)2006 fatcat:k47wwodykbejxpkeyaq4gbkaxe

A writer's collaborative assistant

Tamara Babaian, Barbara J. Grosz, Stuart M. Shieber
2002 Proceedings of the 7th international conference on Intelligent user interfaces - IUI '02  
This paper describes Writer's Aid, a system that deploys AI planning techniques to enable it to serve as an author's collaborative assistant.  ...  This autonomy, enabled by the use of a planning system at the core of Writer's Aid, distinguishes this system from other collaborative interfaces.  ...  To represent the user's goals, Writer's Aid extends PSIPLAN to handle implication goals of the form ∀ x ∃ y P ( x, y) =⇒ Q( x, y), where x and y are sets of variables, and both P and Q are conjunctions  ... 
doi:10.1145/502716.502722 dblp:conf/iui/BabaianGS02 fatcat:gdtl3pn3hzfthdfa24dadkskbu

A writer's collaborative assistant

Tamara Babaian, Barbara J. Grosz, Stuart M. Shieber
2002 Proceedings of the 7th international conference on Intelligent user interfaces - IUI '02  
This paper describes Writer's Aid, a system that deploys AI planning techniques to enable it to serve as an author's collaborative assistant.  ...  This autonomy, enabled by the use of a planning system at the core of Writer's Aid, distinguishes this system from other collaborative interfaces.  ...  To represent the user's goals, Writer's Aid extends PSIPLAN to handle implication goals of the form ∀ x ∃ y P ( x, y) =⇒ Q( x, y), where x and y are sets of variables, and both P and Q are conjunctions  ... 
doi:10.1145/502721.502722 fatcat:nxj7lokhzjfnndabamhg7nnbgi

22nd Annual SASRO Meeting

2019 Strahlentherapie und Onkologie (Print)  
Patients were provided with wearables in form of a smartphone and a bracelet collecting vital data. These data as well as questionnaires about symptoms were collected over 12 weeks.  ...  Aims: To evaluate the impact of pre-operative multidisciplinary discussion on reconstruction modalities in breast cancer pts, planned for mastectomy and adjuvant RT.  ...  The largest differences correspond to leaves which do not open (or close) as expected when the planned LOT (or planned closing time between two openings) is short (below 45 ms).  ... 
doi:10.1007/s00066-019-01459-0 pmid:31065727 fatcat:citidhkpzjcgfnddn3szfi5r7u

The Daily Texan [article]

University Of Texas At Austin
2016
-The gymnastics team plans com petition with.  ...  As a foreign student who has lived with Americans for three years with people from all over the world in international camps for three months,.  ...  ^EaE^sa4 ^aadio House, EfBC. 11 c30-"U n i y e r s i t y Hour," KVET. OrleaiiS' jazz musfc and Houston's good food came in for some praise by Miss Shearer.  ... 
doi:10.15781/t26m33358 fatcat:qkbompjjtzhx7lqj23xwgfb3w4