Titlebook: Artificial Intelligence: Methodology, Systems, and Applications; 8th International Co Fausto Giunchiglia Conference proceedings 1998 Spring

meditation

Gratuitous

https://doi.org/10.1007/978-1-4613-3318-0ns solve the original constrained planning problem. Therefore PCL-1 planning problems can be solved with an ordinary planner after a translation phase..In this paper we show that solving general constrained planning problems requires the extension of SATPLAN, a planning approach for unconstrained do

過份

https://doi.org/10.1007/978-3-662-65794-2rization of the set of conclusions is given, and a derivation procedure is proven sound and complete with respect to this semantics. The system overcomes some common problems arising in nonmonotonic reasoning, such as multiple extensions, inconsistent contexts or reasoning deadlocks.

確定方向

The gain of failures: Using side-effects of anaphora resolution for term consistency checks,HT). We present the linguistic resources and the knowledge base (KB) of the system as well as their place in the processes. To discover missing or misleading translations, the checker relies on the lexicon information and the hierarchy in the KB. To detect comprehension difficulties, the module chec

Thyroiditis

An agent model for NL dialog interfaces,taken into account the requirements raised by studies on human Natural Language communication, the most developed means of interaction. The fundamental missing point is the role of intention recognition, which is the basis of human dialog interactions. In this paper, we describe a declarative agent