The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Dirk Walther 0002" ( http://dblp.L3S.de/Authors/Dirk_Walther_0002 )

URL (Homepage):  http://lat.inf.tu-dresden.de/~dwalther/  Author page on DBLP  Author page in RDF  Community of Dirk Walther 0002 in ASPL-2

Publication years (Num. hits)
2004-2010 (17) 2011-2014 (17) 2015-2019 (13)
Publication types (Num. hits)
article(8) incollection(1) inproceedings(36) proceedings(2)
Venues (Conferences, Journals, ...)
Description Logics(8) GCAI(3) WoMO(3) CoRR(2) ECAI(2) IJCAI(2) IJCAR(2) J. Artif. Intell. Res.(2) JELIA(2) LORI(2) AAMAS(1) ACRI(1) Artif. Intell.(1) DChanges(1) IBERAMIA(1) Inf. Comput.(1) More (+10 of total 29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 48 publication records. Showing 47 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther 0002 Computing Minimal Projection Modules for ELH^r -Terminologies. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jieying Chen, Ghadah Alghamdi, Renate A. Schmidt, Dirk Walther 0002, Yongsheng Gao Modularity Meets Forgetting: A Case Study with the SNOMED CT Ontology. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Jieying Chen, Michel Ludwig, Dirk Walther 0002 Computing Minimal Subsumption Modules of Ontologies. Search on Bibsonomy GCAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Jieying Chen, Yue Ma, Dirk Walther 0002 Computing Best Ontology Excerpts via Weighted Partial Max-SAT Solving. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther 0002 Computing Minimal Projection Modules for Conjunctive Queries. Search on Bibsonomy Description Logics The full citation details ... 2018 DBLP  BibTeX  RDF
1Levan Uridia, Dirk Walther 0002 Completeness by Modal Definitions. Search on Bibsonomy IBERAMIA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther 0002 Zooming in on Ontologies: Minimal Modules and Best Excerpts. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michel Ludwig, Dirk Walther 0002 Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Jieying Chen, Michel Ludwig, Dirk Walther 0002 On Computing Minimal EL-Subsumption Modules. Search on Bibsonomy JOWO@FOIS The full citation details ... 2016 DBLP  BibTeX  RDF
1Shasha Feng, Michel Ludwig, Dirk Walther 0002 Deciding Subsumers of Least Fixpoint Concepts w.r.t. general EL -TBoxes. Search on Bibsonomy KI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther 0002 Towards Extracting Ontology Excerpts. Search on Bibsonomy KSEM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shasha Feng, Michel Ludwig, Dirk Walther 0002 Foundations for the Logical Difference of EL-TBoxes. Search on Bibsonomy GCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Shasha Feng, Michel Ludwig, Dirk Walther 0002 The Logical Difference for EL: From Terminologies Towards TBoxes. Search on Bibsonomy IWOST-1 The full citation details ... 2015 DBLP  BibTeX  RDF
1Wiebe van der Hoek, Dirk Walther 0002, Michael J. Wooldridge Reasoning About the Transfer of Control. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Boris Konev, Michel Ludwig, Dirk Walther 0002, Frank Wolter The Logical Difference for the Lightweight Description Logic EL. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Francisco Martín-Recuerda, Dirk Walther 0002 Fast Modularisation and Atomic Decomposition of Ontologies Using Axiom Dependency Hypergraphs. Search on Bibsonomy International Semantic Web Conference (2) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michel Ludwig, Dirk Walther 0002 The Logical Difference for ℰℒℋr-Terminologies using Hypergraphs. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Francisco Martín-Recuerda, Dirk Walther 0002 Axiom Dependency Hypergraphs for Fast Atomic Decomposition of Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther 0002 Evaluation of Extraction Techniques for Ontology Excerpts. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Michel Ludwig, Dirk Walther 0002 Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs. Search on Bibsonomy Description Logics The full citation details ... 2014 DBLP  BibTeX  RDF
1Stathis Delivorias, Haralampos Hatzikirou, Rafael Peñaloza, Dirk Walther 0002 Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics. Search on Bibsonomy ACRI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter Model-theoretic inseparability and modularity of description logic ontologies. Search on Bibsonomy Artif. Intell. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Andreas Herzig, Emiliano Lorini, Dirk Walther 0002 Reasoning about Actions Meets Strategic Logics. Search on Bibsonomy LORI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Francisco Martín-Recuerda, Dirk Walther 0002 Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs. Search on Bibsonomy WoMO The full citation details ... 2013 DBLP  BibTeX  RDF
1Chiara Del Vescovo, Torsten Hahmann, David Pearce 0001, Dirk Walther 0002 (eds.) 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. Search on Bibsonomy WoMO The full citation details ... 2013 DBLP  BibTeX  RDF
1Andreas Ecke, Michel Ludwig, Dirk Walther 0002 The Concept Difference for EL-Terminologies using Hypergraphs. Search on Bibsonomy DChanges The full citation details ... 2013 DBLP  BibTeX  RDF
1Boris Konev, Michel Ludwig, Dirk Walther 0002, Frank Wolter The Logical Difference for the Lightweight Description Logic EL. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Thomas Schneider 0002, Dirk Walther 0002 (eds.) Proceedings of the 6th International Workshop on Modular Ontologies, Graz, Austria, July 24, 2012 Search on Bibsonomy WoMO The full citation details ... 2012 DBLP  BibTeX  RDF
1Nicolas Troquard, Dirk Walther 0002 On Satisfiability in ATL with Strategy Contexts. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Levan Uridia, Dirk Walther 0002 An Epistemic Logic with Hypotheses. Search on Bibsonomy LORI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Wiebe van der Hoek, Dirk Walther 0002, Michael J. Wooldridge Reasoning About the Transfer of Control. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Oliver Kutz, Immanuel Normann, Till Mossakowski, Dirk Walther 0002 Chinese whispers and connected alignments. Search on Bibsonomy OM The full citation details ... 2010 DBLP  BibTeX  RDF
1Nicolas Troquard, Dirk Walther 0002 Alternating-time dynamic logic. Search on Bibsonomy AAMAS The full citation details ... 2010 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter Formal Properties of Modularisation. Search on Bibsonomy Modular Ontologies The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Boris Konev, Dirk Walther 0002, Frank Wolter Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. Search on Bibsonomy Description Logics The full citation details ... 2009 DBLP  BibTeX  RDF
1Boris Konev, Dirk Walther 0002, Frank Wolter Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter Semantic Modularity and Module Extraction in Description Logics. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Boris Konev, Dirk Walther 0002, Frank Wolter The Logical Difference Problem for Description Logic Terminologies. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter CEX and MEX: Logical Diff and Logic-based Module Extraction in a Fragment of OWL. Search on Bibsonomy OWLED (Spring) The full citation details ... 2008 DBLP  BibTeX  RDF
1Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter Logical Difference and Module Extraction with CEX and MEX. Search on Bibsonomy Description Logics The full citation details ... 2008 DBLP  BibTeX  RDF
1Carsten Lutz, Dirk Walther 0002, Frank Wolter Quantitative temporal logics over the reals: PSpace and below. Search on Bibsonomy Inf. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Dirk Walther 0002, Wiebe van der Hoek, Michael J. Wooldridge Alternating-time temporal logic with explicit strategies. Search on Bibsonomy TARK The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Carsten Lutz, Dirk Walther 0002, Frank Wolter Conservative Extensions in Expressive Description Logics. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Dirk Walther 0002, Carsten Lutz, Frank Wolter, Michael J. Wooldridge ATL Satisfiability is Indeed EXPTIME-complete. Search on Bibsonomy J. Log. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Carsten Lutz, Dirk Walther 0002 PDL with Negation of Atomic Programs. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Carsten Lutz, Dirk Walther 0002, Frank Wolter Quantitative Temporal Logics: PSPACE and Below. Search on Bibsonomy TIME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Carsten Lutz, Dirk Walther 0002 PDL with Negation of Atomic Programs. Search on Bibsonomy IJCAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #47 of 47 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license