The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase consequence-finding (changed automatically) with no syntactic query expansion in all metadata.

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