arXiv 2002-02-18 EN Preferred History Semantics for Iterated Updates Berger, Shai · Lehmann, Daniel · Schlechta, Karl
arXiv 2002-02-18 EN What does a conditional knowledge base entail? Lehmann, Daniel · Magidor, Menachem
arXiv 2002-02-18 EN Nonmonotonic Reasoning, Preferential Models and Cumulative Logics Kraus, Sarit · Lehmann, Daniel · Magidor, Menachem
arXiv 2001-09-17 EN Verification of Timed Automata Using Rewrite Rules and Strategies Beffara, Emmanuel · Bournez, Olivier · Kacem, Hassen · Kirchner, Claude
arXiv 2000-11-08 EN Transformation-Based Bottom-Up Computation of the Well-Founded Model Brass, Stefan · Dix, Juergen · Freitag, Burkhard · Zukowski, Ulrich
arXiv 2000-03-14 EN SATEN: An Object-Oriented Web-Based Revision and Extraction Engine Williams, Mary-Anne · Sims, Aidan
arXiv 2000-03-09 EN On the tractable counting of theory models and its application to belief revision and truth maintenance Darwiche, Adnan
arXiv 2000-03-08 EN QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks Egly, Uwe · Eiter, Thomas · Tompits, Hans · Woltran, Stefan
arXiv 2000-03-08 EN Logic Programs with Compiled Preferences Delgrande, James P. · Schaub, Torsten · Tompits, Hans
arXiv 2000-03-08 EN A Compiler for Ordered Logic Programs Delgrande, James P. · Schaub, Torsten · Tompits, Hans
arXiv 2000-03-05 EN Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract) Satoh, Ken · Okamoto, Hidenori
arXiv 2000-03-05 EN Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure Satoh, Ken
