publish.UP Institut für Informatik und Computational Science

Institut für Informatik und Computational Science

Sort by

Über die Rolle von Architekturbeschreibungen im Software-Entwicklungsprozess (2003)

Frank, Keller

Using nested logic programs for answer set programming (2003)

Linke, Thomas

Threshold extraction in metabolite concentration data (2003)

Flöter, André ; Nicolas, Jacques ; Schaub, Torsten ; Selbig, Joachim

Suitable graphs for answer set programming (2003)

Linke, Thomas

Reasoning credulously and skeptically within a single extension (2003)

Delgrande, James Patrick ; Schaub, Torsten

Paraconsistent reasoning via quantified boolean formulas : Part II: Circumscribing inconsistent theories (2003)

Besnard, Philippe ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan

Optimality theory throught default logic (2003)

Besnard, Philippe ; Mercer, Robert E. ; Schaub, Torsten

On the relation between Reiterïs default logic and its (major) variants (2003)

Delgrande, James Patrick ; Schaub, Torsten

Metamodell zur Analyse und formalisierten Modellierung von Softwareentwicklungsprozessen (2003)

Dietze, Stefan

Lukaszewicz-style answer set programming : a preliminary report (2003)

Delgrande, James Patrick ; Gharib, Mona ; Mercer, Robert E. ; Risch, V. ; Schaub, Torsten