Demo Data from EDBT 2026 / reviewers in the wild / expert
Andreas Witzel
dblp:55/6346
· DBLP profile ↗
9ranked-venue papers
4as first author
0since 2021 · last 2014
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 6 · 3 first-authorArtificial intelligence and machine learning · 2 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 1Applied, interdisciplinary, general and emerging computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Interdisciplinary, comprehensive, and emerging computing
1 paper |
Medical and health informatics · 100% | |
| Theoretical computer science
2 papers |
Logic in computer science · 56% Automata and formal languages · 44% | |
| Artificial intelligence
1 paper |
Knowledge representation and reasoning · 100% |
Topics — the 3 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Knowledge representation and reasoning
logic programming |
0.1 | 1 | 2007 | A Fully Connectionist Model Generator for Covered First-Order Logic Programs · IJCAI 2007 |
Logic in computer science › logic programming
logic programming semantics |
0.1 | 1 | 2007 | A Fully Connectionist Model Generator for Covered First-Order Logic Programs · IJCAI 2007 |
Automata and formal languages › infinite-state systems
hybrid automata |
0.1 | 1 | 2014 | Cancer hybrid automata: Model, beliefs and therapy · Inf. Comput. 2014 |
Methods — techniques the papers use, named apart from their topics
connectionist model generation · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2014 | Cancer hybrid automata: Model, beliefs and therapy
Loes Olde Loohuis, Andreas Witzel, Bud Mishra |
Inf. Comput. | 2 |
| 2014 | Improving Detection of Driver Genes: Power-Law Null Model of Copy Number Variation in CancerabstractIn this paper, we study Copy Number Variation (CNV) data. The underlying process generating CNV segments is generally assumed to be memory-less, giving rise to an exponential distribution of segment lengths. In this paper, we provide evidence from cancer patient data, which suggests that this generative model is too simplistic, and that segment lengths follow a power-law distribution instead. We conjecture a simple preferential attachment generative model that provides the basis for the observed power-law distribution. We then show how an existing statistical method for detecting cancer driver genes can be improved by incorporating the power-law distribution in the null model. Loes Olde Loohuis, Andreas Witzel, Bud Mishra |
IEEE ACM Trans. Comput. Biol. Bioinform. | 2 |
| 2012 | Distributed iterated elimination of strictly dominated strategies
Andreas Witzel, Krzysztof R. Apt, Jonathan A. Zvesper |
Auton. Agents Multi Agent Syst. | 1 |
| 2012 | Characterizing perfect recall using next-step temporal operators in S5 Epistemic Temporal LogicabstractWe review the notion of perfect recall in the literature on interpreted systems, game theory and epistemic logic. In the context of Epistemic Temporal Logic (ETL), we give a (to our knowledge) novel frame condition for perfect recall. In contrast to existing characterizations, it is local in a sense which allows it to straightforwardly be translated into a defining formula in a language that only has next-step temporal operators. This frame condition also gives rise to a complete axiomatization of perfect recall in S5 ETL. Andreas Witzel |
J. Log. Comput. | 1 |
| 2011 | The synchronicity of dynamic epistemic logicabstractIn a recent paper, van Benthem, Gerbrandy, Hoshi and Pacuit gave a natural translation of dynamic epistemic logic (DEL) into epistemic temporal logic (ETL) and proved a representation theorem, characterizing those ETL models that are translations of some DEL protocol; among the characterizing properties we also find synchronicity. In this paper, we argue that synchronicity is not an inherent property of DEL, but rather of the translation that van Benthem et al. used. We provide a different translation that produces asynchronous ETL models and discuss a minimal temporal extension of DEL that removes the ambiguities between the possible translations. This allows us a first attempt at assessing which of the epistemic-temporal properties are intrinsic to DEL and which are properties of the translation. Cédric Dégremont, Benedikt Löwe, Andreas Witzel |
TARK | 3 |
| 2011 | Perfect recall of imperfect knowledgeabstractPerfect recall, intuitively the ability to remember all past mental states, has been predominantly studied in the context of interpreted systems and game theory, which mostly consider S5 systems (of "correct" knowledge). More recently, the notion has become of interest to the epistemic logic community, where weaker systems are not unusual. Building upon recent work where we studied different definitions of perfect recall in Epistemic Temporal Logic (ETL), we argue that the intuitive motivations given there are still valid in such sub-S5 settings. However, definitions that were equivalent in S5 cease to be so without S5, so that these less restrictive settings allow for a more fine-grained comparison of the different definitions and their underlying intuitions. Andreas Witzel |
TARK | 1 |
| 2009 | Common knowledge in interaction structuresabstractWe consider two simple variants of a framework for reasoning about knowledge amongst communicating groups of players. Our goal is to clarify the resulting epistemic issues. In particular, we investigate what is the impact of common knowledge of the underlying hypergraph connecting the players, and under what conditions common knowledge distributes over disjunction. We also obtain two versions of the classic result that common knowledge cannot be achieved in the absence of a simultaneous event (here a message sent to the whole group). Krzysztof R. Apt, Andreas Witzel, Jonathan A. Zvesper |
TARK | 2 |
| 2008 | Symmetric and Synchronous Communication in Peer-to-Peer Networks
Andreas Witzel |
MPC | 1 |
| 2007 | A Fully Connectionist Model Generator for Covered First-Order Logic Programs
Sebastian Bader 0001, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel |
IJCAI | 4 |