#### Filter Results:

- Full text PDF available (11)

#### Publication Year

1992

2013

- This year (0)
- Last 5 years (3)
- Last 10 years (4)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

The AGM rationality postulates for belief revision play an important role in the formalization of subjunctive queries over knowledge bases. However, the well known triviality results by GG ardenfors in connection with the Ramsey Test make deening a query semantics corresponding to these rationality postulates a diicult task. While existing approaches avoid… (More)

- MARKUS BANAGL
- 2012

We give an elementary introduction to the first author’s theory of intersection spaces associated to complex projective varieties with only isolated singularities. We also survey recent results on the deformation invariance of intersection space homology in the context of projective hypersurfaces with an isolated singularity.

While intersection cohomology is stable under small resolutions, both ordinary and intersection cohomology are unstable under smooth deformation of singularities. For complex projective algebraic hypersurfaces with an isolated singularity, we show that the first author’s cohomology of intersection spaces is stable under smooth deformations in all degrees… (More)

We demonstrate the triangulability of compact 3–dimensional topological pseudomanifolds and study the properties of such triangulations, including the Hauptvermutung and relations by Alexander star moves and Pachner bistellar moves. We also provide an application to state–sum invariants of 3–dimensional topological pseudomanifolds. AMS Classification 57Q15,… (More)

First, we present a formal account of splitting a knowledge base into two parts, expanding our previous results motivated by avoiding the GG ardenfors triviality results for revision semantics for condition-als. Second, we propose a speciic revision function and show that this function is optimal in the sense, that after revision as few conditional… (More)

- MARKUS BANAGL
- 2007

- Markus Banagl
- Experimental Mathematics
- 2006

- MARKUS BANAGL
- 2013

The method of intersection spaces associates rational Poincaré complexes to singular stratified spaces. For a conifold transition, the resulting cohomology theory yields the correct count of all present massless 3-branes in type IIB string theory, while intersection cohomology yields the correct count of massless 2-branes in type IIA theory. For complex… (More)

- Wolfgang Nejdl, Markus Banagl
- ECAI Workshop on Knowledge Representation and…
- 1992

The AGM rationality postulates for belief revision play an important role in the formal-ization of subjunctive queries over knowledge bases. However, the well known triviality results by GG ardenfors in connection with the Ramsey Test make deening a query semantics corresponding to these rationality postulates a diicult task. While existing approaches avoid… (More)

- Markus Banagl
- 2001