The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase forward chaining (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1975-1989 (15) 1990-1992 (18) 1993-1996 (15) 1997-2000 (15) 2001-2005 (20) 2006-2008 (17) 2009-2011 (12)
Publication types (Num. hits)
article(23) incollection(1) inproceedings(88)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 126 occurrences of 101 keywords

Results
Found 112 publication records. Showing 112 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
2Claire Lefèvre, Pascal Nicolas A First Order Forward Chaining Approach for Answer Set Computing. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Leo Willyanto Santoso RTESS: real time expert system shell. Search on Bibsonomy iiWAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF binary tree sort, binary search tree, forward chaining, certainty factor, backward chaining
2Charlotte Herzeel, Kris Gybels, Pascal Costanza, Coen De Roover, Theo D'Hondt Forward chaining in HALO: an implementation strategy for history-based logic pointcuts. Search on Bibsonomy ICDL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2Hisashi Hayashi, Seiji Tokura, Tetsuo Hasegawa, Fumio Ozaki Dynagent: An Incremental Forward-Chaining HTN Planning Agent in Dynamic Domains. Search on Bibsonomy DALT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Michael J. Maher, Andrew Rock, Grigoris Antoniou, David Billington, Tristan Miller Efficient defeasible reasoning systems. Search on Bibsonomy ICTAI The full citation details ... 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
2Patrick Doherty, Jonas Kvarnström TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner. (PDF / PS) Search on Bibsonomy TIME The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
2Hassan Bezzazi, Stéphane Janot, Sébastien Konieczny, Ramón Pino Pérez Analysing Rational Properties of Change Operators Based on Forward Chaining. Search on Bibsonomy Transactions and Change in Logic Databases The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
2Robert T. Goettge, Eric W. Brehm, Charles Palczak, John A. Stankovic, Marty Humphrey Knowledge-Based assistance for real-time systems. Search on Bibsonomy ICECCS The full citation details ... 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
2Robert P. Goldman, Eugene Charniak A Language for Construction of Belief Networks. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 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
2Christoph F. Eick, Jia-Lin Liu, Paul Werstein Integrating forward-chaining rules with operations and permanent knowledge bases. Search on Bibsonomy Journal of Systems Integration The full citation details ... 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
2Chen-Chau Chu, Jake K. Aggarwal Image Interpretation Using Multiple Sensing Modalities. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 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
2Christoph F. Eick Activation pattern controlled rules: Towards an integration of data-driven and command-driven programming. Search on Bibsonomy Appl. Intell. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF Activation pattern controlled rules, data-driven programming, integrated knowledge bases, rule-based systems, forward chaining, multi-paradigm programming
2Philippe Mathieu, Jean-Paul Delahaye The Logical Compilation of Knowledge Bases. Search on Bibsonomy JELIA The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Key-words Expert system, knowledge representation, three-valued logic, forward chaining
2Michael Stonebraker, Eric N. Hanson, Spyros Potamianos The POSTGRES Rule Manager. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
2Tim Menzies, M. Dean, J. L. Black, J. F. Fleming Combining Heuristics and Simulation Models: An Expert System for the Optimal Management of Pigs. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 1988 DBLP  DOI  BibTeX  RDF AUSPIG, pigs, expert system, optimisation, simulation modelling, forward chaining
1Jonas Kvarnström Planning for Loosely Coupled Agents Using Partial Order Forward-Chaining. Search on Bibsonomy ICAPS The full citation details ... 2011 DBLP  BibTeX  RDF
1Georgios Meditskos, Nick Bassiliades DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet. Search on Bibsonomy J. Web Sem. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long Forward-Chaining Partial-Order Planning. Search on Bibsonomy ICAPS The full citation details ... 2010 DBLP  BibTeX  RDF
1Yisong Wang, Mingyi Zhang, Jia-Huai You Logic Programs, Compatibility and Forward Chaining Construction. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Charlotte Herzeel, Kris Gybels, Pascal Costanza, Coen De Roover, Theo D'Hondt Forward chaining in HALO: An implementation strategy for history-based logic pointcuts. Search on Bibsonomy Computer Languages, Systems & Structures The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Silvana Petruseva Forward Chaining Algorithm for Solving the Shortest Path Problem in Arbitrary Deterministic Environment in Linear Time - Applied for the Tower of Hanoi Problem. Search on Bibsonomy KI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Frank Pfenning, Robert J. Simmons Substructural Operational Semantics as Ordered Logic Programming. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Frederick Yip, Alfred Ka Yiu Wong, Nandan Parameswaran, Pradeep Ray Ontology-Based Robust Production System. Search on Bibsonomy ICSC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Krysia Broda, Keith Clark, Rob Miller 0002, Alessandra Russo SAGE: A Logical Agent-Based Environment Monitoring and Control System. Search on Bibsonomy AmI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Multi-Agent Reasoning, Teleo-Reactive Programs, Logic Programming, Logic, Abduction, Event Calculus, Environmental Control
1Claire Lefèvre, Pascal Nicolas The First Version of a New ASP Solver : ASPeRiX. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pascal Bercher, Robert Mattmüller A Planning Graph Heuristic for Forward-Chaining Adversarial Planning. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gopal Ravi Sankar, Jéan H. Greyling, Dieter Vogts, Mathys C. du Plessis Models towards a hybrid conversational agent for contact centres. Search on Bibsonomy SAICSIT Conf. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF contact centres, artificial intelligence, ALICE, chatbot, rule based expert system, interactive voice response, natural language interaction
1Christopher J. Matheus, Mieczyslaw M. Kokar, Robert Dionne A Demonstration of Formal Policy Reasoning Using an Extended Version of BaseVISor. Search on Bibsonomy POLICY The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal policy processing, ontologies, automated reasoning
1Aidan Hogan, Andreas Harth, Axel Polleres SAOR: Authoritative Reasoning for the Web. Search on Bibsonomy ASWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Maria Paola Bonacina, Nachum Dershowitz Canonical Inference for Implicational Systems. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Peter Van Weert Optimization of CHR Propagation Rules. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Zoi Kaoudi, Iris Miliaraki, Manolis Koubarakis RDFS Reasoning and Query Answering on Top of DHTs. Search on Bibsonomy International Semantic Web Conference The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Andrew Coles, Maria Fox, Amanda Smith A New Local-Search Algorithm for Forward-Chaining Planning. Search on Bibsonomy ICAPS The full citation details ... 2007 DBLP  BibTeX  RDF
1Sajjad Hussain, Syed Sibte Raza Abidi Ontology Driven CPG Authoring and Execution via a Semantic Web Framework. Search on Bibsonomy HICSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Mingyi Zhang, Yu-Ping Shen Consistency Property of Finite FC-Normal Logic Programs. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF consistency property, FC-normality, artificial intelligence, logic programs, stable model
1Dominic Battré, Felix Heine, André Höing, Odej Kao On Triple Dissemination, Forward-Chaining, and Load Balancing in DHT Based RDF Stores. Search on Bibsonomy DBISP2P The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Freddy Lécué, Alain Léger Semantic Web Service Composition Based on a Closed World Assumption. Search on Bibsonomy ECOWS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Christopher J. Matheus, Kenneth Baclawski, Mieczyslaw M. Kokar BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules. Search on Bibsonomy RuleML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Wennan Shen, Yuzhong Qu An RDF Storage and Query Framework with Flexible Inference Strategy. Search on Bibsonomy APWeb The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Huiying Li, Yanbing Wang, Yuzhong Qu, Jeff Z. Pan A Reasoning Algorithm for pD*. Search on Bibsonomy ASWC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jean-François Baget, Eric Salvat Rules Dependencies in Backward Chaining of Conceptual Graphs Rules. Search on Bibsonomy ICCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins Monadic concurrent linear logic programming. Search on Bibsonomy PPDP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF committed choice concurrency, operational semantics, linear logic
1Baoshi Yan Aligning Class Hierarchies with Grass-Roots Class Alignment. Search on Bibsonomy Web Intelligence The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sriram G. Sanjeevi, Pushpak Bhattacharyya A Connectionist Model for Predicate Logic Reasoning Using Coarse-Coded Distributed Representations. Search on Bibsonomy KES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Atanas Kiryakov, Damyan Ognyanov, Dimitar Manov OWLIM - A Pragmatic Semantic Repository for OWL. Search on Bibsonomy WISE Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Dejing Dou, Drew V. McDermott, Peishen Qi Ontology Translation on the Semantic Web. Search on Bibsonomy J. Data Semantics The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jean-François Baget Improving the Forward Chaining Algorithm for Conceptual Graphs Rules. Search on Bibsonomy KR The full citation details ... 2004 DBLP  BibTeX  RDF
1Graeme Bell, Michael Weir Forward Chaining for Robot and Agent Navigation using Potential Fields. Search on Bibsonomy ACSC The full citation details ... 2004 DBLP  BibTeX  RDF
1Ugur Kuter, Dana S. Nau Forward-Chaining Planning in Nondeterministic Domains. Search on Bibsonomy AAAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Stefan Edelkamp Generalizing the Relaxed Planning Heuristic to Non-linear Tasks. Search on Bibsonomy KI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1James Harland, Michael Winikoff Agents via Mixed-Mode Computation in Linear Logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF mixed-mode computation, Belief Desire Intention (BDI), intelligent agents, linear logic
1Lifeng He, Yuyan Chao, Hidenori Itoh Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Dejing Dou, Drew V. McDermott, Peishen Qi Ontology Translation on the Semantic Web. Search on Bibsonomy CoopIS/DOA/ODBASE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1John R. Clymer Simulation of a Vehicle Traffic Control Network Using a Fuzzy Classifier System. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Ernesto Burattini, Massimo De Gregorio, Antonio de Francesco NSL: a Neuro-Symbolic Language for Monotonic and Non-Monotonic Logical Inferences. Search on Bibsonomy SBRN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Jarernsri L. Mitrpanont, T. Plengpung DOWNSIZINGX : A Rule-Based System for Downsizing the Corporation's Computer Systems. Search on Bibsonomy IEA/AIE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Harry Chen, Sovrin Tolia, Craig Sayers, Timothy W. Finin, Anupam Joshi Creating Context-Aware Software Agents. Search on Bibsonomy WRAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Lifeng He UNSEARCHMO: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
1Fahiem Bacchus, Michael Ady Planning with Resources and Concurrency: A Forward Chaining Approach. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
1John R. Clymer, David J. Chen Simulation-Based Engineering of Complex Adaptive Systems Using a Classifier Block. Search on Bibsonomy Annual Simulation Symposium The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Julián Aráoz Forward chaining is simple(x). Search on Bibsonomy Oper. Res. Lett. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Jonas Kvarnström, Patrick Doherty TALplanner: A temporal logic based forward chaining planner. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Marianne Brown, Geoff Sutcliffe System Description: PTTP+GLiDes: Semantically Guided PTTP. Search on Bibsonomy CADE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Michael Fisher Direct Execution of Agent Specifications. Search on Bibsonomy FAABS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Josefina Sierra-Santibáñez Declarative Formalization of Strategies for Action Selection: Applications to Planning. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel Logic Programs, Well-Orderings, and Forward Chaining. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1David Monniaux Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief. (PDF / PS) Search on Bibsonomy CSFW The full citation details ... 1999 DBLP  DOI  BibTeX  RDF formal methods, cryptographic protocols, forward chaining, BAN logic
1Fahiem Bacchus, Yee Whye Teh Making Forward Chaining Relevant. Search on Bibsonomy AIPS The full citation details ... 1998 DBLP  BibTeX  RDF
1Jan J. Mulawka, Magdalena J. Ocwieja Molecular Inference via Unidirectional Chemical Reactions. Search on Bibsonomy ICES The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel Basic Forward Chaining Construction for Logic Programs. Search on Bibsonomy LFCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Olivier Roussel, Philippe Mathieu Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Roberto Caracciolo, Enrico Ceresole Forward Assembly Planning Based on Stability. Search on Bibsonomy Journal of Intelligent and Robotic Systems The full citation details ... 1997 DBLP  DOI  BibTeX  RDF robot, stability, operations, forward, assembly planning
1Olivier Roussel, Philippe Mathieu A New Method for Knowledge Compilation: The Achievement by Cycle Search. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF expert systems, resolution, knowledge compilation
1Eric Salvat, Marie-Laure Mugnier Sound and Complete Forward and backward Chainingd of Graph Rules. Search on Bibsonomy ICCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä Hyper Tableaux. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Wolfram Burgard Goal-Directed Forward Chaining: Tuple-oriented Bottom-up Approach. Search on Bibsonomy Logic Programming: Formal Methods and Practical Applications The full citation details ... 1995 DBLP  BibTeX  RDF
1V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Philippe Mathieu, Jean-Paul Delahaye A Kind of Achievement by Parts Method. Search on Bibsonomy LPAR The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Topics Logic of Knowledge, Complete computation, Deduction
1Kevin Tomsovic, Chen-Ching Liu Bounding the Computation Time of Forward-Chaining Rule-Based Systems. Search on Bibsonomy Data Knowl. Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Jean-Paul Delahaye, Philippe Mathieu An achievement by part method to solve the incompleteness of forward chaining. Search on Bibsonomy JFPL The full citation details ... 1993 DBLP  BibTeX  RDF
1Howard E. Shrobe Supporting and Optimizing Full Unification in a Forward Chaining Rule System. Search on Bibsonomy AAAI The full citation details ... 1993 DBLP  BibTeX  RDF
1Christoph F. Eick, Paul Werstein Rule-Based Consistency Enforcement for Knowledge-Based Systems. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 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
1Carl Weir, Rich Fritzson UNISYS: description of the CBAS system used for MUC-5. Search on Bibsonomy MUC The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Knut Hinkelmann, Helge Hintze Computing Cost Estimates for Proof Strategies. Search on Bibsonomy ELP The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Shie-Jue Lee, Chih-Hung Wu Building an Expert System Language Interpreter with the Rule Network Technique. Search on Bibsonomy ISMIS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Kifah R. Tout, David J. Evans Parallel forward chaining technique with dynamic scheduling, for rule-based expert systems. Search on Bibsonomy Parallel Computing The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Wilfred Z. Chen Tactic-based Theorem Proving and Knowledge-based Forward Chaining: an Experiment with Nuprl and Ontic. Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Yoshihiko Ohta, Katsumi Inoue A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation. Search on Bibsonomy FGCS The full citation details ... 1992 DBLP  BibTeX  RDF
1Isabelle Comyn-Wattiau, Mokrane Bouzeghoub Constraint Confrontation: An Important Step in View Integration. Search on Bibsonomy CAiSE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF deductive process, conflict resolution, database design, integrity constraint, forward chaining, view integration
1Carl Weir, Barry Silk Paramax Systems Corporation: MUC-4 test results and analysis. Search on Bibsonomy MUC The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1T. Yoshikawa A visual knowledge representation language for layout problem. Search on Bibsonomy ICCL The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Jay C. Weber A Forward-Chaining Information Framework. Search on Bibsonomy The Next Generation of Information Systems The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Christoph F. Eick Integrating Variables and Operations into Rule-Based Forward Chaining Systems. Search on Bibsonomy ISMIS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Toru Ishida Parallel Rule Firing in Production Systems. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 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
1M. C. Rowe, J. Labhart, R. Bechtel, S. Matney, S. Carrow Forward chaining parallel inference. Search on Bibsonomy SPDP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1William J. Selig, James D. Johannes Reasoning Visualization in Expert Systems - The Applicability of Algorithm Animation Techniques. Search on Bibsonomy IEA/AIE (Vol. 1) The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Eric N. Hanson, Moez Chaabouni, Chang-Ho Kim, Yu-Wang Wang A Predicate Matching Algorithm for Database Rule Systems. Search on Bibsonomy SIGMOD Conference The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1John W. Benoit SAPS: A Production System with Active Data Structures. Search on Bibsonomy IEEE Expert The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1Wolfram Burgard Efficiency Considerations on Goal-Directed Chaining for Logic Programs. Search on Bibsonomy CSL The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
1John Domingue, Marc Eisenstadt A New Metaphor for the Graphical Explanation of Forward-Chaining Rule Execution. Search on Bibsonomy IJCAI The full citation details ... 1989 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 112 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.