|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6 occurrences of 6 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Guoming Hu, Zhenyu Hu, Bin Jian, Liping Liu, Hui Wan |
On the Determination of the Damping Coefficient of Non-linear Spring-dashpot System to Model Hertz Contact for Simulation by Discrete Element Method.  |
JCP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangxing Li, Wei Qiao, Hongbin Sun, Hui Wan, Jianhui Wang, Yan Xia, Zhao Xu, Pei Zhang |
Smart Transmission Grid: Vision and Framework. |
IEEE Trans. Smart Grid |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Wan, Michael Kifer, Benjamin N. Grosof |
Defeasibility in Answer Set Programs via Argumentation Theories. |
RR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Wan, Michael Kifer |
Query Answering in Belief Logic Programming. |
SUM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Wan |
Belief Logic Programming. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Wan, Benjamin N. Grosof, Michael Kifer, Paul Fodor, Senlin Liang |
Logic Programming with Defaults and Argumentation Theories. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
Defeasible reasoning, well-founded models, argumentation theory |
| 1 | Senlin Liang, Paul Fodor, Hui Wan, Michael Kifer |
OpenRuleBench: an analysis of the performance of rule engines. |
WWW |
2009 |
DBLP DOI BibTeX RDF |
openrulebench, semantic web, benchmark, rule systems |
| 1 | Hui Wan |
Belief Logic Programming with Cyclic Dependencies. |
RR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Wan, Michael Kifer |
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin He, Jane Xi, Mansun Chan, Hui Wan, Mohan V. Dunga, Babak Heydari, Ali M. Niknejad, Chenming Hu |
Charge-Based Core and the Model Architecture of BSIM5. |
ISQED |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")