Searching for authors named "Torsten Schaub" – sorted by Relevance.
68 documents found, showing 1 through 10.
Next 10 →
-
Here’s the beef: Answer Set Programming!
- …Here’s the beef: Answer Set Programming ! Torsten Schaub ⋆ Universität Potsdam, Institut für…
- Add To MetaCart
-
Significant Inferences: Preliminary Report
- … propose a natural deduction system along the intuitions sketched above. Torsten Schaub Institut für…
- Add To MetaCart
-
Alternative foundations for Reiter's default logic
- …Alternative foundations for Reiter’s default logic Thomas Linke and Torsten Schaub Institut für…
- Cited by 4 (2 self) – Add To MetaCart
-
Skeptical Query-Answering in Constrained Default Logic
- …Skeptical Query-Answering in Constrained Default Logic Torsten Schaub 1 and Michael Thielscher 2…
- Cited by 5 (4 self) – Add To MetaCart
-
Minimal belief and negation as failure: A feasible approach
- …Minimal belief and negation as failure: A feasible approach Antje Beringer and Torsten Schaub FG…
- Cited by 7 (0 self) – Add To MetaCart
-
An approach to query-answering in Reiter's default logic and the underlying existence of extensions problem
- … problem Thomas Linke and Torsten Schaub Institut fur Informatik, Universitat Potsdam Postfach 60 15 53, D…
- Cited by 1 (1 self) – Add To MetaCart
-
Preferred Well-Founded Semantics for Logic Programming By Alternating Fixpoints
- … Science at Simon £ Fraser University, Burnaby, Canada. Torsten Schaub and Kewen Wang Institut für…
- Cited by 3 (2 self) – Add To MetaCart
-
Loops: Relevant or redundant
- …Loops: Relevant or Redundant? Martin Gebser and Torsten Schaub Institut für Informatik…
- Cited by 5 (4 self) – Add To MetaCart
-
T.: Characterizing ASP inferences by unit propagation
- …Characterizing ASP Inferences by Unit Propagation Martin Gebser and Torsten Schaub ⋆ Institut für…
- Cited by 1 (0 self) – Add To MetaCart
-
A Comparative Study of Logic Programs with Preference
- …A Comparative Study of Logic Programs with Preference Torsten Schaub and Kewen Wang Institut…
- Cited by 22 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
