|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Levan Uridia, Dirk Walther 0002 |
An Epistemic Logic with Hypotheses.  |
LORI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wiebe van der Hoek, Dirk Walther 0002, Michael Wooldridge |
Reasoning About the Transfer of Control. |
J. Artif. Intell. Res. (JAIR) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Troquard, Dirk Walther 0002 |
Alternating-time dynamic logic. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Formal Properties of Modularisation. |
Modular Ontologies |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Dirk Walther 0002, Frank Wolter |
Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Dirk Walther 0002, Frank Wolter |
Forgetting and Uniform Interpolation in Extensions of the Description Logic EL. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Semantic Modularity and Module Extraction in Description Logics. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Konev, Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Logical Difference and Module Extraction with CEX and MEX. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Quantitative temporal logics over the reals: PSpace and below. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Conservative Extensions in Expressive Description Logics. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Dirk Walther 0002, Wiebe van der Hoek, Michael Wooldridge |
Alternating-time temporal logic with explicit strategies. |
TARK |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dirk Walther 0002, Carsten Lutz, Frank Wolter, Michael Wooldridge |
ATL Satisfiability is Indeed EXPTIME-complete. |
J. Log. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Dirk Walther 0002 |
PDL with Negation of Atomic Programs. |
Journal of Applied Non-Classical Logics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Carsten Lutz, Dirk Walther 0002, Frank Wolter |
Quantitative Temporal Logics: PSPACE and Below. |
TIME |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Lutz, Dirk Walther 0002 |
PDL with Negation of Atomic Programs. |
IJCAR |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")