The following pages link to Pasquale Rullo (Q359979):
Displaying 8 items.
- GAMoN: discovering \(M\)-of-\(N^{\{\neg, \lor\}}\) hypotheses for text classification by a lattice-based genetic algorithm (Q359980) (← links)
- (Q1198100) (redirect page) (← links)
- Safe computation of the well-founded semantics of datalog queries (Q1198101) (← links)
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
- Complex-Prolog: A logic database language for handling complex objects (Q1825684) (← links)
- Semantics and expressiveness of disjunctive ordered logic (Q1978010) (← links)
- Stable models and their computation for logic programming with inheritance and true negation (Q3129493) (← links)
- An authorization model and its formal semantics (Q5862296) (← links)
