Karl Schlechta

69 papers A 1B 2C 3Journal 50Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
CoRR
Karl Schlechta
2023 J jnl
CoRR
Karl Schlechta
2023 J jnl
FLAP
Karl Schlechta
2021 J jnl
CoRR
Karl Schlechta
2019 J jnl
CoRR
Karl Schlechta
2019 J jnl
CoRR
Karl Schlechta
2019 J jnl
CoRR
Karl Schlechta
2018 J jnl
CoRR
Karl Schlechta
2018 — book
Karl Schlechta
2018 — book
Karl Schlechta
2018 J jnl
CoRR
Karl Schlechta
2018 J jnl
CoRR
Karl Schlechta
2017 J jnl
CoRR
Karl Schlechta
2016 J jnl
CoRR
Karl Schlechta
2016 — book
Dov M. Gabbay, Karl Schlechta
2011 — book
Dov M. Gabbay, Karl Schlechta
2011 J jnl
CoRR
Dov M. Gabbay, Karl Schlechta
2010 J jnl
Stud Logica
Dov M. Gabbay, Karl Schlechta
2010 J jnl
J. Log. Lang. Inf.
Dov M. Gabbay, Karl Schlechta
2010 — book
Dov M. Gabbay, Karl Schlechta
2010 J jnl
J. Appl. Non Class. Logics
Dov M. Gabbay, Karl Schlechta
2009 J jnl
Log. J. IGPL
Dov M. Gabbay, Karl Schlechta
2009 J jnl
Stud Logica
Dov M. Gabbay, Karl Schlechta
2009 J jnl
Rev. Symb. Log.
Dov M. Gabbay, Karl Schlechta
2009 J jnl
J. Appl. Non Class. Logics
Dov M. Gabbay, Karl Schlechta
2009 J jnl
Rev. Symb. Log.
Dov M. Gabbay, Karl Schlechta
2008 J jnl
Rev. Symb. Log.
Dov M. Gabbay, Karl Schlechta
2007 — ch.
The Many Valued and Nonmonotonic Turn in Logic
Karl Schlechta
2006 J jnl
CoRR
Karl Schlechta
2002 J jnl
CoRR
Daniel Lehmann, Menachem Magidor, Karl Schlechta
2002 J jnl
CoRR
Shai Berger, Daniel Lehmann, Karl Schlechta
2001 J jnl
J. Symb. Log.
Daniel Lehmann, Menachem Magidor, Karl Schlechta
2001 J jnl
Theor. Comput. Sci.
Karl Schlechta, Jürgen Dix
2000 J jnl
Fundam. Informaticae
Karl Schlechta, Laurent Gourmelen, Stéphanie Motré, Olivier Rolland, Bensalah Tahar
2000 J jnl
J. Symb. Log.
Karl Schlechta
2000 J jnl
J. Log. Comput.
Karl Schlechta
1999 J jnl
J. Log. Comput.
Karl Schlechta
1999 J jnl
Log. J. IGPL
Laurent Audibert, Cédric Lhoussaine, Karl Schlechta
1999 — conf
FSTTCS
Jürgen Dix, Karl Schlechta
1999 J jnl
J. Log. Comput.
Shai Berger, Daniel Lehmann, Karl Schlechta
1999 J jnl
J. Appl. Non Class. Logics
Karl Schlechta
1997 J jnl
Log. J. IGPL
Karl Schlechta
1997 J jnl
Log. J. IGPL
Karl Schlechta
1997 — book
Karl Schlechta
1996 J jnl
Fundam. Informaticae
Karl Schlechta
1996 J jnl
J. Log. Lang. Inf.
Karl Schlechta
1996 B conf
TARK
Karl Schlechta, Daniel Lehmann, Menachem Magidor
1996 — ch.
Logic, Action, and Information
Karl Schlechta
1996 J jnl
J. Log. Comput.
Karl Schlechta
1995 C conf
ECSQARU
Karl Schlechta
1995 C conf
ECSQARU
Karl Schlechta
1995 J jnl
J. Log. Comput.
Karl Schlechta
1995 J jnl
J. Autom. Reason.
Karl Schlechta
1995 J jnl
J. Log. Comput.
Karl Schlechta
1995 J jnl
Log. J. IGPL
Karl Schlechta
1994 J jnl
J. Appl. Non Class. Logics
Karl Schlechta, David Makinson
1993 C conf
ECSQARU
Franz Baader, Karl Schlechta
1993 J jnl
J. Log. Comput.
Karl Schlechta
1992 J jnl
Results on Non-Monotonic Logics.
IWBS Report
Karl Schlechta
1992 J jnl
J. Log. Comput.
Karl Schlechta
1991 J jnl
Artif. Intell.
David Makinson, Karl Schlechta
1991 B conf
LPNMR
Gerhard Brewka, David Makinson, Karl Schlechta
1991 J jnl
Notre Dame J. Formal Log.
Karl Schlechta
1990 — conf
Nonmonotonic and Inductive Logic
Gerhard Brewka, David Makinson, Karl Schlechta
1990 J jnl
Arch. Math. Log.
Ronald B. Jensen, Karl Schlechta
1990 A conf
ECAI
Karl Schlechta
1989 — conf
The Logic of Theory Change
Karl Schlechta
1988 — conf
GWAI
Karl Schlechta
1988 — conf
GWAI
Karl Schlechta
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski