Hagenberg / Washington / DC / Cambridge / Amsterdam / /
Company
MIT Press / Plenum Press / States 7403 7403 4903 4903 4903 4903 Comp / States 130922 130922 37633 37633 37633 37633 Comp / Vulcan Inc. / Elsevier Science Publishers B. V. / Distributed Event-Based Systems / States 313751 313751 31376 31376 31376 31376 Comp / /
Country
Netherlands / Austria / /
Currency
USD / / /
Facility
University of Houston / University of Toronto / Paul Fodor Michael Kifer State University of New York / /
IndustryTerm
Semantic web service choreography / extended tabling algorithm / inference infrastructure / infinite depth-first search / data-driven logic-based complex event processing / Web Conference / search strategy / breadth-first search / possible solutions / graph algorithms / time-saving solutions / semantic web services / workflow management / similar systems / event processing / straightforward algorithm / aforesaid search / accepted solution / Web services / /
OperatingSystem
Linux / Ubuntu / /
Organization
National Science Foundation / MIT / State University of New York / University of Houston / IEEE Computer Society / University of Toronto / /
Person
Hasan Davulcu / Anthony J. Bonner / Robert Sedgewick / Douglas Comer / Paul Fodor / Van Gelder / Sebastian Nanz / Logic Tabling / R. Sekar / A. Voronkov / K.A. Ross / Dumitru Roman / David Scott Warren / Leo J. Guibas / Michael Kifer / Roland Stuhmer / J.S. Schlipf / Amalia F.Sleghel / Moritz Y. Becker / Darko Anicic / C. R. Ramakrishnan / I. V. Ramakrishnan / Weidong Chen / Nenad Stojanovic / Paul Fodor Michael / /
Position
optimizing interpreter for conccurent transaction logic / Theory General / interpreter / optimizing interpreter / designer / planner / programmer / /
ProgrammingLanguage
Prolog / Datalog / R / DC / /
ProvinceOrState
Massachusetts / /
PublishedMedium
Journal of the ACM / Theoretical Computer Science / Communications of the ACM / Lecture Notes in Computer Science / /
Tabling for Transaction Logic ∗ Paul Fodor Michael Kifer State University of New York at Stony Brook,Stony Brook, NY 11794, USA