Seminar: Advanced Topics in Knowledge Representation and Reasoning - Topics
Area A: SAT
A1: Conflict-Driven Clause Learning
Supervisor: Dr. Stefan Wölfl
Presentation: Betim Musa
- J.P. Marques-Silva and Karem A. Sakallah. GRASP: A Search Algorithm for Propositional Satisfiability. IEEE Transactions on Computers 48(5): 506–521, 1999. (PDF)
- R.J. Bayardo Jr. and R.C. Schrag. Using CSP look-back techniques to solve real world SAT instances. Proc. 14th Nat. Conf. on Artificial Intelligence (AAAI). pp. 203–208. (PDF)
A2: Watched literals and other SAT techniques
Supervisor: Dr. Stefan Wölfl
Presentation: NN
- M.W. Moskewicz, C.F. Madigan, Y. Zhao, L. Zhang, and S. Malik. Chaff: Engineering an efficient SAT solver. Proceedings of the 38th annual Design Automation Conference. pp. 530-535, 2001. (PDF)
- G. Audemard and L. Simon. Refining restarts strategies for SAT and UNSAT. Principles and Practice of Constraint Programming, 2012. (PDF)
A3: SAT solvers and SAT competitions
Supervisor: Dr. Stefan Wölfl
Presentation: NN
- Glucose, Lingeling, etc.
Area B: Datalog and Answer Set Programming
B1: Datalog
Supervisor: Dr. Robert Mattmüller
Presentation: Kai Preuß
- S. Ceri, G. Gottlob, L. Tanca. What You Always Wanted to Know About Datalog (And Never Dared to Ask). IEEE Transactions on Knowledge & Data Engineering, vol.1, no. 1, pp. 146-166, 1989. (PDF)
- T. Eiter, G. Gottlob, and H. Mannila. Disjunctive datalog. ACM Transactions on Database Systems 22(3), 1997, pp. 364-418. (PS.GZ)
B2: Answer sets and Clarke completion
Supervisor: Dr. Stefan Wölfl
Presentation: Youssef Ibrahim
- F. Lin and Y. Zhao. ASSAT: Computing answer sets of a logic program by SAT solvers. Artificial Intelligence, 157(1-2):115–137, 2004. (PDF)
- M. Gebser, B. Kaufmann, A. Neumann, and T. Schaub. Conflict-Driven Answer Set Solving. IJCAI, pp. 386-392, 2007. (PDF)
B3: ASP solvers and ASP competitions
Supervisor: Dr. Stefan Wölfl
Presentation: NN
- Clasp, DLV, smodels, etc.
Area C: Nonmonotonic reasoning and Belief revision
C1:Cumulative logics
Supervisor: Dr. Stefan Wölfl
Presentation: Mahmoud Abdelwahab
- Kraus, S., D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, pp. 167–207, 1990. (PDF)
C2: System Z
Supervisor: Dr. Stefan Wölfl
Presentation: NN
- Moisés Goldszmidt and Judea Pearl. Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artificial Intelligence 84 (1–2), 1996, pp. 57–112. (PDF)
C3: Argumentation-theoretic approach to default reasoning
Supervisor: Prof. Dr. Felix Lindner (Juniorprof.)
Presentation: Ralvi Isufaj
- P.M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence 77, pp. 321-357, 1995. (PDF)
- A. Bondarenkoa, P.M. Dung, R.A. Kowalskic, and F. Tonic. An abstract, argumentation-theoretic approach to default reasoning. Artificial Intelligence 93(1-2), 1997. (PDF)
C4: Defaults and statistical information
Supervisor: Dr. Yusra Alkhazraji
Presentation: André Biedenkapp
- F. Bacchus, A.J. Grove, J.Y. Halpern, and Daphne Koller. From statistical knowledge bases to degrees of belief. Artificial Intelligence 87(1–2), pp. 75–143, 1996. (PDF)
Area D: Description logics and ontologies
D1: Inexpressive DLs: The EL family
Supervisor: Dr. Stefan Wölfl
Presentation: Ganindu Prabhashana
- F. Baader, S. Brandt, C. Lutz. Pushing the EL Envelope. IJCAI. pp. 364-369, 2005. (PDF)
- F. Baader, S. Brandt, and C. Lutz. Pushing the EL Envelope Further. In K. Clark and P.F. Patel-Schneider (eds.): Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008. (PDF)
D2: Expressive DLs
Supervisor: Dr. Stefan Wölfl
Presentation: NN
- I. Horrocks, O. Kutz, and U Sattler. The Even More Irresistible SROIQ. KR 2006, 2006. (PDF)
D3: DLs with concrete domains
Supervisor: Dr. Stefan Wölfl
Presentation: NN
- V. Haarslev, R. Möller, M. Wessel. The description logic ALCNH R+ extended with concrete domains: A practically motivated approach. Automated Reasoning, pp. 29-44, 2001. (PDF)
- C. Lutz. Description logics with concrete domains -- a survey. In P. Balbiani et al. (eds.): Advances in Modal Logics Volume 4. pp. 265–296, 2003. (PS.GZ)
D4: Optimization techniques for DL reasoners
Supervisor: Dr. Stefan Wölfl
Presentation: NN
- I. Horrocks. Implementation and optimization techniques. Chapter 9 of Baader et al. (eds.): The Description Logic Handbook. pp. 306-346, 2003. (PDF)
D5: Web ontology languages (OWL)
Supervisor: Dr. Benedict Wright
Presentation: Karim Khalifa
- I. Horrocks, P.F. Patel-Schneider, and F.Van Harmelen. From SHIQ and RDF to OWL: The making of a web ontology language. Web semantics: science, services and agents on the World Wide Web 1(1), pp. 7-26, 2003. (PDF)
- B.C. Grau, I. Horrocks, B. Motik, B. Parsia, P. Patel-Schneider, and U. Sattler. OWL 2: The next step for OWL. Web Semantics: science, services and agents on the World Wide Web 6(4), pp. 309-322, 2008. (PDF)
D6: Upper ontologies: DOLCE
Supervisor: Dr. Stefan Wölfl
Presentation: NN
- A. Gangemi, N. Guarino, C. Masolo, A. Oltramari, and L. Schneider. Sweetening ontologies with DOLCE. In: Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web. pp. 166-181, 2002. (PDF)
D7: Ontology-based data access
Supervisor: Dr. Stefan Wölfl
Presentation: Oliver Brunner
- D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini and R. Rosati. Data Complexity of Query Answering in Description Logics. KR, pp. 260-270, 2006. (PDF)
- R. Kontchakov, C. Lutz, D. Toman, F. Wolter, and M. Zakharyaschev. The Combined Approach to Ontology-Based Data Access, IJCAI 2011, 2011. (PDF)
D8: Ontology design patterns
Supervisor: Prof. Dr. Felix Lindner (Juniorprof.)
Presentation: NN
- A. Gangemi and V. Presutti. Ontology design patterns. In: Handbook on Ontologies, pp. 221-243, 2009. (PDF)
- Webpage: Ontology Design Patterns.org
D9: Axiom pinpointing
Supervisor: Dr. Stefan Wölfl
Presentation: NN
- F. Baader, R. Peñaloza, and B. Suntisrivaraporn. Pinpointing in the Description Logic EL+. In KI 2007, pp. 52-67. (PDF)
- F. Baader and B. Suntisrivaraporn. Debugging SNOMED CT using axiom pinpointing in the description logic EL+. In KR-MED 2008, 2008. (PDF)
Area E: Epistemic logic
E1: Knowledge and common knowledge
Supervisor: Dr. Robert Mattmüller
Presentation: Hannah Stellmach
- J.Y. Halpern and Y. Moses. Knowledge and common knowledge in a distributed environment. Journal of the ACM (JACM), 1990. (PDF)
E2: Dynamic epistemic logic
Supervisor: Dr. Robert Mattmüller
Presentation: Janosch Pelzer
- A. Baltag, L. S. Moss, and S. Solecki. The logic of public announcements and common knowledge for distributed applications. In I. Gilboa (ed.): Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Seventh Conference (TARK 1998). pp. 43–56, 1998. (PDF)
- H. van Ditmarsch, W. van der Hoek, and B. Kooi. Dynamic Epistemic Logic. (PDF)
E3: Epistemic planning
Supervisor: Dr. Thorsten Engesser
Presentation: NN
- T. Bolander and M. B. Andersen. Epistemic planning for single- and multi-agent systems. Journal of Applied Non-Classical Logics, vol. 21, no. 1, pp. 9-34, 2011. (PDF)
- B. Löwe, E. Pacuit, and A. Witzel. DEL planning and some tractable cases. Logic, Rationality, and Interaction, pp. 179-192, 2011. (PDF)
Area F: Qualitative spatial and temporal reasoning
F1: RCC8 and connectedness
Supervisor: Dr. Stefan Wölfl
Presentation: NN
- R. Kontchakov, I. Pratt-Hartmann, and M. Zakharyaschev. Spatial Reasoning with RCC8 and Connectedness Constraints in Euclidean Spaces. Artificial Intelligence 217, pp. 43-75, 2014. (PDF)
F2: Topological information and spatial change
Supervisor: Dr. Stefan Wölfl
Presentation: Lena Dietsche