BibSLEIGH — Torsten

Travelled to:

1 × Australia
1 × Denmark
1 × France
1 × Germany
1 × Hungary
1 × Japan
1 × Portugal
2 × Canada
2 × Italy
6 × USA

Collaborated with:

M.Gebser R.Kaminski M.Ostrowski ∅ B.Kaufmann J.P.Delgrande H.Tompits S.Thiele S.Woltran H.Hoos P.Besnard B.Andres A.Siegel P.Veber M.T.Lindauer S.Grell J.Selbig S.Brüning P.Nicolas T.Grote S.Videla O.Matheis M.T.Schneider G.Flouris G.Antoniou A.Biewer J.Gladigau C.Haubelt A.Harrison V.Lifschitz M.Banbara T.Soh N.Tamura K.Inoue M.Durzinsky W.Marwan A.Wagler B.Usadel D.Pearce V.Sarsakov P.Obermeier O.Sabuncu C.Guziolowski M.Ivanchev C.Drescher A.König

Talks about:

program (17) answer (17) set (17) asp (8) network (6) reason (5) logic (5) system (4) solv (4) base (4)

Person: Torsten Schaub

DBLP: Schaub:Torsten

Facilitated 2 volumes:

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2004

2002

2000

1996

1994

1991

Wrote 34 papers:

DATE-2015-BiewerAGSH #approach #coordination #realtime #synthesis: A symbolic system synthesis approach for hard real-time systems based on coordinated SMT-solving (AB, BA, JG, TS, CH), pp. 357–362.
ICLP-J-2015-GebserHKLS: Abstract gringo (MG, AH, RK, VL, TS), pp. 449–463.
ICLP-J-2014-HoosLS #algorithm #programming #set: claspfolio 2: Advances in Algorithm Selection for Answer Set Programming (HH, MTL, TS), pp. 569–585.
ICLP-J-2013-BanbaraSTIS #modelling #programming #set: Answer set programming as a modeling language for course timetabling (MB, TS, NT, KI, TS), pp. 783–798.
ICLP-J-2013-KaminskiSSV #logic #network: Minimal intervention strategies in logical signaling networks with ASP (RK, TS, AS, SV), pp. 675–690.
ICLP-2012-AndresKMS #optimisation #satisfiability: Unsatisfiability-based optimization in clasp (BA, BK, OM, TS), pp. 211–221.
ICLP-2012-HoosKSS #named #scheduling: aspeed: ASP-based Solver Scheduling (HH, RK, TS, MTS), pp. 176–187.
ICLP-J-2012-GebserKS #concurrent #multi #thread: Multi-threaded ASP solving with clasp (MG, BK, TS), pp. 525–545.
ICLP-J-2012-OstrowskiS #csp: ASP modulo CSP: The clingcon system (MO, TS), pp. 485–503.
KR-2012-GebserGKOSS #programming #reasoning #set: Stream Reasoning with Answer Set Programming: Preliminary Report (MG, TG, RK, PO, OS, TS).
ICLP-2011-GebserKKS #multi #optimisation #programming #set: Multi-Criteria Optimization in Answer Set Programming (MG, RK, BK, TS), pp. 1–10.
ICLP-2011-OstrowskiFSA #evolution #ontology #using: Evolution of Ontologies using ASP (MO, GF, TS, GA), pp. 16–27.
ICLP-J-2011-DurzinskyMOSW #automation #network #re-engineering #using: Automatic network reconstruction using ASP (MD, WM, MO, TS, AW), pp. 749–766.
ICLP-J-2011-GebserKS #optimisation #programming #set: Complex optimization in answer set programming (MG, RK, TS), pp. 821–839.
KR-2010-GebserGISSTV #biology #consistency #network #nondeterminism #predict #programming #scalability #set: Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming (MG, CG, MI, TS, AS, ST, PV).
ICLP-2009-DelgrandeSTW #logic programming #semantics #set #source code: Merging Logic Programs under Answer Set Semantics (JPD, TS, HT, SW), pp. 160–174.
ICLP-2009-GebserKKS #constraints #implementation #on the: On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (MG, RK, BK, TS), pp. 250–264.
ICLP-2009-GebserOS #constraints #set: Constraint Answer Set Solving (MG, MO, TS), pp. 235–249.
ICLP-2009-SchaubT #network #programming #set: Metabolic Network Expansion with Answer Set Programming (TS, ST), pp. 312–326.
FLOPS-2008-Schaub #information management #modelling #programming #reasoning #representation #set: Model-Based Knowledge Representation and Reasoning Via Answer Set Programming (TS), pp. 1–2.
ICLP-2008-GebserKKOST #incremental: Engineering an Incremental ASP Solver (MG, RK, BK, MO, TS, ST), pp. 190–205.
ICLP-2008-GebserSTUV #biology #consistency #detection #network #nondeterminism #programming #scalability #set: Detecting Inconsistencies in Large Biological Networks with Answer Set Programming (MG, TS, ST, BU, PV), pp. 130–144.
ICLP-2008-Schaub #exclamation #programming #set: Here’s the Beef: Answer Set Programming ! (TS), pp. 93–98.
KR-2008-DelgrandeSTW #logic programming #semantics #set #source code: Belief Revision of Logic Programs under Answer Set Semantics (JPD, TS, HT, SW), pp. 411–421.
KR-2008-DrescherGGKKOS #set: Conflict-Driven Disjunctive Answer Set Solving (CD, MG, TG, BK, AK, MO, TS), pp. 422–432.
ICLP-2007-GebserS #programming #set: Generic Tableaux for Answer Set Programming (MG, TS), pp. 119–133.
ICLP-2006-GebserS #calculus #programming #set: Tableau Calculi for Answer Set Programming (MG, TS), pp. 11–25.
ICLP-2006-GrellSS #biology #modelling #network #programming #set: Modelling Biological Networks by Action Languages Via Answer Set Programming (SG, TS, JS), pp. 285–299.
KR-2004-DelgrandeST #reasoning: Domain-Specific Preferences for Causal Reasoning and Planning (JPD, TS, HT), pp. 673–682.
ICLP-2002-PearceSSTW #logic programming #polynomial #source code: A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report (DP, VS, TS, HT, SW), pp. 405–420.
KR-2000-BesnardS: Significant Inferences : Preliminary Report (PB, TS), pp. 401–410.
CADE-1996-SchaubBN #named #prolog #proving #reasoning #theorem proving: XRay: A Prolog Technology Theorem Prover for Default Reasoning: A System Description (TS, SB, PN), pp. 293–297.
KR-1994-DelgrandeS #approach #reasoning: A General Approach to Specificity in Default Reasoning (JPD, TS), pp. 146–157.
KR-1991-Schaub #perspective #semantics: Assertional Default Theories: A Semantical View (TS), pp. 496–506.