Search results for: Thomas Linke
Biotechnology Progress > 38 > 2 > n/a - n/a
Biotechnology and Bioengineering > 119 > 1 > 48 - 58
AMB Express > 2017 > 7 > 1 > 1-14
Lecture Notes in Computer Science > Symbolic and Quantitative Approaches to Reasoning and Uncertainty > 268-278
Lecture Notes in Computer Science > Automated Reasoning > NoMoRe: A System for Non-Monotonic Reasoning with Logic Programs under Answer Set Semantics > 325-330
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 95-109
Lecture Notes in Computer Science > Symbolic and Quantitative Approaches to Reasoning and Uncertainty > 285-292
Lecture Notes in Computer Science > Logic Programming and Nonmotonic Reasoning > System Description > 406-410
Lecture Notes in Computer Science > Logics in Artificial Intelligence > Optimization Issues in Answer Set Semantics > 468-480
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 154-168
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > System Track > 422-426
Lecture Notes in Computer Science > Logics in Artificial Intelligence > Non-monotonic Reasoning > 233-247
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Contributed Papers > 247-261
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Regular Papers > 127-140
FEBS Letters > 2013 > 587 > 19 > 3159-3165