3808 search results - page 177 / 762 » Artificial Intelligence: A Modern Approach |
177
click to vote
AI
2000
Springer
15 years 11 months ago
2000
Springer
Domain independent planners can produce better-quality plans through the use of domain-speci c knowledge, typically encoded as search control rules. The planning-by-rewriting appro...
159
click to vote
DIAGRAMS
2000
Springer
15 years 11 months ago
2000
Springer
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the d...
197
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more effic...
208
click to vote
AIMDM
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we describe a new approach to computer-based health promotion, based on a conversational model. We base our model on a collection of human-human email dialogues conce...
152
click to vote
EPIA
1999
Springer
15 years 10 months ago
1999
Springer
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...