|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 4 keywords
|
|
|
Results
Found 3 publication records. Showing 3 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
31 | Mikhail Prokopenko |
A preferential semantics for causal reasoning about action. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 46(4), pp. 375-413, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 03B44, 06A06 |
31 | Laura Giordano 0001, Alberto Martelli |
Tableau-based automata construction for dynamic linear time temporal logic*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 46(3), pp. 289-315, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
AMS subject classification 03B44, 68N30 |
31 | Alexander Bolotov, Artie Basukoski |
A clausal resolution method for branching-time logic ECTL+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 46(3), pp. 235-263, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
AMS subject classification 03B35, 03B44, 68Q60, 68Q85, 68T15, 68N30 |
Displaying result #1 - #3 of 3 (100 per page; Change: )
|
|