![]() |
|
| 2010/2011 | CoopQA: Tractable and Cooperative Query Answering in First-Order Knowledge Bases. Visit coopqa.de! |
| 2009/2010 | pre CQE: Preprocessing inference-proof database instances with the Oracle DBMS |
| 2007/2008 | cqeMAXSAT: Using SAT solvers to compute inference-proof propositional database instances |
| 2010/2011 | Postdoctoral Research Grant of German Exchange Service (DAAD: FIT program) |
| 2005-2007 | Dissertation grant of German Research Council (DFG-Graduiertenkolleg) |
| National Institute of Informatics |
| Inoue Laboratory |
| 2-1-2 Hitotsubashi |
| Chiyoda-ku, Tokyo 101-8430, Japan |
| Robert Bosch India, Ltd. |
| Bangalore, Karnataka, India |
| Technische Universität Dortmund |
| Fakultät für Informatik |
| Lehrstuhl VI |
| Information Systems and Security Group (ISSI) |
| Dortmund, Germany |