ion in probabilistic domains has long been rec-ognizedas an effective tool to faciliate faster reasoning.In this paper we focused on the technical side of ob-taining a correct macro abstraction; a comprehensivetheory of abstracting probabilistic actions is presentedin [2]. Empirical results of applying the technique toseveral domains showed substantial reduction in t...

This paper describes the framework of a real-time simulation system to model human behavior and reactions in dangerous environments. The system utilizes the latest 3D computer animation techniques, combined with artificial intelligence, robotics and psychology, to model human behavior, reactions and decision making under expected/unexpected dangers in real-time in virtual environments. The deve...

Planning is a core field of Artificial Intelligence since its beginnings. Broadly speaking, planning techniques aim at providing artificial agents with the capability to autonomously solve ”complex” problems. Several planning techniques have been introduced in the literature that employ different approaches for modeling and solving planning problems. My PhD research activities concern timeline-...

Abstract Clusters, which are examples of Porter’s diamond in action, may foster creativity. Regional economic development, innovation efforts, and clusters interdependent. Artificial Intelligence Big Data can perform activities at a higher level than humans. Recent studies indicate that they gaining popularity because be used to collect, organize, analyze vast, varied data sets order reveal hid...

Dialogic argumentation is a crucial component in many computational domains, and forms a core component of argumentation theory. This paper compares two approaches to dialogue that have grown from two different disciplines; the descriptive–normative approach of applied philosophy, and the formal, implemented approach of computer science. The commonalities between the approaches are explored in ...

Artificial Intelligence techniques have been successfully applied to several computer games. However in some kinds of computer games, like real-time strategy (RTS) games, traditional artificial intelligence techniques fail to play at a human level because of the vast search spaces that they entail. In this paper we present a real-time case based planning and execution approach designed to deal ...

This is a summary of the Dagstuhl Seminar 06172 Directed Model Checking that was held 26 29 April 2006 at Schloss Dagstuhl, Germany. Directed Model Checking is a software and hardware verification technique that performs a systematic, heuristics guided search of the state space of the model to be analyzed. It hence reconciles classical model checking technology with intelligent, heuristics driv...

Can machines think? Alan Turing's decades-old question still influences artificial intelligence because of the simple test he proposed in his article in Mind. In this article, AI Magazine collects presentations about the first round of the classic Turing Test of machine intelligence, held November 8, 1991 at The Computer Museum, Boston. summarizes some of the difficult issues during the plannin...