ISMIS
1994
Springer
13 years 12 months ago
1994
Springer
Main stream approaches in distributed artificial intelligence (DAI) are essentially logic-based. Little has been reported to explore probabilistic approach in DAI. On the other han...
ISMIS
1994
Springer
13 years 12 months ago
1994
Springer
Abstract: While the problem of incompletedata in databases has been extensively studied, a relatively unexplored form of uncertainty in databases, called inaccurate data, demands d...
ISMIS
1994
Springer
13 years 12 months ago
1994
Springer
ISMIS
1994
Springer
13 years 12 months ago
1994
Springer
BDDs (binary decision diagrams) are a very succesful tool for handling boolean functions, but one which has not yet attracted the attention of many automated deduction specialists....
ISMIS
1994
Springer
13 years 12 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
ISMIS
1994
Springer
13 years 12 months ago
1994
Springer
KI
1993
Springer
13 years 12 months ago
1993
Springer
Verbmobil is a long-term project on the translation of spontaneous language in negotiation dialogs. We describe the goals of the project, the chosen discourse domains and the init...
ISMIS
1993
Springer
13 years 12 months ago
1993
Springer
An approach to implementing deduction systems based on semantic tableaux is described; it works by compiling a graphical representation of a fully expanded tableaux into a program...
IEAAIE
1994
Springer
13 years 12 months ago
1994
Springer
Genetic Algorithms are heuristic search schemes based on a model of Darwinian evolution. Although not guaranteed to find the optimal solution, genetic algorithms have been shown t...
IEAAIE
1994
Springer
13 years 12 months ago
1994
Springer
In this paper we discuss the design and development of an interlingua for a large-scale MT project. We also discuss how the resulting KANT interlingua constrains complexity, suppo...