Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

59

ECAI
1992
Springer

favoriteEmaildiscussreport

82views Artificial Intelligence» more ECAI 1992»

How to Specialize by Theory Refinement

15 years 1 months ago

How to Specialize by Theory Refinement

Download genome.jouy.inra.fr

Claire Nedellec

Real-time Traffic

Artificial Intelligence | ECAI 1992 |

claim paper

Related Content

» General Refinement Part One Interfaces Determinism and Special Refinement

» General Refinement Part Two Flexible Refinement

» Being watched or being special how I learned to stop worrying and love being monitored sur...

» Observability of Turing Machines A Refinement of the Theory of Computation

» An Analytic Learning System for Specializing Heuristics

» Unifying Theories of Confidentiality

» A Resolution Decision Procedure for the Guarded Fragment

» A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards

» Retrenchment Refinement and Simulation

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1992
Where	ECAI
Authors	Claire Nedellec

Comments (0)