Dirk Walther - RankMe

52 papers A* 2A 5B 4C 2Misc 1Journal 9Unranked 26

Year	Rank	Type	Title / Venue / Authors
2020	—	`conf`	Common Knowledge in an Epistemic Logic with Hypotheses. GCAI Levan Uridia, Dirk Walther
2020	J	`jnl`	Completeness by Modal Definitions. Application to the Epistemic Logic With Hypotheses. Inteligencia Artif. Levan Uridia, Dirk Walther
2020	—	`conf`	Revisiting Ontologies of Units of Measure for Harmonising Quantity Values - A Use Case. ISWC (2) Francisco Martín-Recuerda, Dirk Walther, Siegfried Eisinger, Graham Moore, Petter Andersen, Per-Olav Opdahl, Lillian Hella
2019	—	`conf`	Common Knowledge in Epistemic Logic With Hypotheses. GCAI Levan Uridia, Dirk Walther
2019	B	`conf`	Computing Minimal Projection Modules for JELIA Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
2019	—	`conf`	Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology. Description Logics Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, Yongsheng Gao
2019	B	`conf`	Ontology Extraction for Large Ontologies via Modularity and Forgetting. K-CAP Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther, Yongsheng Gao
2018	—	`conf`	Completeness by Modal Definitions. IBERAMIA Levan Uridia, Dirk Walther
2018	—	`conf`	Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving. Description Logics Jieying Chen, Yue Ma, Dirk Walther
2018	—	`conf`	Computing Minimal Projection Modules for Conjunctive Queries. Description Logics Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
2018	—	`conf`	Computing Minimal Subsumption Modules of Ontologies. GCAI Jieying Chen, Michel Ludwig, Dirk Walther
2017	—	`conf`	Zooming in on Ontologies: Minimal Modules and Best Excerpts. ISWC (1) Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
2016	—	`conf`	On Computing Minimal EL-Subsumption Modules. JOWO@FOIS Jieying Chen, Michel Ludwig, Dirk Walther
2016	—	`conf`	Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach. GCAI Michel Ludwig, Dirk Walther
2015	Misc	`conf`	Deciding Subsumers of Least Fixpoint Concepts w.r.t. general KI Shasha Feng, Michel Ludwig, Dirk Walther
2015	—	`conf`	Foundations for the Logical Difference of EL-TBoxes. GCAI Shasha Feng, Michel Ludwig, Dirk Walther
2015	—	`conf`	The Logical Difference for EL: From Terminologies Towards TBoxes. IWOST-1 Shasha Feng, Michel Ludwig, Dirk Walther
2015	C	`conf`	Towards Extracting Ontology Excerpts. KSEM Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
2014	—	`conf`	Axiom Dependency Hypergraphs for Fast Atomic Decomposition of Ontologies. Description Logics Francisco Martín-Recuerda, Dirk Walther
2014	—	`conf`	Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs. Description Logics Michel Ludwig, Dirk Walther
2014	—	`conf`	Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics. ACRI Stathis Delivorias, Haralampos Hatzikirou, Rafael Peñaloza, Dirk Walther
2014	—	`conf`	Evaluation of Extraction Techniques for Ontology Excerpts. Description Logics Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
2014	—	`conf`	Fast Modularisation and Atomic Decomposition of Ontologies Using Axiom Dependency Hypergraphs. ISWC (2) Francisco Martín-Recuerda, Dirk Walther
2014	J	`jnl`	Reasoning About the Transfer of Control. CoRR Wiebe van der Hoek, Dirk Walther, Michael J. Wooldridge
2014	J	`jnl`	The Logical Difference for the Lightweight Description Logic EL. CoRR Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter
2014	A	`conf`	The Logical Difference for ℰℒℋ ECAI Michel Ludwig, Dirk Walther
2013	J	`jnl`	Model-theoretic inseparability and modularity of description logic ontologies. Artif. Intell. Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2013	—	`ed.`	Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), Corunna, Spain, September 15, 2013. WoMO Chiara Del Vescovo, Torsten Hahmann, David Pearce, Dirk Walther
2013	—	`conf`	Reasoning about Actions Meets Strategic Logics. LORI Andreas Herzig, Emiliano Lorini, Dirk Walther
2013	—	`conf`	The Concept Difference for EL-Terminologies using Hypergraphs. DChanges Andreas Ecke, Michel Ludwig, Dirk Walther
2013	—	`conf`	Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs. WoMO Francisco Martín-Recuerda, Dirk Walther
2012	B	`conf`	On Satisfiability in ATL with Strategy Contexts. JELIA Nicolas Troquard, Dirk Walther
2012	—	`ed.`	Proceedings of the 6th International Workshop on Modular Ontologies, Graz, Austria, July 24, 2012 WoMO Thomas Schneider, Dirk Walther
2012	J	`jnl`	The Logical Difference for the Lightweight Description Logic EL. J. Artif. Intell. Res. Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter
2011	—	`conf`	An Epistemic Logic with Hypotheses. LORI Levan Uridia, Dirk Walther
2010	A	`conf`	Alternating-time dynamic logic. AAMAS Nicolas Troquard, Dirk Walther
2010	—	`conf`	Chinese whispers and connected alignments. OM Oliver Kutz, Immanuel Normann, Till Mossakowski, Dirk Walther
2010	J	`jnl`	Reasoning About the Transfer of Control. J. Artif. Intell. Res. Wiebe van der Hoek, Dirk Walther, Michael J. Wooldridge
2009	—	`conf`	Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. Description Logics Boris Konev, Dirk Walther, Frank Wolter
2009	A*	`conf`	Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. IJCAI Boris Konev, Dirk Walther, Frank Wolter
2009	—	`ch.`	Formal Properties of Modularisation. Modular Ontologies Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2008	—	`conf`	CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL. OWLED (Spring) Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2008	—	`conf`	Logical Difference and Module Extraction with CEX and MEX. Description Logics Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2008	A	`conf`	Semantic Modularity and Module Extraction in Description Logics. ECAI Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
2008	A	`conf`	The Logical Difference Problem for Description Logic Terminologies. IJCAR Boris Konev, Dirk Walther, Frank Wolter
2007	B	`conf`	Alternating-time temporal logic with explicit strategies. TARK Dirk Walther, Wiebe van der Hoek, Michael J. Wooldridge
2007	A*	`conf`	Conservative Extensions in Expressive Description Logics. IJCAI Carsten Lutz, Dirk Walther, Frank Wolter
2007	J	`jnl`	Quantitative temporal logics over the reals: PSpace and below. Inf. Comput. Carsten Lutz, Dirk Walther, Frank Wolter
2006	J	`jnl`	ATL Satisfiability is Indeed EXPTIME-complete. J. Log. Comput. Dirk Walther, Carsten Lutz, Frank Wolter, Michael J. Wooldridge
2005	J	`jnl`	PDL with Negation of Atomic Programs. J. Appl. Non Class. Logics Carsten Lutz, Dirk Walther
2005	C	`conf`	Quantitative Temporal Logics: PSPACE and Below. TIME Carsten Lutz, Dirk Walther, Frank Wolter
2004	A	`conf`	PDL with Negation of Atomic Programs. IJCAR Carsten Lutz, Dirk Walther