Search results for "Hypothetical reasoning"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Tibor Bosse, Charlotte Gerritsen	A Model for Criminal Decision Making Based on Hypothetical Reasoning about the Future.	IEA/AIE	2009	DBLP DOI BibTeX RDF
2	Kevin D. Ashley, Collin Lynch, Niels Pinkwart, Vincent Aleven	Toward Modeling and Teaching Legal Case-Based Adaptation with Expert Examples.	ICCBR	2009	DBLP DOI BibTeX RDF	Case-based adaptation, Legal reasoning, Hypothetical reasoning
2	Yusuke Tanaka, Yuu Nakajima, Hiromitsu Hattori, Toru Ishida	A Driver Modeling Methodology Using Hypothetical Reasoning for Multiagent Traffic Simulation.	PRIMA	2007	DBLP DOI BibTeX RDF
2	Yutaka Matsuo, Mitsuru Ishizuka	Two Transformations of Clauses into Constraints and Their Properties for Cost-Based Hypothetical Reasoning.	PRICAI	2002	DBLP DOI BibTeX RDF
2	Verónica Dahl	On Implicit Meanings.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF	elision, parallel structures, datalog grammars, bottom-up parsing, left-corner parsing, chart parsing, linear affine implication, prediction, coordination, logic grammars, hypothetical reasoning
2	Hidehiko Yamamoto, Etsuo Marui	Decentralized Autonomous FMS Control by Hypothetical Reasoning Including Discrete Simulator.	IEA/AIE	2001	DBLP DOI BibTeX RDF
2	Takahisa Ando, Takao Uehara	Reasoning by Agents in Computer Bridge Bidding.	Computers and Games	2000	DBLP DOI BibTeX RDF	Computer bridge, Imperfect information game, Agent, Constraint logic programming, Bidding, Hypothetical reasoning
2	Nissim Francez	Hypothetical Reasoning and Basic Non-constituent Coordination in Type-Logical Grammar.	LACL	1998	DBLP DOI BibTeX RDF
2	Mitsuru Ishizuka, Yutaka Matsuo	SL Method for Computing a Near-Optimal Solution Using Linear and Non-linear Programming in Cost-Based Hypothetical Reasoning.	PRICAI	1998	DBLP DOI BibTeX RDF
2	Peter Schroeder-Heister	Hypothetical Reasoning and Definitional Reflection in Logic Programming.	ELP	1989	DBLP DOI BibTeX RDF
1	Shinsuke Goto, Yohei Murakami, Toru Ishida	Reputation-Based Selection of Language Services.	IEEE SCC	2011	DBLP DOI BibTeX RDF	reputation information, QoS, service selection, hypothetical reasoning
1	Trevor J. M. Bench-Capon, Henry Prakken	Using argument schemes for hypothetical reasoning in law.	Artif. Intell. Law	2010	DBLP DOI BibTeX RDF
1	Matthias Grabmair, Kevin D. Ashley	Argumentation with Value Judgments - An Example of Hypothetical Reasoning.	JURIX	2010	DBLP DOI BibTeX RDF
1	Rizauddin Bin Ramli, Hidehiko Yamamoto, Jaber Abu Qudeiri	Hypothetical reasoning approach for Automated Guided Vehicle action decision in Autonomous Decentralised Flexible Manufacturing Systems.	IJISTA	2009	DBLP DOI BibTeX RDF
1	Kevin D. Ashley	Ontological requirements for analogical, teleological, and hypothetical legal reasoning.	ICAIL	2009	DBLP DOI BibTeX RDF	legal ontologies, analogical reasoning, hypothetical reasoning
1	Oleg Kiselyov, Chung-chieh Shan	A Substructural Type System for Delimited Continuations.	TLCA	2007	DBLP DOI BibTeX RDF
1	Haruhiko Kimura, Tadanobu Misawa, Koji Abe, Yasuhiro Ogoshi	A Speedup Algorithm for Repetition of Hypothetical Reasoning.	JACIII	2006	DBLP BibTeX RDF
1	Lei Dang, Suzanne M. Embury	Hypothetical Reasoning Over Databases.	Encyclopedia of Information Science and Technology (III)	2005	DBLP BibTeX RDF
1	Richard A. Hagen, Abdul Sattar	Improving Search in a Hypothetical Reasoning System.	ACSC	2003	DBLP BibTeX RDF
1	Paolo Terenziani, Stefania Montani, Alessio Bottrighi, Mauro Torchio, Gianpaolo Molino, Luca Anselma, Gianluca Correndo	Applying Artificial Intelligence to Clinical Guidelines: The GLARE Approach.	AI*IA	2003	DBLP DOI BibTeX RDF
1	Hiroshi G. Okuno, Kazuhiro Nakadai	Real-Time Sound Source Localization and Separation Based on Active Audio-Visual Integration.	IWANN	2003	DBLP DOI BibTeX RDF
1	Li Chunlin, Zhengding Lu, Li Layuan	Design and Implementation of a Hybrid Agent Platform.	Programming and Computer Software	2003	DBLP DOI BibTeX RDF
1	Mitsuru Ishizuka, Yutaka Matsuo	SL method for computing a near-optimal solution using linear and non-linear programming in cost-based hypothetical reasoning.	Knowl.-Based Syst.	2002	DBLP DOI BibTeX RDF
1	Haruhiko Kimura, Sadaki Hirose, Hidetaka Nambo	High-speed consistency checking for hypothetical reasoning systems using inference path network.	Systems and Computers in Japan	2002	DBLP DOI BibTeX RDF
1	Yutaka Matsuo, Mitsuru Ishizuka	Fast Hypothetical Reasoning by Parallel Processing.	PRICAI	2000	DBLP DOI BibTeX RDF
1	Helmut Prendinger, Mitsuru Ishizuka, Tetsu Yamamoto	The Hyper System: Knowledge Reformation for Efficient First-Order Hypothetical Reasoning.	PRICAI	2000	DBLP DOI BibTeX RDF
1	Pablo López, Ernesto Pimentel	Proof-Theoretic Foundation of Hypothetical Reasoning.	WFLP	2000	DBLP BibTeX RDF
1	Hideaki Nobata, Haruhiko Kimura, Sadaki Hirose	A proposal to reduce cumulative reasoning time in hypothetical reasoning.	Systems and Computers in Japan	1999	DBLP DOI BibTeX RDF
1	Pablo López, Ernesto Pimentel	Hypothetical Reasoning with Substructural Logics.	APPIA-GULP-PRODE	1999	DBLP BibTeX RDF
1	Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli, Paolo Torroni	An Implementation for Abductive Logic Agents.	AI*IA	1999	DBLP DOI BibTeX RDF
1	Matteo Baldoni, Laura Giordano, Alberto Martelli	A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning.	J. Log. Comput.	1998	DBLP DOI BibTeX RDF
1	Lars Karlsson	Anything Can Happen: On Narratives and Hypothetical Reasoning.	KR	1998	DBLP BibTeX RDF
1	Weidong Chen	Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF
1	Clemens Beckstein, Gerhard Tobermann	Algorithmic Debugging and Hypothetical Reasoning.	Autom. Softw. Eng.	1997	DBLP DOI BibTeX RDF
1	Edgar Körner, Hiroshi Tsujino, Tomohiko Masutani	A Cortical-type Modular Neural Network for Hypothetical Reasoning.	Neural Networks	1997	DBLP DOI BibTeX RDF
1	Haruhiko Kimura, Sadaki Hirose, Kuniyasu Tajima	High speed subsumption processing for hypothetical reasoning using inference-path networks.	Systems and Computers in Japan	1997	DBLP DOI BibTeX RDF
1	Yasuyuki Watanabe, Ikuo Tahara	A hypothetical reasoning for knowledge bases with preferentially ordered hypotheses.	Systems and Computers in Japan	1997	DBLP DOI BibTeX RDF
1	Yukio Ohsawa, Mitsuru Ishizuka	Networked Bubble Propagation: A Polynomial-Time Hypothetical Reasoning Method for Computing Near-Optimal Solutions.	Artif. Intell.	1997	DBLP DOI BibTeX RDF
1	Abdul Sattar, Randy Goebel	Consistency-Motivated Reason Maintenance in Hypothetical Reasoning.	New Generation Comput.	1997	DBLP DOI BibTeX RDF
1	Roberto Caracciolo, Enrico Ceresole	Forward Assembly Planning Based on Stability.	Journal of Intelligent and Robotic Systems	1997	DBLP DOI BibTeX RDF	robot, stability, operations, forward, assembly planning
1	Akiko Kondo, Mitsuru Ishizuka	Efficient inference method for computing an optimal solution in predicate-logic hypothetical reasoning.	Knowl.-Based Syst.	1996	DBLP DOI BibTeX RDF
1	Alessandro Provetti	Hypothetical Reasoning about Actions: From Situation Calculus to Event Calculus.	Computational Intelligence	1996	DBLP DOI BibTeX RDF
1	Verónica Dahl, Andrew Fall, Stephen Rochefort, Paul Tarau	A Hypothetical Reasoning-based Framework for NL Processing.	ICTAI	1996	DBLP BibTeX RDF
1	Yukio Ohsawa, Mitsuru Ishizuka	A Polynomial-Time Predicate-Logic Hypothetical Reasoning by Networked Bubble Propagation Method.	Canadian Conference on AI	1996	DBLP DOI BibTeX RDF
1	Matteo Baldoni, Laura Giordano, Alberto Martelli	Translating a Modal Language with Embedded Implication into Horn Clause Logic.	ELP	1996	DBLP DOI BibTeX RDF	Multimodal Logic, Embedded Implication, Translation
1	Sanja Vranes, Mladen Stanojevic	Integrating Multiple Paradigms within the Blackboard Framework.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	blackboard model, multiparadigm approach, Artificial intelligence, object-oriented programming, logic programming, expert systems, model-based reasoning, rule-based programming, procedural-programming
1	Katsumi Inoue	Hypothetical Reasoning in Logic Programs.	J. Log. Program.	1994	DBLP DOI BibTeX RDF
1	Esther König	A Hypothetical Reasoning Algorithm for Linguistic Analysis.	J. Log. Comput.	1994	DBLP DOI BibTeX RDF
1	Toshiro Makino, Mitsuru Ishizuka	Speedup of hypothetical reasoning by experience-based learning mechanism.	Knowl.-Based Syst.	1994	DBLP DOI BibTeX RDF
1	Alessandro Provetti	Hypothetical Reasoning from Situation Calculus to Event Calculus.	TIME	1994	DBLP BibTeX RDF
1	Sylvie Coste-Marquis	Hypothetical Reasoning for Automatic Recognition of Continuous Speech.	ECAI	1994	DBLP BibTeX RDF
1	Hans Chalupsky	Using hypothetical reasoning as a method for belief ascription.	J. Exp. Theor. Artif. Intell.	1993	DBLP DOI BibTeX RDF
1	Akiko Kondo, Toshiro Makino, Mitsuru Ishizuka	Efficient hypothetical reasoning system for predicate-logic knowledge base.	Knowl.-Based Syst.	1993	DBLP DOI BibTeX RDF
1	Yoshihiko Ohta, Katsumi Inoue	Incorporating Top-Down Information into Bottom-Up Hypothetical Reasoning.	New Generation Comput.	1993	DBLP DOI BibTeX RDF
1	Yukio Ohsawa, Mitsuru Ishizuka	Networked Bubble Propagation Method as a Polynomial-Time Hypothetical Reasoning for Computing Quasi-Optimal Solution.	ICTAI	1993	DBLP BibTeX RDF
1	Mitsuru Ishizuka, Akinori Abe	Fast Hypothetical Reasoning Using Analogy on Inference-Path Networks.	ICTAI	1993	DBLP BibTeX RDF
1	Juan Carlos Casamayor	An Abductive Proof Procedure for Hypothetical Reasoning in Computational Theories.	DAISD	1992	DBLP BibTeX RDF
1	Anne Bonneau, François Charpillet, Sylvie Coste, Jean Paul Haton, Yves Laprie, Pierre Marquis	A Model for Hypothetical Reasoning Applied to Speech Recognition.	ECAI	1992	DBLP BibTeX RDF
1	B. Lemaire	Hypothetical Reasoning within the Blackboard.	ECAI	1992	DBLP BibTeX RDF
1	Corinne Loesel, François Charpillet, Jean Paul Haton	Temporal and Hypothetical Reasoning as a Support for Qualitative Reasoning.	ICTAI	1992	DBLP BibTeX RDF
1	Shahram Ghandeharizadeh, Richard Hull, Dean Jacobs	Implementation of Delayed Updates in Heraclitus.	EDBT	1992	DBLP DOI BibTeX RDF
1	Laurent Vieille, Petra Bayer, Volker Küchenhoff, Alexandre Lefebvre, Rainer Manthey	The EKS-V1 System.	LPAR	1992	DBLP DOI BibTeX RDF
1	Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes	Hypothetical Reasoning with Well Founded Semantics.	SCAI	1991	DBLP BibTeX RDF
1	Antonio Brogi, Evelina Lamma, Paola Mello	Hypothetical Reasoning in Logic Programming: A Semantic Approach.	Inf. Process. Lett.	1990	DBLP DOI BibTeX RDF
1	Antonio Brogi, Evelina Lamma, Paola Mello	Inheritance and Hypothetical Reasoning in Logic Programming.	ECAI	1990	DBLP BibTeX RDF
1	Jean Jourdan, Raúl E. Valdés-Pérez	Constraint Logic Programming Applied to Hypothetical Reasoning in Chemistry.	NACLP	1990	DBLP BibTeX RDF
1	Abdul Sattar, Randy Goebel	On the Efficiency of Logic-Based Diagnosis.	IEA/AIE (Vol. 1)	1990	DBLP DOI BibTeX RDF
1	Sanjay Manchanda	Declarative Expression of Deductive Database Updates.	PODS	1989	DBLP DOI BibTeX RDF	Prolog
1	H. Lâasri, B. Maître, T. Mondot, François Charpillet, Jean Paul Haton	ATOME: A Blackboard Architecture with Temporal and Hypothetical Reasoning.	ECAI	1988	DBLP BibTeX RDF
1	Marie-Odile Cordier	SHERLOCK: Hypothetical Reasoning in an Expert System Shell.	ECAI	1988	DBLP BibTeX RDF
1	Katsumi Inoue	Problem Solving with Hypothetical Reasoning.	FGCS	1988	DBLP BibTeX RDF
1	Anthony J. Bonner	A Logic for Hypothetical Reasoning.	AAAI	1988	DBLP BibTeX RDF
1	Luca Bonani, Paolo Calvo, Giovanni Contri	GTEX - A Group Technology Expert System.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF
1	Masayuki Numao	Update Propagation Network - A Framework for Constraint Programming.	LP	1987	DBLP DOI BibTeX RDF