|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
Results
Found 28 publication records. Showing 28 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
102 | Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima |
Consequence finding and computing answers with defaults. |
J. Intell. Inf. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Consequence finding, Conditional answers, Default theory |
75 | Katsumi Inoue |
Induction as Consequence Finding. |
Mach. Learn. |
2004 |
DBLP DOI BibTeX RDF |
consequence finding, inverse entailment, induction, abduction |
72 | Katsumi Inoue, Koji Iwanuma |
Speculative Computation Through Consequence-Finding in Multi-Agent Environments. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
consequence-finding, SOL calculus, conditional answer, default logic, speculative computation |
65 | Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima |
Consequence Finding in Default Theories. |
FQAS |
2004 |
DBLP DOI BibTeX RDF |
|
56 | Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue |
SOLAR: A Consequence Finding System for Advanced Reasoning. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
48 | Katsumi Inoue |
Induction, Abduction, and Consequence-Finding. |
ILP |
2001 |
DBLP DOI BibTeX RDF |
|
33 | Oliver Ray, Katsumi Inoue |
A Consequence Finding Approach for Full Clausal Abduction. |
Discovery Science |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Zachary Kincaid, Nicolas Koh, Shaowei Zhu 0001 |
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Zachary Kincaid, Nicolas Koh, Shaowei Zhu 0001 |
When Less Is More: Consequence-Finding in a Weak Theory of Arithmetic. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Philippe Chatalic, André de Amorim Fonseca |
A Multi-Layered Architecture for Collaborative and Decentralized Consequence Finding. |
Comput. Informatics |
2015 |
DBLP BibTeX RDF |
|
23 | Philippe Chatalic, André de Amorim Fonseca |
Somewhere2 - A Robust Package for Collaborative Decentralized Consequence-Finding. |
IDC |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Katsumi Inoue, Gauvain Bourgne, Takayuki Okamoto |
Distributed Consequence Finding: Partition-Based and Cooperative Approaches. |
ICAART (Revised Selected Papers) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Katsumi Inoue, Gauvain Bourgne, Takayuki Okamoto |
Complete Distributed Consequence Finding with Message Passing. |
ICAART (2) |
2011 |
DBLP BibTeX RDF |
|
23 | Gauvain Bourgne, Katsumi Inoue |
Partition-Based Consequence Finding. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray |
SOLAR: An automated deduction system for consequence finding. |
AI Commun. |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Meghyn Bienvenu |
Consequence Finding in ALC. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
23 | Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon |
Scalability Study of Peer-to-Peer Consequence Finding. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
23 | Laurent Simon, Alvaro del Val |
Efficient Consequence Finding. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
23 | Alvaro del Val |
The Complexity of Restricted Consequence Finding and Abduction. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
23 | Alvaro del Val |
A New Method for Consequence Finding and Compilation in Restricted Languages. |
AAAI/IAAI |
1999 |
DBLP BibTeX RDF |
|
23 | Knut Hinkelmann |
A Consequence-Finding Approach for Feature Recognition in CAPP. |
IEA/AIE |
1994 |
DBLP BibTeX RDF |
|
23 | Katsumi Inoue |
Linear Resolution for Consequence Finding. |
Artif. Intell. |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Katsumi Inoue |
Consequence-Finding Based on Ordered Linear Resolution. |
IJCAI |
1991 |
DBLP BibTeX RDF |
|
23 | Eliana Minicozzi, Raymond Reiter |
A Note on Linear Resolution Strategies in Consequence-Finding. |
Artif. Intell. |
1972 |
DBLP DOI BibTeX RDF |
|
23 | James R. Slagle, Chin-Liang Chang, Richard C. T. Lee |
Completeness Theorems for Semantic Resolution in Consequence-Finding. |
IJCAI |
1969 |
DBLP BibTeX RDF |
|
15 | Marie-Christine Rousset, Philippe Adjiman, Philippe Chatalic, François Goasdoué, Laurent Simon |
SomeWhere: A Scalable Peer-to-Peer Infrastructure for Querying Distributed Ontologies. |
OTM Conferences (1) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Éric Colin de Verdière, Francis Lazarus |
Optimal pants decompositions and shortest homotopic cycles on an orientable surface. |
J. ACM |
2007 |
DBLP DOI BibTeX RDF |
combinatorial surface, pants decomposition, Combinatorial optimization, computational topology, homotopy |
10 | James R. Slagle |
Interpolation Theorems for Resolution in Lower Predicate Calculus. |
J. ACM |
1970 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #28 of 28 (100 per page; Change: )
|
|