On disjunction of literals in triggers of statecharts transitions.
Andrea Maggiolo-SchettiniSimone TiniPublished in: Inf. Process. Lett. (2002)
Keyphrases
- state transition
- active databases
- conceptual modeling
- agent oriented
- state transitions
- neural network
- class diagrams
- case study
- reactive systems
- truth values
- object oriented
- answer sets
- horn clauses
- semantics of logic programs
- data sets
- propositional formulas
- state space
- multi agent
- database systems
- information systems
- databases