Sebastian Bab

According to our database, Sebastian Bab authored at least 9 papers between 2005 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

On Self-adapting Recommendations of Curricula for an Individual Learning Experience.

Sebastian Bab, Luise Kranich

Proceedings of the Scaling up Learning for Sustained Impact, 2013

2012

Propositional Logics for the Reasoning about Knowledge Integrations.

Sebastian Bab

Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012

2011

Towards a Formal Model of Privacy-Sensitive Dynamic Coalitions

Sebastian Bab, Nadim Sarrouh

Proceedings of the Proceedings Third Workshop on Formal Aspects of Virtual Organisations, 2011

On the Integration of Knowledge in a Propositional Logical Layer.

Sebastian Bab

Proceedings of the KEOD 2011, 2011

Formale Modellierung von Access-Control-Policies in Dynamischen Koalitionen.

Sebastian Bab, Nadim Sarrouh

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

2008

€μ-Logics - Propositional Logics with Self-Reference and Modalities.

Sebastian Bab

Proceedings of the Autonomous Systems, 2008

2007

ε-μ-Logik: eine Theorie propositionaler Logiken.

Sebastian Bab

PhD thesis, 2007

2005

One query reducibilities between partial information classes.

Sebastian Bab, Arfst Nickelsen

Theor. Comput. Sci., 2005

in_T-Integration of Logics.

Bernd Mahr, Sebastian Bab

Proceedings of the Formal Methods in Software and Systems Modeling, 2005