Search results for "backward-chaining"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
92	Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller	Efficient defeasible reasoning systems.	ICTAI	2000	DBLP DOI BibTeX RDF	defeasible reasoning systems, highly expressive logics, backward chaining approach, forward-chaining implementation, computational complexity, business rules, nonmonotonic reasoning, nonmonotonic reasoning, modelling language, linear complexity, query answering system, backward chaining
74	Riccardo Poli, William B. Langdon	Backward-chaining genetic programming.	GECCO	2005	DBLP DOI BibTeX RDF	GP, tournament selection, backward chaining
68	Eric Salvat, Marie-Laure Mugnier	Sound and Complete Forward and backward Chainingd of Graph Rules.	ICCS	1996	DBLP DOI BibTeX RDF
67	Jean-François Baget, Eric Salvat	Rules Dependencies in Backward Chaining of Conceptual Graphs Rules.	ICCS	2006	DBLP DOI BibTeX RDF
64	Kaustuv Chaudhuri, Frank Pfenning, Greg Price	A Logical Characterization of Forward and Backward Chaining in the Inverse Method.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	SLD resolution, Hyperresolution, Intuitionistic linear logic, Focusing, Inverse method
64	Kaustuv Chaudhuri, Frank Pfenning, Greg Price	A Logical Characterization of Forward and Backward Chaining in the Inverse Method.	IJCAR	2006	DBLP DOI BibTeX RDF
59	Leo Willyanto Santoso	RTESS: real time expert system shell.	iiWAS	2009	DBLP DOI BibTeX RDF	binary tree sort, binary search tree, forward chaining, certainty factor, backward chaining
59	Michael Stonebraker, Eric N. Hanson, Spyros Potamianos	The POSTGRES Rule Manager.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	priority rules, POSTGRES rule manager, rule subsystem, optimization, relational databases, relational databases, expert systems, expert systems, DBMS, query languages, knowledge engineering, knowledge engineering, integrity constraints, exceptions, forward-chaining, inferencing, referential integrity, backward-chaining
59	Haerim Lee, Warren Moseley	A parallel inference engine (PIE) (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	blackboard-driven, forward/backward chaining, parallel inference engine, artificial intelligence, ADA, Ada, object-oriented design, frame, real-time embedded system, inference engine
58	Véronique Royer	Backward Chaining Evaluation in Stratified Disjunctive Theories.	PODS	1990	DBLP DOI BibTeX RDF	deductive data bases, negation by default, stratified data bases, query evaluation, fixpoint semantics, backward chaining
57	Huayang Xie, Mengjie Zhang 0001	An Analysis and Evaluation of the Saving Capability and Feasibility of Backward-Chaining Evolutionary Algorithms.	ACAL	2009	DBLP DOI BibTeX RDF
51	Wennan Shen, Yuzhong Qu	An RDF Storage and Query Framework with Flexible Inference Strategy.	APWeb	2006	DBLP DOI BibTeX RDF
51	Knut Hinkelmann, Helge Hintze	Computing Cost Estimates for Proof Strategies.	ELP	1993	DBLP DOI BibTeX RDF
41	Douglas H. Fisher, Mary E. Edgerton, Lianhong Tang, Lewis J. Frey, Zhihua Chen	Searching for Meaningful Feature Interactions with Backward-Chaining Rule Induction.	IDA	2005	DBLP DOI BibTeX RDF
41	Li Xu, Wen-Xiang Gu, Xin-mei Zhang	Backward-Chaining Flexible Planning.	ICMLC	2005	DBLP DOI BibTeX RDF
41	Kifah R. Tout, David J. Evans 0001	A Parallel Expert System Using a Backward Chaining Strategy.	CONPAR	1992	DBLP DOI BibTeX RDF
35	Jieh Hsiang, Mandayam K. Srivas	PROLOG-Based Inductive Theorem Proving.	FSTTCS	1985	DBLP DOI BibTeX RDF
33	Ying Ma, Liang Chen 0001, Jian Hui, Jian Wu 0001	CBBCM: Clustering Based Automatic Service Composition.	IEEE SCC	2011	DBLP DOI BibTeX RDF	backward chaining method, service composition, semantic similarity
33	Kimon P. Valavanis, Peter H. Yuan	Hardware and software for intelligent robotic systems.	J. Intell. Robotic Syst.	1989	DBLP DOI BibTeX RDF	robotic system organizer, forward and backward chaining, loosely coupled parallel processing system, Hierarchical structure
32	Yi-Dong Shen	Reasoning with recursive loops under the PLP framework.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	cyclic influences, recursive loops, the well-founded model, Logic programming, Bayesian networks
32	Artur Hibner, Krzysztof Zielinski	Semantic-based Dynamic Service Composition and Adaptation.	IEEE SCW	2007	DBLP DOI BibTeX RDF
32	Noboru Matsuda, Kurt VanLehn	Modeling Hinting Strategies for Geometry Theorem Proving.	User Modeling	2003	DBLP DOI BibTeX RDF
32	Erik T. H. Fung	Abductive Approach to Prototyping Data Flow Diagrams.	APAQS	2000	DBLP DOI BibTeX RDF
26	Dejing Dou, Drew V. McDermott, Peishen Qi	Ontology Translation on the Semantic Web.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
26	Wing-Ho Shum, Kwong-Sak Leung, Man Leung Wong	Co-evolutionary Rule-Chaining Genetic Programming.	IDEAL	2005	DBLP DOI BibTeX RDF
26	Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins	Monadic concurrent linear logic programming.	PPDP	2005	DBLP DOI BibTeX RDF	committed choice concurrency, operational semantics, linear logic
26	Dejing Dou, Drew V. McDermott, Peishen Qi	Ontology Translation on the Semantic Web.	OTM	2003	DBLP DOI BibTeX RDF
26	Qiming Chen	A Rule-Based Object/Task Modelling Approach.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF
26	Domenico Saccà, Carlo Zaniolo	The Generalized Counting Method for Recursive Logic Queries.	ICDT	1986	DBLP DOI BibTeX RDF
26	Jeffrey D. Ullman	Implementation of Logical Query Languages for Databases.	ACM Trans. Database Syst.	1985	DBLP DOI BibTeX RDF
25	Jinu Lee, Wonseok Hwang	SymBa: Symbolic Backward Chaining for Multi-step Natural Language Reasoning.	CoRR	2024	DBLP DOI BibTeX RDF
25	Yue-Bo Jia, Gavin Johnson, Alex Arnold, Jeff Heflin	An Evaluation of Strategies to Train More Efficient Backward-Chaining Reasoners.	K-CAP	2023	DBLP DOI BibTeX RDF
25	Mehran Kazemi, Najoung Kim, Deepti Bhatia, Xin Xu, Deepak Ramachandran	LAMBADA: Backward Chaining for Automated Reasoning in Natural Language.	ACL (1)	2023	DBLP DOI BibTeX RDF
25	Seyed Mehran Kazemi, Najoung Kim, Deepti Bhatia, Xin Xu, Deepak Ramachandran	LAMBADA: Backward Chaining for Automated Reasoning in Natural Language.	CoRR	2022	DBLP DOI BibTeX RDF
25	Alexander Sakharov	A Best-first Backward-chaining Search Strategy based on Learned Predicate Representations.	ICAART (2)	2021	DBLP DOI BibTeX RDF
25	Xiaoyin Zhang, Gary P. Moynihan, Andrew N. S. Ernest, Joseph L. Gutenson	Evaluation of the benefits of using a backward chaining decision support expert system for local flood forecasting and warning.	Expert Syst. J. Knowl. Eng.	2018	DBLP DOI BibTeX RDF
25	Tomasz Xieski, Roman Siminski	Backward chaining inference as a database stored procedure - the experiments on real-world knowledge bases.	J. Inf. Telecommun.	2018	DBLP DOI BibTeX RDF
25	Barry Nouwt, Jack Verhoosel	Integrating Heterogeneous Data Sources using Rule-based Reasoning, Backward-chaining and Custom Built-ins.	SEMANTiCS (Posters & Demos)	2018	DBLP BibTeX RDF
25	Ryosuke Onda, Yuki Hirai, Kay Penny, Bipin Indurkhya, Keiichi Kaneko	A Support System for Solving Problems of Two-Triangle Congruence Using 'Backward Chaining'.	IEICE Trans. Inf. Syst.	2017	DBLP DOI BibTeX RDF
25	Roman Siminski, Tomasz Xieski	Backward chaining inference as a database stored procedure - the experiments on real-world knowledge bases.	INISTA	2017	DBLP DOI BibTeX RDF
25	Hui Shi, Kurt Maly, Dazhi Chong, Gongjun Yan, Wu He	Backward Chaining Ontology Reasoning Systems with Custom Rules.	WWW (Companion Volume)	2016	DBLP DOI BibTeX RDF
25	Hui Shi, Kurt Maly, Steven J. Zeil	Optimized Backward Chaining Reasoning System for a Semantic Web.	WIMS	2014	DBLP DOI BibTeX RDF
25	Luke Trodd, James Harland, John Thangarajah	Agent deliberation via forward and backward chaining in linear logic.	AAMAS	2012	DBLP BibTeX RDF
25	Luke Trodd, James Harland, John Thangarajah	Agent Deliberation via Forward and Backward Chaining in Linear Logic.	DALT	2012	DBLP DOI BibTeX RDF
25	Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo	A Sound and Complete Backward Chaining Algorithm for Existential Rules.	RR	2012	DBLP DOI BibTeX RDF
25	Sergiu Ivanov 0001, Artiom Alhazov, Vladimir Rogojin, Miguel A. Gutiérrez-Naranjo	Forward and Backward Chaining with P Systems.	Int. J. Nat. Comput. Res.	2011	DBLP DOI BibTeX RDF
25	Riccardo Poli, William B. Langdon	Backward-chaining evolutionary algorithms.	Artif. Intell.	2006	DBLP DOI BibTeX RDF
25	Douglas H. Fisher, Mary E. Edgerton, Zhihua Chen, Lianhong Tang, Lewis J. Frey	Backward chaining rule induction.	Intell. Data Anal.	2006	DBLP BibTeX RDF
25	Sanjay S. Joshi, Benoit Guilhabert	Sequence-Learning Algorithm Based on Backward Chaining.	Adapt. Behav.	2006	DBLP DOI BibTeX RDF
25	Peter Gorniak, Bruce Blumberg	Sequence Learning by Backward Chaining in Synthetic Characters.	AIIDE	2005	DBLP BibTeX RDF
25	Riccardo Poli	Tournament Selection, Iterated Coupon-Collection Problem, and Backward-Chaining Evolutionary Algorithms.	FOGA	2005	DBLP DOI BibTeX RDF
25	James Harland, David J. Pym, Michael Winikoff	Forward and Backward Chaining in Linear Logic.	Workshop on Type-Theoretic Languages: Proof Search and Semantics	2000	DBLP DOI BibTeX RDF
25	James Harland, David J. Pym, Michael Winikoff	Forward and Backward Chaining in Linear Logic.	ARW	2000	DBLP BibTeX RDF
25	Joxan Jaffar, Bing Liu 0001, Roland H. C. Yap	Forward and Backward Chaining in Constraint Programming (Abstract).	LPNMR	1997	DBLP DOI BibTeX RDF
25	Xumin Nie, David A. Plaisted	A Semantic Backward Chaining Proof System.	Artif. Intell.	1992	DBLP DOI BibTeX RDF
25	D. Ferney, Alain Quilliot	A Backward Chaining Resolution Process Involving Non-Monotonic Operators.	IPMU	1992	DBLP DOI BibTeX RDF
25	Brian Schott, Thomas Whalen	Backward chaining with fuzzy goals and rules.	Int. J. Approx. Reason.	1988	DBLP DOI BibTeX RDF
16	Darko Anicic, Paul Fodor, Nenad Stojanovic, Roland Stühmer	An approach for data-driven and logic-based complex Event Processing.	DEBS	2009	DBLP DOI BibTeX RDF
16	Darko Anicic, Paul Fodor, Nenad Stojanovic, Roland Stühmer	Computing complex events in an event-driven and logic-based approach.	DEBS	2009	DBLP DOI BibTeX RDF
16	Paul Fodor	Research Summary: Tabled Evaluation for Transaction Logic Programs.	ICLP	2009	DBLP DOI BibTeX RDF
16	Darko Anicic, Paul Fodor, Roland Stühmer, Nenad Stojanovic	Event-Driven Approach for Logic-Based Complex Event Processing.	CSE (1)	2009	DBLP DOI BibTeX RDF
16	Min Chi, Kurt VanLehn	Eliminating the Gap between the High and Low Students through Meta-cognitive Strategy Instruction.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	meta-cognitive skills, domain-independent Problem-Solving Strategies, Intelligent Tutoring Systems
16	Oliver Ray	Automated Abduction in Scientific Discovery.	Model-Based Reasoning in Science, Technology, and Medicine	2007	DBLP DOI BibTeX RDF
16	Reyhan Aydogan, Hande Zirtiloglu	A Graph-BasedWeb Service Composition Technique Using Ontological Information.	ICWS	2007	DBLP DOI BibTeX RDF
16	Mahmood Houshmand, Mohammad Daneshvar Kakhki	Presenting a Rule Based Loan Evaluation Expert System.	ITNG	2007	DBLP DOI BibTeX RDF
16	Mark Proctor	Relational Declarative Programming with JBoss Drools.	SYNASC	2007	DBLP DOI BibTeX RDF
16	Guizhen Yang, Michael Kifer	Inheritance in Rule-Based Frame Systems: Semantics and Inference.	J. Data Semantics	2006	DBLP DOI BibTeX RDF
16	Jing Mei, Li Ma 0002, Yue Pan	Ontology Query Answering on Databases.	ISWC	2006	DBLP DOI BibTeX RDF
16	Dong-il Han, Sang-Bum Ha, Ho-Jun Choi	Fox Service: An Implementation Case of Ontology-based Search Agent in Mobile Environments.	MDM	2006	DBLP DOI BibTeX RDF
16	Fen Lin, Lirong Qiu, He Huang, Qing Yu, Zhongzhi Shi	Description Logic Based Composition of Web Services.	PRIMA	2006	DBLP DOI BibTeX RDF	Semantic Web Services(SWS), Web Services Composition (WSC), Description Logic(DL)
16	V. Ramasamy	Syntactical & Semantical Web Services Discovery And Composition.	CEC/EEE	2006	DBLP DOI BibTeX RDF
16	Yi-Dong Shen, Qiang Yang 0001	Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops.	ILP	2005	DBLP DOI BibTeX RDF	Probabilistic logic programming (PLP), the well-founded semantics, stationary dynamic Bayesian networks, SLG-resolution
16	A. Adly, L. Fattouh, M. Moustafa, A. A. Elmoneim	Using GIS and knowledge-based system for agricultural land drainage planning.	AICCSA	2005	DBLP DOI BibTeX RDF
16	Wei Yan, Edwin S. H. Hou, Nirwan Ansari	Frame-based attack representation and real-time first order logic automatic reasoning.	ITRE	2005	DBLP DOI BibTeX RDF
16	Maja D'Hondt, Kris Gybels, Viviane Jonckers	Seamless integration of rule-based knowledge and object-oriented functionality with linguistic symbiosis.	SAC	2004	DBLP DOI BibTeX RDF	linguistic symbiosis, rule-based systems, multi-paradigm programming
16	Kaninda Musumbu	Simulating Security Systems Based on Logigrams.	ICLP	2003	DBLP DOI BibTeX RDF
16	J. P. Spagnol	Modelisation and Automation of Reasoning in Geometry. The ARGOS System: A Learning Companion for High-School Pupils.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
16	Thom W. Frühwirth, Slim Abdennadher	Tutorial: Reasoning with, about and for Constraint Handling Rules.	FroCoS	2002	DBLP DOI BibTeX RDF
16	Ian Horswill	Tagged Behavior-Based Systems: Integrating Cognition with Embodied Activity.	IEEE Intell. Syst.	2001	DBLP DOI BibTeX RDF
16	Haiyi Zhang, Barbro Back, Wanlei Zhou 0001	The Design and Implementation of a Traffic Accident Analysis System.	IEA/AIE	2001	DBLP DOI BibTeX RDF
16	David Tanzer, Dennis E. Shasha	Queryable Acyclic Production Systems.	CIKM	1999	DBLP DOI BibTeX RDF	Datalog
16	Philippe Besnard, Marie-Odile Cordier	Inferring Causal Explanations.	ESCQARU	1999	DBLP DOI BibTeX RDF
16	Noboru Matsuda, Toshio Okamoto	Diagrammatic Reasoning for Geometry ITS to Teach Auxiliary Line Construction Problems.	Intelligent Tutoring Systems	1998	DBLP DOI BibTeX RDF
16	Stéphane Coulondre, Eric Salvat	Piece Resolution: Towards Larger Perspectives.	ICCS	1998	DBLP DOI BibTeX RDF
16	Satish R. Thatte	Semantics of Type Classes Revisited.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	Haskell
16	Carole D. Hafner, Virginia J. Wise	SmartLaw: Adapting "Classic" Expert System Techniques for the Legal Research Domain.	ICAIL	1993	DBLP DOI BibTeX RDF
16	Steven H. Greve	Proactive Modelling and the Development of Coaching Strategies in Geometry.	ICCAL	1990	DBLP DOI BibTeX RDF
16	R. D. Purdy	Knowledge and Tools in Building GRANDJUR 1.1.	ICAIL	1989	DBLP DOI BibTeX RDF
16	Mark E. Stickel	Rationale and Methods for Abductice Reasoning in Natural-Language Interpretation.	Natural Language and Logic	1989	DBLP DOI BibTeX RDF
16	Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter	Using the Temporal Logic RDL for Design Specifications.	Concurrency: Theory, Language, And Architecture	1989	DBLP DOI BibTeX RDF
16	Celal Batur, Vicken Kasparian	Application of a self tuner using fuzzy control technique.	IEA/AIE (1)	1989	DBLP DOI BibTeX RDF	Prolog
16	M. T. Lin, I. Chen, J. Lao	ESUDL: an expert system for monitoring unclassified data link (UDL) communication systems protocols.	IEA/AIE (1)	1989	DBLP DOI BibTeX RDF
16	Wei-Han Chu	Generic Expert System Shell for Diagnostic Reasoning.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF	LISP
16	Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen	Loop Detection in Propositional Prolog Programs.	CSL	1988	DBLP DOI BibTeX RDF
16	Gail F. Halkias, Kevin D. Reilly	Human factors considerations in the design of a multiple source expert system for military applications (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
16	Edward L. Bosworth Jr.	The adaptability of Ada as a language for expert systems (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF	Ada
16	Michael Stonebraker, Lawrence A. Rowe	The Design of Postgres.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF	INGRES