|
|
Project PartnersProf. Dr. Torsten Schaub
Institute of Computer Science / Knowledge Processing and Information Systems Core Competency:Our major research interest lies in the construction of systems for handling incomplete, inconsistent or evolutionary information that allow for qualitative modelling of complex systems. We apply these systems in the context of bioinformatics, among others, for modelling and advanced simulation of biological networks. Contribution to Work Programme:WP1: Causal languages allow for expressing high-level specifications designed for representing dynamical systems. Two salient features of this approach are its declarativeness and succinctness, making it highly elaboration tolerant. A causal specification can be used for various purposes, among them, prediction and simulation, explanation and diagnosis, planning of experiments, etc. The idea is to express a biological network in a causal language that is subsequently treated with model based automatic problem solvers, like SAT- or ASP-solvers (being highly optimised and allowing for treating state spaces of over one million variables). The major contribution of this partner will be to WP1. GoFORSYS Publications of the Group:Gebser, M., T. Schaub, et al. (2007). GrinGo: a new grounder for answer set programming. Logic Programming and Nonmonotonic Reasoning. 9th International Conference, LPNMR 2007. Proceedings, Tempe, AZ, USA, Springer. Dworschak, S., S. Grell, et al. (2008). "Modeling biological networks by action languages via answer set programming." Constraints 13(1-2): 21-65. Dworschak, S., T. Grote, et al. (2008). Tools for Representing and Reasoning about Biological Models in Action Language C. Twelfth International Workshop on Nonmonotonic Reasoning, School of Computer Science and Engineering, The University of New South Wales. Dworschak, S., T. Grote, et al. (2008). The system BioC for reasoning about biological models in action Language C*. 2008 20th IEEE International Conference on Tools with Artificial Intelligence, Dayton, OH, USA, Ieee. Gebser, M., T. Schaub, et al. (2008). Detecting Inconsistencies in Large Biological Networks with Answer Set Programming. 24th International Conference on Logic Programming (ICLP), Udine, ITALY, Springer-Verlag Berlin Gebser, M., R. Kaminski, et al. (2008). Engineering an Incremental ASP Solver. 24th International Conference on Logic Programming (ICLP), Udine, ITALY, Springer-Verlag Berlin.
|
|
Contact
