• Each table in the database has one column and stores the possible values for a ground fluent term. •Whenever there is complete knowledge about the term, the corresponding table has exactly one row. E.g., the ground fluent term door has only one possible value (Closed ) and so the table for door has exactly one row: Closed. •Whenever there is incomplete knowledge, the table has more than one r...

paper, we attempt to reconstruct the sitcalculus on a dense flow of time. The

In this paper; we introduce novel technique in which effective communication of the Smartphone can be achieved. It is used as a platform to investigate a correlation that exists between securing the Smartphone and efficient emergency communication. We conducted to include several radio technologies, such as cognitive radio (CR). Cognitive radio deals with spectrum resources utilization. Due to ...

The state of adoption and diffusion of information and communication technology in German agriculture is described using results from three independent questionnaire surveys, conducted in 2000/2001. The use of information technology is widely spread among German farmers, the majority of farms have a PC, use it to connect to the Internet and are frequent e-mail and web users. Even though many fa...

Acknowledgements Work on this paper was partially supported by a Phase II Small Business Innovative Research Contract (N00014-05-C-0438) awarded to Cheryl Bolstad and Peter Foltz from the Office of Naval Research (ONR). The views and conclusions contained herein, however, are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, o...

We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hypertext systems. In our presentation, a particular version of the situation calculus (which includes a language for programming complex actions) developed for the modeling of dynamic worlds and for the control of robotic ag...