Search results for "consequence-finding"

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