Bernhard Heinemann

57 papers A 1B 10C 9Misc 12Journal 13Unranked 11

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Reusing Topological Nexttime Logic. Stud Logica Bernhard Heinemann
2019	J	`jnl`	Topological facets of the logic of subset spaces (with emphasis on canonical models). J. Log. Comput. Bernhard Heinemann
2016	C	`conf`	A Subset Space Perspective on Agents Cooperating for Knowledge. KSEM Bernhard Heinemann
2016	Misc	`conf`	Augmenting Subset Spaces to Cope with Multi-agent Knowledge. LFCS Bernhard Heinemann
2015	C	`conf`	On Topologically Relevant Fragments of the Logic of Linear Flows of Time. WoLLIC Bernhard Heinemann
2015	C	`conf`	Subset Spaces Modeling Knowledge-Competitive Agents. KSEM Bernhard Heinemann
2014	C	`conf`	Coming Upon the Classic Notion of Implicit Knowledge Again. KSEM Bernhard Heinemann
2014	B	`conf`	Enumeration of Maximum Common Subtree Isomorphisms with Polynomial-Delay. ISAAC Andre Droschinsky, Bernhard Heinemann, Nils M. Kriege, Petra Mutzel
2013	B	`conf`	Characterizing Subset Spaces as Bi-topological Structures. LPAR Bernhard Heinemann
2013	Misc	`conf`	Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference. LFCS Bernhard Heinemann
2012	Misc	`conf`	Characterizing Certain Topological Specifications. CSR Bernhard Heinemann
2010	J	`jnl`	Logics for multi-subset spaces. J. Appl. Non Class. Logics Bernhard Heinemann
2010	A	`conf`	Refining the Notion of Effort. ECAI Bernhard Heinemann
2010	Misc	`conf`	The Cantor Space as a Generic Model of Topologically Presented Knowledge. CSR Bernhard Heinemann
2010	J	`jnl`	Using Hybrid Logic for Coping with Functions in Subset Spaces. Stud Logica Bernhard Heinemann
2009	C	`conf`	Observational Effort and Formally Open Mappings. WoLLIC Bernhard Heinemann
2008	J	`jnl`	A Hybrid Logic for Reasoning about Knowledge and Topology. J. Log. Lang. Inf. Bernhard Heinemann
2008	Misc	`conf`	Modelling Uniformity and Control during Knowledge Acquisition. FLAIRS Bernhard Heinemann
2008	C	`conf`	Regarding Overlapping as a Basic Concept of Subset Spaces. TIME Bernhard Heinemann
2008	—	`conf`	Topology and Knowledge of Multiple Agents. IBERAMIA Bernhard Heinemann
2007	Misc	`conf`	A PDL-Like Logic of Knowledge Acquisition. CSR Bernhard Heinemann
2007	Misc	`conf`	Including the Past in 'Topologic'. LFCS Bernhard Heinemann
2007	—	`conf`	Reasoning About Operations on Sets. Canadian AI Bernhard Heinemann
2007	Misc	`conf`	Some Spatial and Spatio-Temporal Operators Derived from the Topological View of Knowledge. FLAIRS Bernhard Heinemann
2006	Misc	`conf`	Reasoning about Knowledge and Continuity. FLAIRS Bernhard Heinemann
2006	B	`conf`	Regarding Overlaps in 'Topologic'. Advances in Modal Logic Bernhard Heinemann
2005	Misc	`conf`	A Spatio-Temporal View of Knowledge. FLAIRS Bernhard Heinemann
2005	B	`conf`	Algebras as Knowledge Structures. MFCS Bernhard Heinemann
2005	—	`conf`	The Topological Effect of Improving Knowledge Acquisition. MICAI Bernhard Heinemann
2004	—	`conf`	A Hybrid Logic of Knowledge Supporting Topological Reasoning. AMAST Bernhard Heinemann
2004	J	`jnl`	A Modal Logic for Discretely Descending Chains of Sets. Stud Logica Bernhard Heinemann
2004	B	`conf`	A Two sorted Hybrid Logic Including Guarded Jumps. Advances in Modal Logic Bernhard Heinemann
2004	J	`jnl`	The Hybrid Logic of Linear Set Spaces. Log. J. IGPL Bernhard Heinemann
2003	C	`conf`	An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge. TIME Bernhard Heinemann
2003	B	`conf`	Extended Canonicity of Certain Topological Properties of Set Spaces. LPAR Bernhard Heinemann
2002	—	`conf`	A Hybrid Treatment of Evolutionary Sets. MICAI Bernhard Heinemann
2002	—	`conf`	Knowledge over Dense Flows of Time (from a Hybrid Point of View). FSTTCS Bernhard Heinemann
2002	J	`jnl`	Linear Tense Logics of Increasing Sets. J. Log. Comput. Bernhard Heinemann
2002	B	`conf`	Towards Uniform Reasoning via Structured Subset Spaces. Advances in Modal Logic Bernhard Heinemann
2001	C	`conf`	About the Temporal Decrease of Sets. TIME Bernhard Heinemann
2001	B	`conf`	Modelling Change with the Aid of Knowledge and Time. FCT Bernhard Heinemann
2000	C	`conf`	Extending Topological Nexttime Logic. TIME Bernhard Heinemann
2000	—	`conf`	Generalizing the Modal and Temporal Logic of Linear Time. AMAST Bernhard Heinemann
1999	—	`conf`	On Sets Growing Continously. FSTTCS Bernhard Heinemann
1999	J	`jnl`	Temporal Aspects of the Modal Logic of Subset Spaces. Theor. Comput. Sci. Bernhard Heinemann
1999	J	`jnl`	The Complexity of Certain Modal Formulas on Binary Ramified Subset Trees. Fundam. Informaticae Bernhard Heinemann
1998	—	`conf`	Separating Sets by Modal Formulas. AMAST Bernhard Heinemann
1998	J	`jnl`	Topological Modal Logics Satisfying Finite Chain Conditions. Notre Dame J. Formal Log. Bernhard Heinemann
1997	—	`conf`	A Modal Logic for Reasoning about Knowledge and Time on Binary Subset Trees. ECSQARU-FAPR Bernhard Heinemann
1997	B	`conf`	A Topological Generalization of Propositional Linear Time Temporal Logic. MFCS Bernhard Heinemann
1997	J	`jnl`	On Binary Computation Structures. Math. Log. Q. Bernhard Heinemann
1997	Misc	`conf`	On the Complexity of Prefix Formulas in Modal Logic of Subset Spaces. LFCS Bernhard Heinemann
1997	—	`conf`	Revisiting Knowledge and Time from a Topological Point of View. SCAI Bernhard Heinemann
1996	J	`jnl`	Expressive Completeness of Modal Logic on Binary Ramified Frames. J. Appl. Non Class. Logics Bernhard Heinemann
1996	B	`conf`	Topological Nexttime Logic. Advances in Modal Logic Bernhard Heinemann
1994	Misc	`conf`	On Expressive Completeness of Modal Logic. LFCS Bernhard Heinemann
1991	—	`book`	Logik für Informatiker - eine Einführung. Bernhard Heinemann, Klaus Weihrauch