Stanford Logic Group Technical Reports
-
LG-2013-01
Incremental Maintenance of Aggregate Views
Abhijeet Mohapatra and Michael Genesereth
[bibtex]
- LG-2012-01
Aggregation in Datalog Under Set Semantics
Abhijeet Mohapatra and Michael Genesereth
[bibtex]
- LG-2011-02
Two souces of explosion
Eric Jui-Yi Kao
[bibtex]
- LG-2011-01
A New Method for Incremental Consequence-Finding
Eric Jui-Yi Kao and Michael Genesereth
[bibtex]
- LG-2010-01
Query rewriting with filtering constraints
Eric Jui-Yi Kao and Michael Genesereth
[bibtex]
- LG-2009-03
Optimal Sort Ordering in Column Stores is NP-Complete
Abhijeet Mohapatra
[bibtex]
- LG-2009-01
Semantic Web Services Challenge:
Proceedings of the
2008 Workshops
Charles Petrie, editor
[bibtex]
LG-2007-01
Transfer Learning Level Definitions
Timothy Hinrichs, Tyler Hicks-Wright, Charles Petrie, Eric Schkufza, and Michael Genesereth
[bibtex]
LG-2006-03
Object-Oriented Constraint Satisfaction Problems
Timothy Hinrichs, Nathaniel Love, and Michael Genesereth
[bibtex]
LG-2006-02
Herbrand Logic
Timothy Hinrichs and Michael Genesereth
[bibtex]
LG-2006-01
General Game Playing:
Game Description Language Specification
Nathaniel Love, Michael Genesereth, Timothy Hinrichs
[bibtex]