Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for 03B44 with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2006 (3)
Publication types (Num. hits)
article(3)
Venues (Conferences, Journals, ...)
Ann. Math. Artif. Intell.(3)
Authors
Alberto Martelli(1) Alexander Bolotov(1) Artie Basukoski(1) Laura Giordano 0001(1) Mikhail Prokopenko(1)
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
31Mikhail Prokopenko A preferential semantics for causal reasoning about action. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68T27, 03B44, 06A06
31Laura Giordano 0001, Alberto Martelli Tableau-based automata construction for dynamic linear time temporal logic*. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF AMS subject classification 03B44, 68N30
31Alexander Bolotov, Artie Basukoski A clausal resolution method for branching-time logic ECTL+. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF AMS subject classification 03B35, 03B44, 68Q60, 68Q85, 68T15, 68N30
Displaying result #1 - #3 of 3 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license