All Stories

  1. Shift Design with Answer Set Programming*

    Article • Fundamenta Informaticae, November 2016, IOS Press

    Professor Torsten Schaub, Nysret Musliu

  2. Answer Set Programming Modulo Acyclicity*

    Article • Fundamenta Informaticae, November 2016, IOS Press

    Professor Torsten Schaub

  3. Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning

    Article • January 2013, Springer Science + Business Media

    Professor Torsten Schaub

  4. Matchmaking with Answer Set Programming

    Article • January 2013, Springer Science + Business Media

    Professor Torsten Schaub

  5. Reactive Answer Set Programming

    Article • January 2011, Springer Science + Business Media

    Professor Torsten Schaub

  6. Coala: A Compiler from Action Languages to ASP

    Article • January 2010, Springer Science + Business Media

    Professor Torsten Schaub

  7. Representing Paraconsistent Reasoning via Quantified Propositional Logic

    Article • January 2005, Springer Science + Business Media

    Professor Torsten Schaub

  8. Introduction to Inconsistency Tolerance

    Article • January 2005, Springer Science + Business Media

    Professor Torsten Schaub

  9. Expressing preferences in default logic

    Article • Artificial Intelligence, October 2000, Elsevier

    Professor Torsten Schaub

  10. A Connection Calculus for Handling Incomplete Information

    Article • January 2000, Springer Science + Business Media

    Professor Torsten Schaub

  11. Prolog technology for default reasoning: proof theory and compilation techniques

    Article • Artificial Intelligence, November 1998, Elsevier

    Professor Torsten Schaub

  12. The Family of Default Logics

    Article • January 1998, Springer Science + Business Media

    Professor Torsten Schaub

  13. Skeptical query-answering in Constrained Default Logic

    Article • January 1996, Springer Science + Business Media

    Professor Torsten Schaub

  14. A model-based approach to consistency-checking

    Article • January 1996, Springer Science + Business Media

    Professor Torsten Schaub

  15. Generic Tableaux for Answer Set Programming

    Article • Springer Science + Business Media

    Professor Torsten Schaub

  16. Here’s the Beef: Answer Set Programming !

    Article • Springer Science + Business Media

    Professor Torsten Schaub