First Page | Document Content | |
---|---|---|
Date: 2010-02-12 06:45:46Semantics Datalog Logic programming Rules of inference Stratification Negation as failure Negation Transitive closure Model theory Logic Mathematics Mathematical logic | 15 Alice: Sergio: Alice: Riccardo: Vittorio:Add to Reading ListSource URL: webdam.inria.frDownload Document from Source WebsiteFile Size: 364,61 KBShare Document on Facebook |