News

SIFT researcher J. Benton won the Best Student Paper Award at ICAPS 2012 called "Temporal Planning with Preferences and Time-dependent Costs," also authored by Amanda Coles and Andrew Coles. This paper is about handling temporal planning problems where the quality of a plan has to do with when certain goals are achieved. The paper's abstract is after the break.

SIFT Researcher Michael Boldt will present work by SIFT collegues David Musliner, Timothy Woods, and John Maraist on Identifying Culprits When Probabilistic Verification Fails at the 2012 Computers and Information in Engineering Conference (CIE). This work was done under the probabilistic verification effort funded by the DARPA AVM/META program.

Dr. Ugur Kuter collaborated with University of Maryland graduate students Ron Alford and Vikas Shivashankar and faculty Dr. Dana Nau on "HTN PRoblem Spaces: Structure, Algorithms, Termination" published at the 2012 Symposium on Combinatorial Search (SoCS-12), which can be accessed here: http://www.socs12.org/papers.html

SIFT researchers Dr. Christopher Miller, Peggy Wu and Tammy Ott have had an article accepted to the Journal of Cognitive Engineering and Decision Making. This paper reports work done under the E4D2 program and is titled “Politeness in Teams: Implications for Directive Compliance Behavior and Associated Attitudes.” It appears in print in Volume 6 Issue 2 June 2012 pp. 214 - 242. The abstract can be found here.

SIFT has been awarded continued funding under DARPA's Adaptive Vehicle Make program to continue our META-X probabilistic verification efforts, leveraging SIFT's prior verification efforts for automated plan analysis.  SIFT will extend our existing probabilistic verification approach, adding importance sampling and culprit identification to our multi-component methods for functional failure analysis.  For more information, please contact the program PI, Mr.

SIFT is awarded a 3-year research contract by the Office of Naval Research. The project is entitled "HACKAR: Helpful Advice and Coding Knowledge for Attack Resistance." The HACKAR project will be a new approach to proactive analysis, detection, and diagnosis of vulnerabilities in functions and modules at development time. HACKAR will help programmers by providing advice and coding knowledge for addressing potential vulnerabilities in their code, so that programmers can be aware of these threats and fix them before the code is deployed.

SIFT Researcher Dan Thomsen presented the Future Visions 2012 symposium at Colorado State on April 12, 2012. Mr. Thomsen presented "Evolving Security Policy to meet the complexities of Tomorrow," a look at how we might turn complexity, which usually works against computer security into a tool to address simplify security administration.

SIFT Researcher Dr. Ugur Kuter has recently collaborated with University of Maryland, College Park and Naval Research Labs at Washington DC. in a total of three papers on novel AI planning formalisms and algorithms in classical and dynamic, multi-agent domains. These works will be published and presented at the 11th International Conference on Autonomous Agents and Multiagent System (AAMAS-12).

SIFT was awarded a Phase I Small Business Innovation Research grant (SBIR) by the Telemedicine & Advanced Technology Research Center (TATRC) entitled "CALM: Continuous Anger Level Management."

SIFT was awarded a phase 1 SBIR titled "SAGA: Sequential Art via Game Assistance." This SBIR combines social games and AI-directed therapy to help treat soldiers with Post Traumatic Stress Disorder by creating sequential art (graphic novels) to tell their story.

Pages