Bernhard Heinemann
According to our database^{1},
Bernhard Heinemann
authored at least 55 papers
between 1991 and 2016.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at zbmath.org
On csauthors.net:
Bibliography
2016
Augmenting Subset Spaces to Cope with Multiagent Knowledge.
Proceedings of the Logical Foundations of Computer Science  International Symposium, 2016
A Subset Space Perspective on Agents Cooperating for Knowledge.
Proceedings of the Knowledge Science, Engineering and Management, 2016
2015
On Topologically Relevant Fragments of the Logic of Linear Flows of Time.
Proceedings of the Logic, Language, Information, and Computation, 2015
Subset Spaces Modeling KnowledgeCompetitive Agents.
Proceedings of the Knowledge Science, Engineering and Management, 2015
2014
Coming Upon the Classic Notion of Implicit Knowledge Again.
Proceedings of the Knowledge Science, Engineering and Management, 2014
Enumeration of Maximum Common Subtree Isomorphisms with PolynomialDelay.
Proceedings of the Algorithms and Computation  25th International Symposium, 2014
2013
Characterizing Subset Spaces as Bitopological Structures.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013
Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013
2012
Characterizing Certain Topological Specifications.
Proceedings of the Computer Science  Theory and Applications, 2012
2010
Using Hybrid Logic for Coping with Functions in Subset Spaces.
Studia Logica, 2010
Logics for multisubset spaces.
Journal of Applied NonClassical Logics, 2010
Refining the Notion of Effort.
Proceedings of the ECAI 2010, 2010
The Cantor Space as a Generic Model of Topologically Presented Knowledge.
Proceedings of the Computer Science, 2010
2009
Observational Effort and Formally Open Mappings.
Proceedings of the Logic, 2009
2008
A Hybrid Logic for Reasoning about Knowledge and Topology.
Journal of Logic, Language and Information, 2008
Regarding Overlapping as a Basic Concept of Subset Spaces.
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008
Topology and Knowledge of Multiple Agents.
Proceedings of the Advances in Artificial Intelligence, 2008
Modelling Uniformity and Control during Knowledge Acquisition.
Proceedings of the TwentyFirst International Florida Artificial Intelligence Research Society Conference, 2008
2007
Including the Past in 'Topologic'.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007
Some Spatial and SpatioTemporal Operators Derived from the Topological View of Knowledge.
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007
A PDLLike Logic of Knowledge Acquisition.
Proceedings of the Computer Science, 2007
Reasoning About Operations on Sets.
Proceedings of the Advances in Artificial Intelligence, 2007
2006
Reasoning about Knowledge and Continuity.
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006
Regarding Overlaps in 'Topologic'.
Proceedings of the Advances in Modal Logic 6, 2006
2005
The Topological Effect of Improving Knowledge Acquisition.
Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005
Algebras as Knowledge Structures.
Proceedings of the Mathematical Foundations of Computer Science 2005, 2005
A SpatioTemporal View of Knowledge.
Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005
2004
A Modal Logic for Discretely Descending Chains of Sets.
Studia Logica, 2004
The Hybrid Logic of Linear Set Spaces.
Logic Journal of the IGPL, 2004
A Hybrid Logic of Knowledge Supporting Topological Reasoning.
Proceedings of the Algebraic Methodology and Software Technology, 2004
A Two sorted Hybrid Logic Including Guarded Jumps.
Proceedings of the Advances in Modal Logic 5, 2004
2003
An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge.
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIMEICTL 2003), 2003
Extended Canonicity of Certain Topological Properties of Set Spaces.
Proceedings of the Logic for Programming, 2003
2002
Linear Tense Logics of Increasing Sets.
J. Log. Comput., 2002
A Hybrid Treatment of Evolutionary Sets.
Proceedings of the MICAI 2002: Advances in Artificial Intelligence, 2002
Knowledge over Dense Flows of Time (from a Hybrid Point of View).
Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002
Towards Uniform Reasoning via Structured Subset Spaces.
Proceedings of the Advances in Modal Logic 4, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 2002
2001
About the Temporal Decrease of Sets.
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001
Modelling Change with the Aid of Knowledge and Time.
Proceedings of the Fundamentals of Computation Theory, 13th International Symposium, 2001
2000
Extending Topological Nexttime Logic.
Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000
Generalizing the Modal and Temporal Logic of Linear Time.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000
1999
Temporal Aspects of the Modal Logic of Subset Spaces.
Theor. Comput. Sci., 1999
The Complexity of Certain Modal Formulas on Binary Ramified Subset Trees.
Fundam. Inform., 1999
On Sets Growing Continously.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999
1998
Topological Modal Logics Satisfying Finite Chain Conditions.
Notre Dame Journal of Formal Logic, 1998
Separating Sets by Modal Formulas.
Proceedings of the Algebraic Methodology and Software Technology, 1998
1997
On Binary Computation Structures.
Math. Log. Q., 1997
Revisiting Knowledge and Time from a Topological Point of View.
Proceedings of the Sixth Scandinavian Conference on Artificial Intelligence, 1997
A Topological Generalization of Propositional Linear Time Temporal Logic.
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997
On the Complexity of Prefix Formulas in Modal Logic of Subset Spaces.
Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997
A Modal Logic for Reasoning about Knowledge and Time on Binary Subset Trees.
Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997
1996
Expressive Completeness of Modal Logic on Binary Ramified Frames.
Journal of Applied NonClassical Logics, 1996
Topological Nexttime Logic.
Proceedings of the Advances in Modal Logic 1, 1996
1994
On Expressive Completeness of Modal Logic.
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994
1991
Logik für Informatiker  eine Einführung.
Leitfäden und Monographien der Informatik, Teubner, ISBN: 9783519022480, 1991