Login / Signup
Declarative Modeling of the Operational Behavior of Logic Languages.
Moreno Falaschi
Giorgio Levi
Catuscia Palamidessi
Maurizio Martelli
Published in:
Theor. Comput. Sci. (1989)
Keyphrases
</>
expressive power
databases
data sets
neural network
high level
behavioral models
database
knowledge representation
logic programming
modal logic
modeling language
logical framework
defeasible logic
formal language
constraint language