On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
Aus International Center for Computational Logic
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
Franz BaaderFranz Baader, H.-J. BürckertH.-J. Bürckert, B. NebelB. Nebel, W. NuttW. Nutt, G. SmolkaG. Smolka
Franz Baader, H.-J. Bürckert, B. Nebel, W. Nutt, G. Smolka
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-91-01, 1991. {DFKI} Research Report
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-91-01, 1991. {DFKI} Research Report
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@techreport{ DFKI-RR-91-01,
author = {F. {Baader} and H.-J. {B\"urckert} and B. {Nebel} and W. {Nutt} and G. {Smolka}},
institution = {{D}eutsches {F}orschungszentrum f\"ur {K}\"unstliche {I}ntelligenz, Kaiserslautern},
number = {{RR}-91-01},
title = {On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations},
type = {{DFKI} Research Report},
year = {1991},
}
