On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
From 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
![On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
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},
}