Sciweavers

ICTAI
1994
IEEE
15 years 10 months ago
GATTO: An Intelligent Tool for Automatic Test Pattern Generation for Digital Circuits
Paolo Prinetto, Maurizio Rebaudengo, Matteo Sonza ...
OGAI
1991
15 years 10 months ago
Knowledge-Based Generation of Illustrated Documents
The task of the knowledge-based presentation system WIP is the generation of a variety of multimodal documents from an input consisting of a formal description of the communicativ...
Wolfgang Wahlster, Elisabeth André, Som Ban...
ISMIS
1991
Springer
15 years 10 months ago
Fully Deadline-Coupled Planning: One Step at a Time
Madhura Nirkhe, Sarit Kraus, Donald Perlis
ISMIS
1991
Springer
15 years 10 months ago
A Logic of Relative Desire (Preliminary Report)
Jon Doyle, Yoav Shoham, Michael P. Wellman
ICAIL
1991
ACM
15 years 10 months ago
Coping With Change
Paul Bratley, Jacques Frémont, Ejan Mackaay...
ECAI
1992
Springer
15 years 10 months ago
Arc-Consistency for Non-Binary Dynamic CSPs
Constraint satisfaction problems (CSPs) provide a model often used in Artificial Intelligence. Since the problem of the existence of a solution in a CSP is an NP-complete task, man...
Christian Bessière
AISB
1994
Springer
15 years 10 months ago
Complexity Reduction Using Expansive Coding
David Beasley, David R. Bull, Ralph R. Martin