|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
42 | Chih-Hung Wu, Shie-Jue Lee |
On parallelism of hyper-linking theorem proving: a preliminary report. |
ICPADS |
1996 |
DBLP DOI BibTeX RDF |
hyper-linking theorem proving, hyper-linking proof procedure, phase-level, clause-level, literal-level, search level parallelism, parallel strategies, parallel algorithms, parallelism, artificial intelligence, parallel architectures, theorem proving |
27 | Thomas Leo McCluskey, Diane E. Kitchin, J. M. Porteous |
Object-Centered Planning: Lifting Classical Planning from the Literal Level to the Object Level. |
ICTAI |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Camilla Schwind |
Belief Base Change on Implicant Sets: How to Give Up Elements of a Belief Based on Literal Level. |
CIS |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Johannes Fürnkranz |
A Tight Integration of Pruning and Learning (Extended Abstract). |
ECML |
1995 |
DBLP DOI BibTeX RDF |
|
12 | Jamal Bentahar, Karim Bouzoubaa, Bernard Moulin |
A Computational Framework for Human/Agent Communication Using Argumentation, Implicit Information, and Social Influence. |
IAT Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Karim Bouzoubaa, Jamal Bentahar, Bernard Moulin |
Dialogization and Implicit Information in an Agent Communicational Model. |
AC |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #6 of 6 (100 per page; Change: )
|
|