Artificial Intelligence Today: Recent Trends and Developments

Behavioural Virtual Agents.- Logic-Based Knowledge Representation.- A Taxonomy of Theorem-Proving Strategies.- An Overview of Planning Under Uncertainty.- Knowledge Representation for Stochastic Decision Processes.- A Survey of Automated Deduction.- The World Wide Web as a Place for Agents.- Lifelike Pedagogical Agents and Affective Computing: An Exploratory Synthesis.- OBDD-based Universal Planning: Specifying and Solving Planning Problems for Synchronized Agents in Non-deterministic Domains.- Combining Artificial Intelligence and Databases for Data Integration.- "Underwater Love" Building Tristao and Isolda's Personalities.- An Oz-Centric Review of Interactive Drama and Believable Agents.- Robots with the Best of Intentions.- Agent-Based Project Management.- A System for Defeasible Argumentation, with Defeasible Priorities.- Handling Uncertainty in Control of Autonomous Robots.- The Event Calculus Explained.- Towards a Logic Programming Infrastructure for Internet Programming.- Towards Autonomous, Perceptive, and Intelligent Virtual Actors.- Temporally Invariant Junction Tree for Inference in Dynamic Bayesian Network.