BibSonomy publications for /author/Kifer http://www.bibsonomy.org/author/Kifer BibSonomy RSS Feed for /author/Kifer Logical Foundations of Object Oriented and Frame Based Languages http://www.bibsonomy.org/bibtex/2c1261c79611eb7a3c04f903bc438226d/acbullinger acbullinger 2008-12-01T17:41:36+01:00 diss
Logical Foundations of Object Oriented and Frame Based Languages
Michael Kifer and George Lausen and James Wu Journal of the ACM 42 741-843 (1995)
to diss by acbullinger and 10 other people on 2008-12-01 17:41:36
]]> HILOG: A Foundation for Higher-Order Logic Programming. dblp http://www.bibsonomy.org/bibtex/27adab2a83101dd83d3159151cb44783e/benedikt.linse benedikt.linse 2008-11-14T21:41:23+01:00 HILOG HigherOrder Logic
HILOG: A Foundation for Higher-Order Logic Programming.
Weidong Chen and Michael Kifer and David Scott Warren J. Log. Program. 15 187-230 (1993)
to HILOG HigherOrder Logic by benedikt.linse and 1 other person on 2008-11-14 21:41:23
]]> Rule Interchange on the Web http://www.bibsonomy.org/bibtex/26c1a057105ab8e1c002292f7ef3623c7/fraktalek fraktalek 2008-11-14T13:33:38+01:00 kiwi
Rule Interchange on the Web
Harold Boley and Michael Kifer and Paula L. P\u{a}tr\^{a}njan and Axel Polleres 42 (2007)
to kiwi by fraktalek on 2008-11-14 13:33:38
]]> Scheduling shared scans of large data files. dblp http://www.bibsonomy.org/bibtex/29c5d5cb288f2d170f95eec240c460bf8/dblp dblp 2008-11-06T00:00:00+01:00 dblp
Scheduling shared scans of large data files.
Parag Agrawal and Daniel Kifer and Christopher Olston PVLDB 1 958-969 (2008)
to dblp by dblp on 2008-11-06 00:00:00
]]> Rule Interchange Format: The Framework. dblp http://www.bibsonomy.org/bibtex/2353949a8c313f59adabc08450e5a48bc/dblp dblp 2008-11-03T00:00:00+01:00 dblp
Rule Interchange Format: The Framework.
Michael Kifer RuleML 1-2 (2008)
to dblp by dblp and 1 other person on 2008-11-03 00:00:00
]]> Semantic Web Service Choreography: Contracting and Enactment. dblp http://www.bibsonomy.org/bibtex/213a63a0e63730de29c8d9efbe9dfaae6/dblp dblp 2008-10-24T00:00:00+02:00 dblp
Semantic Web Service Choreography: Contracting and Enactment.
Dumitru Roman and Michael Kifer International Semantic Web Conference 550-566 (2008)
to dblp by dblp on 2008-10-24 00:00:00
]]> Rule Interchange Format: The Framework. dblp http://www.bibsonomy.org/bibtex/2e7f221570ea29664e78a64af450c17cc/dblp dblp 2008-10-23T00:00:00+02:00 dblp
Rule Interchange Format: The Framework.
Michael Kifer RR 1-11 (2008)
to dblp by dblp and 1 other person on 2008-10-23 00:00:00
]]> DualMiner: A Dual-Pruning Algorithm for Itemsets with Constraints http://www.bibsonomy.org/bibtex/2b732f4085f3934ed89e89af090fa319c/mboley mboley 2008-10-07T14:40:27+02:00 dataMining patternMining
DualMiner: A Dual-Pruning Algorithm for Itemsets with Constraints
Cristian Bucilă and Johannes Gehrke and Daniel Kifer and Walker White Data Mining and Knowledge Discovery 7 241--272 (2003)
to dataMining patternMining by mboley on 2008-10-07 14:40:27
]]> Integrating Folksonomies with the Semantic Web http://www.bibsonomy.org/bibtex/235842f5deb96573cc24e818697d4bbc8/tobold tobold 2008-09-18T14:01:11+02:00 clustering evaluation field ontology_evolution semantic_web tagging
Integrating Folksonomies with the Semantic Web
Lucia Specia and Enrico Motta Proceedings of the European Semantic Web Conference (ESWC2007) 624-639 (2007)
to clustering evaluation field ontology_evolution semantic_web tagging by tobold and 21 other people on 2008-09-18 14:01:11
]]> Knowledge Representation on the Social Semantic Desktop: Named Graphs, Views, and Roles in NRL mymory http://www.bibsonomy.org/bibtex/232a4af436ef64c50ebe02b8b9a1d1b82/arath arath 2008-08-17T11:14:04+02:00 mymory
Knowledge Representation on the Social Semantic Desktop: Named Graphs, Views, and Roles in NRL
Michael Sintek and {Ludger van} Elst and Simon Scerri and Siegfried Handschuh The Semantic Web: Research and Applications - Proceedings of 4th European Semantic Web Conference ESWC 2007 594--608 (2007)
to mymory by arath on 2008-08-17 11:14:04
]]>