Filtern
Erscheinungsjahr
- 1999 (1)
Dokumenttyp
- Preprint (1) (entfernen)
Sprache
- Englisch (1) (entfernen)
Volltext vorhanden
- ja (1)
Schlagworte
- problem formulation (1) (entfernen)
Fachbereich / Organisatorische Einheit
We transform a user-friendly formulation of aproblem to a machine-friendly one exploiting the variabilityof first-order logic to express facts. The usefulness of tacticsto improve the presentation is shown with several examples.In particular it is shown how tactical and resolution theoremproving can be combined.