Artificial intelligence publications

In the present paper, we introduce an axiomatic theory of authentication suitable for the automatic proof of authentication properties. We describe a proof of the authentication property of a simple…

We describe a domain-independent framework for plan summarization and comparison that can help a human understand both key strategic elements of an individual plan and important differences among plans.

We present NOMOS, an open-source software framework for annotation, processing, and analysis of multimodal corpora.

We consider the problem of answering a query, where the answer is not provided explicitly by any one resource, but has to be deduced from information provided by many resources;…

We introduce a framework spanning the entire collaborative thought process using the Angler and SEAS (Structured Evidential Argumentation System) applications. Angler encourages creative brainstorming while SEAS demands analytical reasoning. The…

We report on our ongoing practical experience in designing, implementing, and deploying PTIME, a personalized agent for time management and meeting scheduling in an open, multi-agent environment. In developing PTIME…

The challenge we address is to reason about projected resource usage within a hierarchical task execution framework in order to improve agent effectiveness. Specifically, we seek to define and maintain…

This position paper discusses the problem of locally evaluating and comparing candidate schedules, in the context of a distributed scheduling task operating in unbounded environments in which each agent selfishly…

We describe two approaches to reducing human fatigue in Interactive Evolutionary Computation (IEC). A predictor function is used to estimate the human user’s score, thus reducing the amount of effort…