Bernhard Heinemann

According to our database1, Bernhard Heinemann authored at least 55 papers between 1991 and 2016.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2016
Augmenting Subset Spaces to Cope with Multi-agent 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 Knowledge-Competitive 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 Polynomial-Delay.
Proceedings of the Algorithms and Computation - 25th International Symposium, 2014

2013
Characterizing Subset Spaces as Bi-topological 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 multi-subset spaces.
Journal of Applied Non-Classical 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 Twenty-First 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 Spatio-Temporal Operators Derived from the Topological View of Knowledge.
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

A PDL-Like 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 Spatio-Temporal 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 (TIME-ICTL 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.
SCAI, 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 Non-Classical 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: 978-3-519-02248-0, 1991


  Loading...