10.9k citations
- Brookhaven National LaboratoryUS528 papers
- The Ohio State UniversityUS527 papers
- Argonne National LaboratoryUS524 papers
- Heidelberg UniversityDE523 papers
- Czech Technical University in PragueCZ522 papers
- Lawrence Berkeley National LaboratoryUS521 papers
- Michigan State UniversityUS521 papers
- University of Science and Technology of ChinaCN520 papers
- Yale UniversityUS519 papers
- University of TsukubaJP516 papers
- Shandong UniversityCN514 papers
- Max Planck Institute for PhysicsDE513 papers
Showing 2003 · cs.DBShow all
2 papers · 2 filters
cs.DB2003
Declarative Semantics for Active Rules
Sergio Flesca, Sergio Greco
In this paper we analyze declarative deterministic and non-deterministic semantics for active rules. In particular we consider several (partial) stable model semantics, previously…
cs.DB2003
Greedy Algorithms in Datalog
Sergio Greco, Carlo Zaniolo
In the design of algorithms, the greedy paradigm provides a powerful tool for solving efficiently classical computational problems, within the framework of procedural languages. Ho…