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
Journal of Logic, Language and Information, 2:1-18, 1993
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
Journal of Logic, Language and Information, 2:1-18, 1993
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@article{ BaaderBuerckert+-JLLI-93,
author = {F. {Baader} and H.-J. {B\"urckert} and B. {Nebel} and W. {Nutt} and G. {Smolka}},
journal = {Journal of Logic, Language and Information},
pages = {1--18},
title = {On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations},
volume = {2},
year = {1993},
}
