@string{lpnmr = {International Conference on Logic Programming and
                  Non-Monotonic Reasoning}}
@string{lnai = {Lecture Notes in Artificial Intelligence}}

@InProceedings{lpnmr97:jaffar-liu-yap,
  author = 	 {J. Jaffar and B. Liu and R. H. Yap},
  title = 	 {Forward and backward chaining in constraint
                  programming ({I}nvited {T}alk)},
  crossref =	 {lpnmr97},
  pages =	 {1--1}
}

@InProceedings{lpnmr97:buccafurri-leone-rullo,
  author = 	 {F. Buccafurri and N. Leone and P. Rullo},
  title = 	 {Strong and weak constraints in disjunctive datalog},
  crossref =	 {lpnmr97},
  pages =	 {2--17}
}

@InProceedings{lpnmr97:pollett-remmel,
  author = 	 {C. Pollett and J. B. Remmel},
  title = 	 {Non-monotonic reasoning with quantified boolean
                  constraints},
  crossref =	 {lpnmr97},
  pages =	 {18--39}
}

@InProceedings{lpnmr97:zukowski-brass-freitag,
  author = 	 {U. Zukowski and S. Brass and B. Freitag},
  title = 	 {Improving the alternating fixpoint: {T}he
                  transformation approach},
  crossref =	 {lpnmr97},
  pages =	 {40--59}
}

@InProceedings{lpnmr97:egly-tompits,
  author = 	 {U. Egly and H. Tompits},
  title = 	 {Is non-monotonic reasoning always harder?},
  crossref =	 {lpnmr97},
  pages =	 {60--75}
}

@InProceedings{lpnmr97:rosati,
  author = 	 {R. Rosati},
  title = 	 {Complexity of only knowing: {T}he propositional case},
  crossref =	 {lpnmr97},
  pages =	 {76--91}
}

@InProceedings{lpnmr97:seitzer-schlipf,
  author = 	 {J. Seitzer and J. Schlipf},
  title = 	 {Affordable classes of normal logic programs},
  crossref =	 {lpnmr97},
  pages =	 {92--111}
}

@InProceedings{lpnmr97:truszczynski,
  author = 	 {M. Truszczy{\'n}ski},
  title = 	 {Automated reasoning with non-monotonic logics
                  ({I}nvited {T}alk)},
  crossref =	 {lpnmr97},
  pages =	 {112--114}
}

@InProceedings{lpnmr97:blair-dushan-humenn,
  author = 	 {H. A. Blair and F. Dushin and P. Humenn},
  title = 	 {Simulations between programs as cellular automata},
  crossref =	 {lpnmr97},
  pages =	 {115--131}
}

@InProceedings{lpnmr97:janhunen,
  author = 	 {T. Janhunen},
  title = 	 {Separating disbeliefs from beliefs in autoepistemic
                  reasoning},
  crossref =	 {lpnmr97},
  pages =	 {132--151}
}

@InProceedings{lpnmr97:zhang-rounds,
  author = 	 {G.-Q. Zhang and W. C. Rounds},
  title = 	 {Power Defaults},
  crossref =	 {lpnmr97},
  pages =	 {152--169}
}

@InProceedings{lpnmr97:bochman,
  author = 	 {A. Bochman},
  title = 	 {A study of {P}rzymusinski's static semantics},
  crossref =	 {lpnmr97},
  pages =	 {170--184}
}

@InProceedings{lpnmr97:bonatti,
  author = 	 {P. A. Bonatti},
  title = 	 {Resolution for skeptical stable semantics},
  crossref =	 {lpnmr97},
  pages =	 {185--197}
}

@InProceedings{lpnmr97:eiter-lu-subrahmanian,
  author = 	 {T. Eiter and J. Lu and V. S. Subrahmanian},
  title = 	 {Computing non-ground representations of stable
                  models},
  crossref =	 {lpnmr97},
  pages =	 {198--217}
}

@InProceedings{lpnmr97:karig,
  author = 	 {M. R. Karig},
  title = 	 {Industry needs for integrated information services
                  ({I}nvited {T}alk)},
  crossref =	 {lpnmr97},
  pages =	 {218--219}
}

@InProceedings{lpnmr97:buchberger,
  author = 	 {B. Buchberger},
  title = 	 {Computing, solving, proving: {A} report on the
                  {T}heorema project ({I}nvited {T}alk)},
  crossref =	 {lpnmr97},
  pages =	 {220--221}
}

@InProceedings{lpnmr97:gelfond,
  author = 	 {M. Gelfond},
  title = 	 {Towards a systematic approach to representing
                  knowledge in declarative logic programming
                  ({I}nvited {T}alk)},
  crossref =	 {lpnmr97},
  pages =	 {222--223}
}

@InProceedings{lpnmr97:damasio-pereira,
  author = 	 {C. V. Dam{\'a}sio and L. M. Pereira},
  title = 	 {A paraconsistent semantics with contradiction
                  support detection},
  crossref =	 {lpnmr97},
  pages =	 {224--243}
}

@InProceedings{lpnmr97:dekhtyar-dikovsky-spyratos,
  author = 	 {M. Dekhtyar and A. Dikovsky and N. Spyratos},
  title = 	 {On conservative enforced updates},
  crossref =	 {lpnmr97},
  pages =	 {244--257}
}

@InProceedings{lpnmr97:witteveen-hoek,
  author = 	 {C. Witteveen and W. van der Hoek},
  title = 	 {A general framework for revising non-monotonic
                  theories},
  crossref =	 {lpnmr97},
  pages =	 {258--272}
}

@InProceedings{lpnmr97:brogi-contiero-turini,
  author = 	 {A. Brogi and S. Contiero and F. Turini},
  title = 	 {Composing general logic programs},
  crossref =	 {lpnmr97},
  pages =	 {273--288}
}

@InProceedings{lpnmr97:eiter-gottlob-veith,
  author = 	 {T. Eiter and G. Gottlob and H. Veith},
  title = 	 {Modular logic programming and generalized
                  quantifiers},
  crossref =	 {lpnmr97},
  pages =	 {289--308}
}

@InProceedings{lpnmr97:petukhin,
  author = 	 {V. Petukhin},
  title = 	 {Programs with universally quantified embedded
                  implications},
  crossref =	 {lpnmr97},
  pages =	 {309--323}
}

@InProceedings{lpnmr97:yahya,
  author = 	 {A. H. Yahya},
  title = 	 {Generalized query answering in disjunctive deductive
                  databases: {P}rocedural and non-monotonic aspects},
  crossref =	 {lpnmr97},
  pages =	 {324--340}
}

@InProceedings{lpnmr97:aravindan-dix-niemelae,
  author = 	 {C. Aravindan and J. Dix and I. Niemel{\"a}},
  title = 	 {Dis{L}o{P}: {T}owards a disjunctive logic
                  programming system},
  crossref =	 {lpnmr97},
  pages =	 {341--352}
}

@InProceedings{lpnmr97:damasio-pereira-schroeder,
  author = 	 {C. V. Damasio and L. M. Pereira and M. Schroeder},
  title = 	 {{REVISE}: {L}ogic programming and diagnosis},
  crossref =	 {lpnmr97},
  pages =	 {353--362}
}

@InProceedings{lpnmr97:eiter-etal,
  author = 	 {T. Eiter and N. Leone and C. Mateis and G. Pfeifer
                  and F. Scarcello},
  title = 	 {A deductive system for non-monotonic reasoning},
  crossref =	 {lpnmr97},
  pages =	 {363--374}
}

@InProceedings{lpnmr97:zukowski-freitag,
  author = 	 {U. Zukowski and B. Freitag},
  title = 	 {The deductive database system {LOLA}},
  crossref =	 {lpnmr97},
  pages =	 {375--386}
}

@InProceedings{lpnmr97:kakas-mourlas,
  author = 	 {A. C. Kakas and C. Mourlas},
  title = 	 {{ACLP}: {F}lexible solutions to complex problems},
  crossref =	 {lpnmr97},
  pages =	 {387--398}
}

@InProceedings{lpnmr97:kandzia,
  author = 	 {P.-T. Kandzia},
  title = 	 {Non-monotonic reasoning in {FLORID}},
  crossref =	 {lpnmr97},
  pages =	 {399--409}
}

@InProceedings{lpnmr97:neugebauer-schaefer,
  author = 	 {G. Neugebauer and D. Sch{\"a}fer},
  title = 	 {{GLUE}: {O}pening the world to theorem provers},
  crossref =	 {lpnmr97},
  pages =	 {410--419}
}

@InProceedings{lpnmr97:niemelae-simons,
  author = 	 {I. Niemel{\"a} and P. Simons},
  title = 	 {Smodels --- An implementation of the stable model
                  and well-founded semantics for normal {LP}},
  crossref =	 {lpnmr97},
  pages =	 {420--429}
}

@InProceedings{lpnmr97:rao-etal,
  author = 	 {P. Rao and K. Sagonas and T. Swift and D. S. Warren and
                  J. Freire},
  title = 	 {{XSB}: {A} system for efficiently computing {WFS}},
  crossref =	 {lpnmr97},
  pages =	 {430--440}
}

@InProceedings{lpnmr97:schaub-nicolas,
  author = 	 {T. Schaub and P. Nicolas},
  title = 	 {An implementation platform for query-answering in
                  default logics: The {X-RAY} system, its
                  implementation and evaluation},
  crossref =	 {lpnmr97},
  pages =	 {441--452}
}

@Proceedings{lpnmr97,
  title = 	 "Proceedings of the Fourth " # lpnmr,
  booktitle =    "Proocedings of the Fourth " # lpnmr,
  year = 	 1997,
  editor =	 {J{\"u}rgen Dix and Ulrich Furbach and Anil Nerode},
  number =	 1265,
  series =	 lnai,
  publisher =	 {Springer-Verlag}
}

%%% Local Variables: 
%%% mode: BibTeX
%%% TeX-master: shared
%%% End: