We stand with Ukraine  

Bernhard Heinemann

Orcid: 0000-0001-9788-7864

Affiliations:
  • University of Hagen, Germany


According to our database1, Bernhard Heinemann authored at least 57 papers between 1991 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Reusing Topological Nexttime Logic.
[BibTeX]
[DOI]
Bernhard Heinemann
Stud Logica, 2020

2019
Topological facets of the logic of subset spaces (with emphasis on canonical models).
[BibTeX]
[DOI]
Bernhard Heinemann
J. Log. Comput., 2019

2016
Augmenting Subset Spaces to Cope with Multi-agent Knowledge.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

A Subset Space Perspective on Agents Cooperating for Knowledge.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Knowledge Science, Engineering and Management, 2016

2015
On Topologically Relevant Fragments of the Logic of Linear Flows of Time.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Logic, Language, Information, and Computation, 2015

Subset Spaces Modeling Knowledge-Competitive Agents.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Knowledge Science, Engineering and Management, 2015

2014
Coming Upon the Classic Notion of Implicit Knowledge Again.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Knowledge Science, Engineering and Management, 2014

Enumeration of Maximum Common Subtree Isomorphisms with Polynomial-Delay.
[BibTeX]
[DOI]
Andre Droschinsky
,
Bernhard Heinemann
,
Nils M. Kriege
,
Petra Mutzel
Proceedings of the Algorithms and Computation - 25th International Symposium, 2014

2013
Characterizing Subset Spaces as Bi-topological Structures.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

2012
Characterizing Certain Topological Specifications.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Computer Science - Theory and Applications, 2012

2010
Using Hybrid Logic for Coping with Functions in Subset Spaces.
[BibTeX]
[DOI]
Bernhard Heinemann
Stud Logica, 2010

Logics for multi-subset spaces.
[BibTeX]
[DOI]
Bernhard Heinemann
J. Appl. Non Class. Logics, 2010

Refining the Notion of Effort.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the ECAI 2010, 2010

The Cantor Space as a Generic Model of Topologically Presented Knowledge.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Computer Science, 2010

2009
Observational Effort and Formally Open Mappings.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Logic, 2009

2008
A Hybrid Logic for Reasoning about Knowledge and Topology.
[BibTeX]
[DOI]
Bernhard Heinemann
J. Log. Lang. Inf., 2008

Regarding Overlapping as a Basic Concept of Subset Spaces.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008

Topology and Knowledge of Multiple Agents.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Advances in Artificial Intelligence, 2008

Modelling Uniformity and Control during Knowledge Acquisition.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008

2007
Including the Past in 'Topologic'.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Some Spatial and Spatio-Temporal Operators Derived from the Topological View of Knowledge.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

A PDL-Like Logic of Knowledge Acquisition.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Computer Science, 2007

Reasoning About Operations on Sets.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Advances in Artificial Intelligence, 2007

2006
Reasoning about Knowledge and Continuity.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

Regarding Overlaps in 'Topologic'.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Advances in Modal Logic 6, 2006

2005
The Topological Effect of Improving Knowledge Acquisition.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005

Algebras as Knowledge Structures.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Mathematical Foundations of Computer Science 2005, 2005

A Spatio-Temporal View of Knowledge.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, 2005

2004
A Modal Logic for Discretely Descending Chains of Sets.
[BibTeX]
[DOI]
Bernhard Heinemann
Stud Logica, 2004

The Hybrid Logic of Linear Set Spaces.
[BibTeX]
[DOI]
Bernhard Heinemann
Log. J. IGPL, 2004

A Hybrid Logic of Knowledge Supporting Topological Reasoning.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Algebraic Methodology and Software Technology, 2004

A Two sorted Hybrid Logic Including Guarded Jumps.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Advances in Modal Logic 5, 2004

2003
An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Extended Canonicity of Certain Topological Properties of Set Spaces.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Logic for Programming, 2003

2002
Linear Tense Logics of Increasing Sets.
[BibTeX]
[DOI]
Bernhard Heinemann
J. Log. Comput., 2002

A Hybrid Treatment of Evolutionary Sets.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the MICAI 2002: Advances in Artificial Intelligence, 2002

Knowledge over Dense Flows of Time (from a Hybrid Point of View).
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

Towards Uniform Reasoning via Structured Subset Spaces.
[BibTeX]
[DOI]
Bernhard Heinemann
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.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

Modelling Change with the Aid of Knowledge and Time.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Fundamentals of Computation Theory, 13th International Symposium, 2001

2000
Extending Topological Nexttime Logic.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000

Generalizing the Modal and Temporal Logic of Linear Time.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999
Temporal Aspects of the Modal Logic of Subset Spaces.
[BibTeX]
[DOI]
Bernhard Heinemann
Theor. Comput. Sci., 1999

The Complexity of Certain Modal Formulas on Binary Ramified Subset Trees.
[BibTeX]
[DOI]
Bernhard Heinemann
Fundam. Informaticae, 1999

On Sets Growing Continously.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1999

1998
Topological Modal Logics Satisfying Finite Chain Conditions.
[BibTeX]
[DOI]
Bernhard Heinemann
Notre Dame J. Formal Log., 1998

Separating Sets by Modal Formulas.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Algebraic Methodology and Software Technology, 1998

1997
On Binary Computation Structures.
[BibTeX]
[DOI]
Bernhard Heinemann
Math. Log. Q., 1997

Revisiting Knowledge and Time from a Topological Point of View.
[BibTeX]
Bernhard Heinemann
Proceedings of the Sixth Scandinavian Conference on Artificial Intelligence, 1997

A Topological Generalization of Propositional Linear Time Temporal Logic.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997

On the Complexity of Prefix Formulas in Modal Logic of Subset Spaces.
[BibTeX]
[DOI]
Bernhard Heinemann
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.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

1996
Expressive Completeness of Modal Logic on Binary Ramified Frames.
[BibTeX]
[DOI]
Bernhard Heinemann
J. Appl. Non Class. Logics, 1996

Topological Nexttime Logic.
[BibTeX]
Bernhard Heinemann
Proceedings of the Advances in Modal Logic 1, 1996

1994
On Expressive Completeness of Modal Logic.
[BibTeX]
[DOI]
Bernhard Heinemann
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

1991
Logik für Informatiker - eine Einführung.
[BibTeX]
Bernhard Heinemann
,
Klaus Weihrauch
Leitfäden und Monographien der Informatik, Teubner, ISBN: 978-3-519-02248-0, 1991


  Loading...