Applied Logic Reading Group

The Applied Logic Reading Group is a weekly seminar organized by Professor Michael Kifer, Professor Annie Liu and their students at the Computer Science Department, Stony Brook University. The topics are related to mathematical logic, applications of logic programming, languages and ontologies for Semantic Web Services, the Flora 2 system for rule-based object-oriented knowledge representation and manipulation, and other topics related to logic-based knowledge management.

Spring 2004:

Fall 2004:

Spring 2005:

Fall 2005:

Spring 2006:


Fall 2006 (organized by Prof. Annie Liu, Prof. Michael Kifer is on sabbatical leave):

----------
@inproceedings{BecSew04,
 author = "Moritz Y. Becker and Peter Sewell",
 title = "Cassandra: Flexible Trust Management, Applied to Electronic Health Records",
 booktitle = "Proceedings of the 17th IEEE Computer Security Foundations Workshop",
 publisher = IEEECS,
 year=2004,
 month = jun,
 URL="http://www.cl.cam.ac.uk/users/mywyb2/http://www.cl.cam.ac.uk/users/pes20/ ",
}

-----------
@techreport{Bec05,
 author = "Moritz Y. Becker",
 title = "A formal security policy for an {NHS} electronic health record service",
 institution = "Computer Laboratory, University of Cambridge",
 year = 2005,
 type = "Technical Report",
 number = "UCAM-CL-TR-628",
 month = mar,
 note = "81 pages",
 url = "http://www.cl.cam.ac.uk/TechReports/UCAM-CL-TR-628.html ",
}

-------------------
@inproceedings{LiMit03,
 author    = {Ninghui Li and John C. Mitchell},
 title     = {DATALOG with Constraints: A Foundation for Trust Management
             Languages.},
 booktitle = {PADL},
 year      = 2003,
 pages     = {58-73},
 ee        = {http://link.springer.de/link/service/series/0558/bibs/2562/25620058.htm },
 crossref  = {PADL:2003},
 comments = "an overview"
}

http://www.cs.sunysb.edu/~kifer/dood/papers.html
Flora: http://flora.sourceforge.net/   see technical information

@article{BeeRam91,
 author = {Catriel Beeri and Raghu Ramakrishnan},
 title = {On the power of magic},
 journal = JLP,
 volume = 10,
 number = {3-4},
 year = 1991,
 issn = {0743-1066},
 doi = {http://dx.doi.org/10.1016/0743-1066(91)90038-Q },
 publisher = {Elsevier Science Inc.},
 }

@article{SipSoi96,
 author = {Seppo Sippu and Eljas Soisalon-Soininen},
 title = {An analysis of magic sets and related optimization strategies for logic queries},
 journal = JACM,
 volume = 43,
 number = 6,
 year = 1996,
 pages = {1046--1088},
 doi = {http://doi.acm.org/10.1145/235809.235814 },
}

@article{KifLoz90,
 author = {Michael Kifer and Eliezer L. Lozinskii},
 title  = {On Compile-Time Query Optimization in Deductive Databases by
          Means of Static Filtering},
 journal= {ACM Trans. Database Syst.},
 volume = {15},
 number = {3},
 year   = {1990},
 pages  = {385-426}
}

@article{ChaChoHan93,
 author =       "Byeong-Mo Chang and Kwang-Moo Choe and Taisook Han",
 title =        "Static filtering on stratified programs",
 journal =      "Information Processing Letters",
 volume =       47,
 number =       5,
 pages =        "237--244",
 day =          8,
 month =        oct,
 year =         1993,
}

@inproceedings{KifLoz86,
 author = {Michael Kifer and Eliezer L. Lozinskii},
 title = {A Framework for an Efficient Implementation of Deductive Databases},
 booktitle = "Proceedings of the 6-th Advanced Database Symposium Aug. 29-30",
 year = 1986,
 comments = "dynamic filtering",
}

@inproceedings{BauGarRei05,
 author = {Lujo Bauer and Scott Garriss and Michael K. Reiter},
 title = {Distributed Proving in Access-Control Systems},
 booktitle = {Proceedings of the 2005 IEEE Symposium on Security and Privacy},
 year = 2005,
 publisher = IEEECS,
 pages = {81--95},
 doi = { http://dx.doi.org/10.1109/SP.2005.9 },
 address = {Washington, DC},
 }

@inproceedings{JimSuc01,
 author = {Trevor Jim and Dan Suciu},
 title = {Dynamically distributed query evaluation},
 booktitle = {PODS '01: Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems},
 year = 2001,
 isbn = {1-58113-361-8},
 pages = {28--39},
 location = {Santa Barbara, California, United States},
 doi = { http://doi.acm.org/10.1145/375551.375557 },
 }

(TOPLAS), v.23 n.4, p.472-602, July 2001.


http://ipdps.cc.gatech.edu/2000/fmppta/18001023.pdf#search=%22distributed%20object%20automatic%20implementation%22
http://www.ime.usp.br/~kon/papers/spe04.pdf#search=%22distributed%20object%20automatic%20implementation%22

Spring 2007 (Professor Annie Liu):

@article{DBLP:journals/ngc/Brough91,
  author    = {Derek R. Brough, Christopher J. Hogger},
  title     = {Grammar-Related Transformations of Logic Programs.},
  journal   = {New Generation Comput.},
  volume    = {9},
  number    = {2},
  year      = {1991},
  pages     = {115-134},
  bibsource = {DBLP, http://dblp.uni-trier.de }
}
@InProceedings{martin-finding,
  author       = "Michael Martin and Benjamin Livshits and Monica S. Lam",
  title        = "Finding application errors and security flaws using {PQL}: a program query language",
  booktitle    =  "OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications",
  year         = "2005",
  ISBN         = "1-59593-031-0",
  pages        = "365--383",
  location     = "San Diego, CA, USA",
  doi          = "http://doi.acm.org/10.1145/1094811.1094840",
  url = "http://citeseer.ist.psu.edu/martin05finding.html"
}
Invariants papers:
Incremental view maintanance

Fall 2007: