Search results for "forward-chaining"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
61	Hisashi Hayashi, Seiji Tokura, Tetsuo Hasegawa, Fumio Ozaki	Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains.	DALT	2005	DBLP DOI BibTeX RDF
61	Christoph F. Eick, Jialin Liu, Paul Werstein	Integrating forward-chaining rules with operations and permanent knowledge bases.	J. Syst. Integr.	1992	DBLP DOI BibTeX RDF	integrated knowledge bases, implementation techniques for rule-based systems, integration of data-driven and command driven control regimes, activation pattern-controlled rules, Knowledge-based systems, knowledge base management system
58	Eric Salvat, Marie-Laure Mugnier	Sound and Complete Forward and backward Chainingd of Graph Rules.	ICCS	1996	DBLP DOI BibTeX RDF
55	Christoph F. Eick	Activation pattern controlled rules: Towards an integration of data-driven and command-driven programming.	Appl. Intell.	1992	DBLP DOI BibTeX RDF	Activation pattern controlled rules, data-driven programming, integrated knowledge bases, rule-based systems, forward chaining, multi-paradigm programming
55	Philippe Mathieu, Jean-Paul Delahaye	The Logical Compilation of Knowledge Bases.	JELIA	1990	DBLP DOI BibTeX RDF	Key-words Expert system, knowledge representation, three-valued logic, forward chaining
52	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
52	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
52	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
49	Wennan Shen, Yuzhong Qu	An RDF Storage and Query Framework with Flexible Inference Strategy.	APWeb	2006	DBLP DOI BibTeX RDF
48	Patrick Doherty 0001, Jonas Kvarnström	TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner.	TIME	1999	DBLP DOI BibTeX RDF
45	Knut Hinkelmann, Helge Hintze	Computing Cost Estimates for Proof Strategies.	ELP	1993	DBLP DOI BibTeX RDF
42	Robert T. Goettge, Eric W. Brehm, Charles Palczak, John A. Stankovic, Marty Humphrey	Knowledge-Based assistance for real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	Real-Time Scheduling Assistant, RTSA knowledge base, multiple scheduling algorithms, knowledge-based assistance, scheduling, real-time systems, real-time systems, graphical user interface, knowledge based systems, scheduling algorithms, inference mechanisms, processor scheduling, quantitative evaluation, performance characteristics, forward chaining, complex real-time systems
42	Robert P. Goldman, Eugene Charniak	A Language for Construction of Belief Networks.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	belief network construction language, directed acyclic graph representations, FRAIL3, forward-chaining language, conditional probability matrices, directed graphs, deductive databases, inference mechanisms, probability distributions, probabilistic reasoning, probabilistic logic, logic programming languages
42	Chen-Chau Chu, Jake K. Aggarwal	Image Interpretation Using Multiple Sensing Modalities.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	multiple sensing modalities, AIMS, multisensor fusion, KEE format, knowledge-based interpretation modules, concurrent service manager, optical radar, remote sensing by laser beam, computer vision, image segmentation, knowledge based systems, computerised pattern recognition, Lisp, image interpretation, infrared imaging, forward chaining, thermal imagers, laser radar
42	Tim Menzies, M. Dean, J. L. Black, J. F. Fleming	Combining Heuristics and Simulation Models: An Expert System for the Optimal Management of Pigs.	Australian Joint Conference on Artificial Intelligence	1988	DBLP DOI BibTeX RDF	AUSPIG, pigs, expert system, optimisation, simulation modelling, forward chaining
36	Jieh Hsiang, Mandayam K. Srivas	PROLOG-Based Inductive Theorem Proving.	FSTTCS	1985	DBLP DOI BibTeX RDF
34	Claire Lefèvre, Pascal Nicolas	A First Order Forward Chaining Approach for Answer Set Computing.	LPNMR	2009	DBLP DOI BibTeX RDF
34	Charlotte Herzeel, Kris Gybels, Pascal Costanza, Coen De Roover, Theo D'Hondt	Forward chaining in HALO: an implementation strategy for history-based logic pointcuts.	ICDL	2007	DBLP DOI BibTeX RDF
34	Hassan Bezzazi, Stéphane Janot, Sébastien Konieczny, Ramón Pino Pérez	Analysing Rational Properties of Change Operators Based on Forward Chaining.	Transactions and Change in Logic Databases	1998	DBLP DOI BibTeX RDF
32	Jean-François Baget, Eric Salvat	Rules Dependencies in Backward Chaining of Conceptual Graphs Rules.	ICCS	2006	DBLP DOI BibTeX RDF
29	David Monniaux	Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief.	CSFW	1999	DBLP DOI BibTeX RDF	formal methods, cryptographic protocols, forward chaining, BAN logic
29	Christoph F. Eick, Paul Werstein	Rule-Based Consistency Enforcement for Knowledge-Based Systems.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	rule-based consistency enforcement, exception handlers, consistency constraints, rule entities, activation pattern controlled rule, data integrity, knowledge-based systems, knowledge based systems, system performance, consistency checks, application programs, production rule, forward chaining, knowledge-base management system
29	Isabelle Comyn-Wattiau, Mokrane Bouzeghoub	Constraint Confrontation: An Important Step in View Integration.	CAiSE	1992	DBLP DOI BibTeX RDF	deductive process, conflict resolution, database design, integrity constraint, forward chaining, view integration
29	Toru Ishida 0001	Parallel Rule Firing in Production Systems.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	parallel rule firing, parallel execution model, parallel firing simulator, performance, parallel programming, expert systems, programming environments, production systems, parallel programming environment, forward chaining, data dependency graph, selection algorithm, interference analysis
26	Atanas Kiryakov, Damyan Ognyanov, Dimitar Manov	OWLIM - A Pragmatic Semantic Repository for OWL.	WISE Workshops	2005	DBLP DOI BibTeX RDF
26	James Harland, Michael Winikoff	Agents via Mixed-Mode Computation in Linear Logic.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	mixed-mode computation, Belief Desire Intention (BDI), intelligent agents, linear logic
26	Josefina Sierra-Santibáñez	Declarative Formalization of Strategies for Action Selection: Applications to Planning.	JELIA	2000	DBLP DOI BibTeX RDF
26	Olivier Roussel, Philippe Mathieu	Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case.	CADE	1997	DBLP DOI BibTeX RDF
26	Olivier Roussel, Philippe Mathieu	A New Method for Knowledge Compilation: The Achievement by Cycle Search.	CADE	1996	DBLP DOI BibTeX RDF	expert systems, resolution, knowledge compilation
26	Carl Weir, Barry Silk	Paramax Systems Corporation: MUC-4 test results and analysis.	MUC	1992	DBLP DOI BibTeX RDF
26	Eric N. Hanson, Moez Chaabouni, Chang-Ho Kim, Yu-Wang Wang	A Predicate Matching Algorithm for Database Rule Systems.	SIGMOD Conference	1990	DBLP DOI BibTeX RDF
23	Dejing Dou, Drew V. McDermott, Peishen Qi	Ontology Translation on the Semantic Web.	J. Data Semantics	2005	DBLP DOI BibTeX RDF
23	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
23	Dejing Dou, Drew V. McDermott, Peishen Qi	Ontology Translation on the Semantic Web.	OTM	2003	DBLP DOI BibTeX RDF
23	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
23	Qiming Chen	A Rule-Based Object/Task Modelling Approach.	SIGMOD Conference	1986	DBLP DOI BibTeX RDF
23	Domenico Saccà, Carlo Zaniolo	The Generalized Counting Method for Recursive Logic Queries.	ICDT	1986	DBLP DOI BibTeX RDF
23	Jeffrey D. Ullman	Implementation of Logical Query Languages for Databases.	ACM Trans. Database Syst.	1985	DBLP DOI BibTeX RDF
21	Stephen Cranefield, Sriashalya Srivathsan, Jeremy Pitt	Inferring Lewisian Common Knowledge using Theory of Mind Reasoning in a Forward-chaining Rule Engine.	AAMAS	2024	DBLP BibTeX RDF
21	Mark Abdelshiheed, John Wesley Hostetter, Xi Yang 0019, Tiffany Barnes, Min Chi	Mixing Backward- with Forward-Chaining for Metacognitive Skill Acquisition and Transfer.	CoRR	2023	DBLP DOI BibTeX RDF
21	Nicholas Dwiarto Wirasbawa, Christian Teguh Prasetya Widjaja, Christian Imanuel Wenji, Seng Hansun	Expert API for Early Detection of TB Disease with Forward Chaining and Certainty Factor Algorithms.	Informatica (Slovenia)	2022	DBLP DOI BibTeX RDF
21	Mark Abdelshiheed, John Wesley Hostetter, Xi Yang 0019, Tiffany Barnes, Min Chi	Mixing Backward- with Forward-Chaining for Metacognitive Skill Acquisition and Transfer.	AIED (1)	2022	DBLP DOI BibTeX RDF
21	Afnan G. Alhazmi, George Konstantinidis 0001	OBDA vs Forward Chaining: the ForBackBench Framework.	ISWC (Posters/Demos/Industry)	2022	DBLP BibTeX RDF
21	Haile Misgna, Moges Ahmed, Anubhav Kumar	MatES: Web-based Forward Chaining Expert System for Maternal Care.	CoRR	2021	DBLP BibTeX RDF
21	Nicoletta Fornara, Marco Sterpetti	An Architecture for Monitoring Norms that Combines OWL Reasoning and Forward Chaining over Rules.	JOWO	2021	DBLP BibTeX RDF
21	Andrew Messing, Seth Hutchinson 0001	Forward Chaining Hierarchical Partial-Order Planning.	WAFR	2021	DBLP DOI BibTeX RDF
21	Muhamad Erza Aminanto, Tao Ban, Ryoichi Isawa, Takeshi Takahashi 0001, Daisuke Inoue	Threat Alert Prioritization Using Isolation Forest and Stacked Auto Encoder With Day-Forward-Chaining Analysis.	IEEE Access	2020	DBLP DOI BibTeX RDF
21	Ahthasham Sajid, Khalid Hussain, Syed Bilal Hussain Shah, Tahir Iqbal, Imran Baig	History and buffer rule based (forward chaining/data driven) intelligent system for storage level big data congestion handling in smart opportunistic network.	J. Ambient Intell. Humaniz. Comput.	2019	DBLP DOI BibTeX RDF
21	Xu Lu 0003, Jin Cui, Yansong Dong, Wensheng Wang, Runzhe Ma, Yifeng Li, Qing Feng	A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge.	SOFL+MSVL	2019	DBLP DOI BibTeX RDF
21	Ahthasham Sajid, Khalid Hussain	Rule Based (Forward Chaining/Data Driven) Expert System for Node Level Congestion Handling in Opportunistic Network.	Mob. Networks Appl.	2018	DBLP DOI BibTeX RDF
21	Mohamad Irfan, Aldi Lesmana M. Rizal, Dian Sa'adillah Maylawati, Wahyudin Darmalaksana, Muhammad Ali Ramdhani	Decision Support System of Scientific Publication Awards using Forward Chaining Algorithm.	iiWAS	2018	DBLP DOI BibTeX RDF
21	Reinaldi Nur Pranata, Andrew Brian Osmond, Casi Setianingsih	Potential Level Detection of Skin Cancer with Expert System Using Forward Chaining and Certainty Factor Method.	IOTAIS	2018	DBLP DOI BibTeX RDF
21	Claire Lefèvre, Christopher Béatrix, Igor Stéphan, Laurent Garcia	ASPeRiX, a first-order forward chaining approach for answer set computing.	Theory Pract. Log. Program.	2017	DBLP DOI BibTeX RDF
21	Konrad Grzanek	Forward Chaining with State Monad.	ICAISC (2)	2016	DBLP DOI BibTeX RDF
21	Liana Marinescu, Andrew Ian Coles	Heuristic Guidance for Forward-Chaining Planning with Numeric Uncertainty.	ICAPS	2016	DBLP BibTeX RDF
21	Juan Manuel Delfa Victoria	Automated Hierarchical, Forward-Chaining Temporal Planner for Planetary Robots Exploring Unknown Environments.		2016	RDF
21	Óscar Sapena, Eva Onaindia, Alejandro Torreño	FLAP: Applying least-commitment in forward-chaining planning.	AI Commun.	2015	DBLP DOI BibTeX RDF
21	Seyed Mostafa Fakhrahmad, Mohammad Hadi Sadreddini, Mansoor Zolghadri Jahromi	A proposed expert system for word sense disambiguation: deductive ambiguity resolution based on data mining and forward chaining.	Expert Syst. J. Knowl. Eng.	2015	DBLP DOI BibTeX RDF
21	Claire Lefèvre, Christopher Béatrix, Igor Stéphan, Laurent Garcia	ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing.	CoRR	2015	DBLP BibTeX RDF
21	Alan Perotti, Guido Boella, Artur S. d'Avila Garcez	Runtime Verification Through Forward Chaining.	RV	2015	DBLP DOI BibTeX RDF
21	Konrad Grzanek	Transactional Forward Chaining: A Functional Approach.	ICAISC	2015	DBLP DOI BibTeX RDF
21	Dony Novaliendry, Cheng-Hong Yang 0001, A. Y. Denno Guara Labukti	The expert system application for diagnosing human vitamin deficiency through forward chaining method.	ICTC	2015	DBLP DOI BibTeX RDF
21	Jaroslaw Bak	RuQAR : Reasoning with OWL 2 RL Using Forward Chaining Engines.	ORE	2015	DBLP BibTeX RDF
21	Marius Brezovan, Costin Badica	Event-B Modeling of a Rule Base for an Expert System Using Forward Chaining.	BCI	2015	DBLP DOI BibTeX RDF
21	Alan Perotti, Guido Boella, Artur S. d'Avila Garcez	Runtime Verification Through Forward Chaining.	HCVS	2014	DBLP DOI BibTeX RDF
21	Rémy Haemmerlé	On Combining Backward and Forward Chaining in Constraint Logic Programming.	PPDP	2014	DBLP DOI BibTeX RDF
21	Óscar Sapena, Eva Onaindia, Alejandro Torreño	Forward-Chaining Planning with a Flexible Least-Commitment Strategy.	CCIA	2013	DBLP DOI BibTeX RDF
21	Alex Brik, Jeffrey B. Remmel	Forward Chaining for Hybrid ASP.	LFCS	2013	DBLP DOI BibTeX RDF
21	Peter Bartalos, Mária Bieliková	Effective QoS Aware Service Composition Based on Forward Chaining with Service Space Restriction.	Semantic Web Services, Advancement through Evaluation	2012	DBLP DOI BibTeX RDF
21	Jonas Kvarnström	Planning for Loosely Coupled Agents Using Partial Order Forward-Chaining.	ICAPS	2011	DBLP BibTeX RDF
21	Georgios Meditskos, Nick Bassiliades	DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet.	J. Web Semant.	2010	DBLP DOI BibTeX RDF
21	Amanda Jane Coles, Andrew Coles, Maria Fox 0001, Derek Long	Forward-Chaining Partial-Order Planning.	ICAPS	2010	DBLP BibTeX RDF
21	Yisong Wang, Mingyi Zhang 0002, Jia-Huai You	Logic Programs, Compatibility and Forward Chaining Construction.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF
21	Charlotte Herzeel, Kris Gybels, Pascal Costanza, Coen De Roover, Theo D'Hondt	Forward chaining in HALO: An implementation strategy for history-based logic pointcuts.	Comput. Lang. Syst. Struct.	2009	DBLP DOI BibTeX RDF
21	Silvana Petruseva	Forward Chaining Algorithm for Solving the Shortest Path Problem in Arbitrary Deterministic Environment in Linear Time - Applied for the Tower of Hanoi Problem.	KI	2009	DBLP DOI BibTeX RDF
21	Pascal Bercher, Robert Mattmüller	A Planning Graph Heuristic for Forward-Chaining Adversarial Planning.	ECAI	2008	DBLP DOI BibTeX RDF
21	Andrew Coles, Maria Fox 0001, Amanda Smith	A New Local-Search Algorithm for Forward-Chaining Planning.	ICAPS	2007	DBLP BibTeX RDF
21	Amanda Smith	Online generation and use of macro-actions in forward-chaining planning.		2007	RDF
21	Andrew Ian Coles	Heuristics and metaheuristics in forward-chaining planning.		2007	RDF
21	Dominic Battré, Felix Heine, André Höing, Odej Kao	On Triple Dissemination, Forward-Chaining, and Load Balancing in DHT Based RDF Stores.	DBISP2P	2006	DBLP DOI BibTeX RDF
21	Graeme Bell, Michael Weir	Forward Chaining for Robot and Agent Navigation using Potential Fields.	ACSC	2004	DBLP BibTeX RDF
21	Ugur Kuter, Dana S. Nau	Forward-Chaining Planning in Nondeterministic Domains.	AAAI	2004	DBLP BibTeX RDF
21	Jean-François Baget	Improving the Forward Chaining Algorithm for Conceptual Graphs Rules.	KR	2004	DBLP BibTeX RDF
21	Lifeng He, Yuyan Chao, Hidenori Itoh	Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving.	J. Comput. Sci. Technol.	2003	DBLP DOI BibTeX RDF
21	Lifeng He	UNSEARCHMO: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving.	IJCAI	2001	DBLP BibTeX RDF
21	Fahiem Bacchus, Michael Ady	Planning with Resources and Concurrency: A Forward Chaining Approach.	IJCAI	2001	DBLP BibTeX RDF
21	Jonas Kvarnström, Patrick Doherty 0001	TALplanner: A temporal logic based forward chaining planner.	Ann. Math. Artif. Intell.	2000	DBLP DOI BibTeX RDF
21	Julián Aráoz	Forward chaining is simple(x).	Oper. Res. Lett.	2000	DBLP DOI BibTeX RDF
21	V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel	Logic Programs, Well-Orderings, and Forward Chaining.	Ann. Pure Appl. Log.	1999	DBLP DOI BibTeX RDF
21	Fahiem Bacchus, Yee Whye Teh	Making Forward Chaining Relevant.	AIPS	1998	DBLP BibTeX RDF
21	V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel	Basic Forward Chaining Construction for Logic Programs.	LFCS	1997	DBLP DOI BibTeX RDF
21	Wolfram Burgard	Goal-Directed Forward Chaining: Tuple-oriented Bottom-up Approach.	Logic Programming: Formal Methods and Practical Applications	1995	DBLP BibTeX RDF
21	V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel	A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems.	Ann. Pure Appl. Log.	1994	DBLP DOI BibTeX RDF
21	Ze-Wei Chen	Efficient Access to Knowledge Via Forward Chaining Tactics.		1994	RDF
21	Sharon M. Tuttle, Christoph F. Eick	Historical Rete Networks to Support the Debugging of Forward-Chaining Rule-Based Programs.	Int. J. Artif. Intell. Tools	1993	DBLP DOI BibTeX RDF
21	Kevin Tomsovic, Chen-Ching Liu	Bounding the Computation Time of Forward-Chaining Rule-Based Systems.	Data Knowl. Eng.	1993	DBLP DOI BibTeX RDF
21	Jean-Paul Delahaye, Philippe Mathieu	An achievement by part method to solve the incompleteness of forward chaining.	JFPL	1993	DBLP BibTeX RDF
21	Howard E. Shrobe	Supporting and Optimizing Full Unification in a Forward Chaining Rule System.	AAAI	1993	DBLP BibTeX RDF
21	Kifah R. Tout, David J. Evans 0001	Parallel forward chaining technique with dynamic scheduling, for rule-based expert systems.	Parallel Comput.	1992	DBLP DOI BibTeX RDF
21	Wilfred Z. Chen	Tactic-based Theorem Proving and Knowledge-based Forward Chaining: an Experiment with Nuprl and Ontic.	CADE	1992	DBLP DOI BibTeX RDF