| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Claire Lefèvre, Pascal Nicolas |
A First Order Forward Chaining Approach for Answer Set Computing.  |
LPNMR  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
| 2 | 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 |
|
| 2 | 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 |
|
| 2 | 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 |
| 2 | Patrick Doherty, Jonas Kvarnström |
TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner. (PDF / PS)  |
TIME  |
1999 |
DBLP DOI BibTeX RDF |
|
| 2 | 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 |
|
| 2 | 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 |
| 2 | 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 |
| 2 | Christoph F. Eick, Jia-Lin Liu, Paul Werstein |
Integrating forward-chaining rules with operations and permanent knowledge bases.  |
Journal of Systems Integration  |
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 |
| 2 | 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 |
| 2 | 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 |
| 2 | 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 |
| 2 | 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 |
| 2 | 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 |
| 1 | Jonas Kvarnström |
Planning for Loosely Coupled Agents Using Partial Order Forward-Chaining.  |
ICAPS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Georgios Meditskos, Nick Bassiliades |
DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet.  |
J. Web Sem.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Amanda Jane Coles, Andrew Coles, Maria Fox, Derek Long |
Forward-Chaining Partial-Order Planning.  |
ICAPS  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yisong Wang, Mingyi Zhang, Jia-Huai You |
Logic Programs, Compatibility and Forward Chaining Construction.  |
J. Comput. Sci. Technol.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Charlotte Herzeel, Kris Gybels, Pascal Costanza, Coen De Roover, Theo D'Hondt |
Forward chaining in HALO: An implementation strategy for history-based logic pointcuts.  |
Computer Languages, Systems & Structures  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | Frank Pfenning, Robert J. Simmons |
Substructural Operational Semantics as Ordered Logic Programming.  |
LICS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederick Yip, Alfred Ka Yiu Wong, Nandan Parameswaran, Pradeep Ray |
Ontology-Based Robust Production System.  |
ICSC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Krysia Broda, Keith Clark, Rob Miller 0002, Alessandra Russo |
SAGE: A Logical Agent-Based Environment Monitoring and Control System.  |
AmI  |
2009 |
DBLP DOI BibTeX RDF |
Multi-Agent Reasoning, Teleo-Reactive Programs, Logic Programming, Logic, Abduction, Event Calculus, Environmental Control |
| 1 | Claire Lefèvre, Pascal Nicolas |
The First Version of a New ASP Solver : ASPeRiX.  |
LPNMR  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Bercher, Robert Mattmüller |
A Planning Graph Heuristic for Forward-Chaining Adversarial Planning.  |
ECAI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopal Ravi Sankar, Jéan H. Greyling, Dieter Vogts, Mathys C. du Plessis |
Models towards a hybrid conversational agent for contact centres.  |
SAICSIT Conf.  |
2008 |
DBLP DOI BibTeX RDF |
contact centres, artificial intelligence, ALICE, chatbot, rule based expert system, interactive voice response, natural language interaction |
| 1 | Christopher J. Matheus, Mieczyslaw M. Kokar, Robert Dionne |
A Demonstration of Formal Policy Reasoning Using an Extended Version of BaseVISor.  |
POLICY  |
2008 |
DBLP DOI BibTeX RDF |
formal policy processing, ontologies, automated reasoning |
| 1 | Aidan Hogan, Andreas Harth, Axel Polleres |
SAOR: Authoritative Reasoning for the Web.  |
ASWC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Paola Bonacina, Nachum Dershowitz |
Canonical Inference for Implicational Systems.  |
IJCAR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Van Weert |
Optimization of CHR Propagation Rules.  |
ICLP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoi Kaoudi, Iris Miliaraki, Manolis Koubarakis |
RDFS Reasoning and Query Answering on Top of DHTs.  |
International Semantic Web Conference  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Coles, Maria Fox, Amanda Smith |
A New Local-Search Algorithm for Forward-Chaining Planning.  |
ICAPS  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Sajjad Hussain, Syed Sibte Raza Abidi |
Ontology Driven CPG Authoring and Execution via a Semantic Web Framework.  |
HICSS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yisong Wang, Mingyi Zhang, Yu-Ping Shen |
Consistency Property of Finite FC-Normal Logic Programs.  |
J. Comput. Sci. Technol.  |
2007 |
DBLP DOI BibTeX RDF |
consistency property, FC-normality, artificial intelligence, logic programs, stable model |
| 1 | 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 |
|
| 1 | Freddy Lécué, Alain Léger |
Semantic Web Service Composition Based on a Closed World Assumption.  |
ECOWS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher J. Matheus, Kenneth Baclawski, Mieczyslaw M. Kokar |
BaseVISor: A Triples-Based Inference Engine Outfitted to Process RuleML and R-Entailment Rules.  |
RuleML  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wennan Shen, Yuzhong Qu |
An RDF Storage and Query Framework with Flexible Inference Strategy.  |
APWeb  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Huiying Li, Yanbing Wang, Yuzhong Qu, Jeff Z. Pan |
A Reasoning Algorithm for pD*.  |
ASWC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Baget, Eric Salvat |
Rules Dependencies in Backward Chaining of Conceptual Graphs Rules.  |
ICCS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
| 1 | Baoshi Yan |
Aligning Class Hierarchies with Grass-Roots Class Alignment.  |
Web Intelligence  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sriram G. Sanjeevi, Pushpak Bhattacharyya |
A Connectionist Model for Predicate Logic Reasoning Using Coarse-Coded Distributed Representations.  |
KES  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Atanas Kiryakov, Damyan Ognyanov, Dimitar Manov |
OWLIM - A Pragmatic Semantic Repository for OWL.  |
WISE Workshops  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dejing Dou, Drew V. McDermott, Peishen Qi |
Ontology Translation on the Semantic Web.  |
J. Data Semantics  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Baget |
Improving the Forward Chaining Algorithm for Conceptual Graphs Rules.  |
KR  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Graeme Bell, Michael Weir |
Forward Chaining for Robot and Agent Navigation using Potential Fields.  |
ACSC  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ugur Kuter, Dana S. Nau |
Forward-Chaining Planning in Nondeterministic Domains.  |
AAAI  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp |
Generalizing the Relaxed Planning Heuristic to Non-linear Tasks.  |
KI  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
| 1 | 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 |
|
| 1 | Dejing Dou, Drew V. McDermott, Peishen Qi |
Ontology Translation on the Semantic Web.  |
CoopIS/DOA/ODBASE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | John R. Clymer |
Simulation of a Vehicle Traffic Control Network Using a Fuzzy Classifier System.  |
Annual Simulation Symposium  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernesto Burattini, Massimo De Gregorio, Antonio de Francesco |
NSL: a Neuro-Symbolic Language for Monotonic and Non-Monotonic Logical Inferences.  |
SBRN  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jarernsri L. Mitrpanont, T. Plengpung |
DOWNSIZINGX : A Rule-Based System for Downsizing the Corporation's Computer Systems.  |
IEA/AIE  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Harry Chen, Sovrin Tolia, Craig Sayers, Timothy W. Finin, Anupam Joshi |
Creating Context-Aware Software Agents.  |
WRAC  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lifeng He |
UNSEARCHMO: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving.  |
IJCAI  |
2001 |
DBLP BibTeX RDF |
|
| 1 | Fahiem Bacchus, Michael Ady |
Planning with Resources and Concurrency: A Forward Chaining Approach.  |
IJCAI  |
2001 |
DBLP BibTeX RDF |
|
| 1 | John R. Clymer, David J. Chen |
Simulation-Based Engineering of Complex Adaptive Systems Using a Classifier Block.  |
Annual Simulation Symposium  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Julián Aráoz |
Forward chaining is simple(x).  |
Oper. Res. Lett.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Kvarnström, Patrick Doherty |
TALplanner: A temporal logic based forward chaining planner.  |
Ann. Math. Artif. Intell.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianne Brown, Geoff Sutcliffe |
System Description: PTTP+GLiDes: Semantically Guided PTTP.  |
CADE  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Fisher |
Direct Execution of Agent Specifications.  |
FAABS  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Josefina Sierra-Santibáñez |
Declarative Formalization of Strategies for Action Selection: Applications to Planning.  |
JELIA  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
Logic Programs, Well-Orderings, and Forward Chaining.  |
Ann. Pure Appl. Logic  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | David Monniaux |
Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief. (PDF / PS)  |
CSFW  |
1999 |
DBLP DOI BibTeX RDF |
formal methods, cryptographic protocols, forward chaining, BAN logic |
| 1 | Fahiem Bacchus, Yee Whye Teh |
Making Forward Chaining Relevant.  |
AIPS  |
1998 |
DBLP BibTeX RDF |
|
| 1 | Jan J. Mulawka, Magdalena J. Ocwieja |
Molecular Inference via Unidirectional Chemical Reactions.  |
ICES  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
Basic Forward Chaining Construction for Logic Programs.  |
LFCS  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Roussel, Philippe Mathieu |
Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case.  |
CADE  |
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 | 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 |
| 1 | Eric Salvat, Marie-Laure Mugnier |
Sound and Complete Forward and backward Chainingd of Graph Rules.  |
ICCS  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä |
Hyper Tableaux.  |
JELIA  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfram Burgard |
Goal-Directed Forward Chaining: Tuple-oriented Bottom-up Approach.  |
Logic Programming: Formal Methods and Practical Applications  |
1995 |
DBLP BibTeX RDF |
|
| 1 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems.  |
Ann. Pure Appl. Logic  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Mathieu, Jean-Paul Delahaye |
A Kind of Achievement by Parts Method.  |
LPAR  |
1994 |
DBLP DOI BibTeX RDF |
Topics Logic of Knowledge, Complete computation, Deduction |
| 1 | Kevin Tomsovic, Chen-Ching Liu |
Bounding the Computation Time of Forward-Chaining Rule-Based Systems.  |
Data Knowl. Eng.  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Paul Delahaye, Philippe Mathieu |
An achievement by part method to solve the incompleteness of forward chaining.  |
JFPL  |
1993 |
DBLP BibTeX RDF |
|
| 1 | Howard E. Shrobe |
Supporting and Optimizing Full Unification in a Forward Chaining Rule System.  |
AAAI  |
1993 |
DBLP BibTeX RDF |
|
| 1 | 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 |
| 1 | Carl Weir, Rich Fritzson |
UNISYS: description of the CBAS system used for MUC-5.  |
MUC  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Knut Hinkelmann, Helge Hintze |
Computing Cost Estimates for Proof Strategies.  |
ELP  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Shie-Jue Lee, Chih-Hung Wu |
Building an Expert System Language Interpreter with the Rule Network Technique.  |
ISMIS  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Kifah R. Tout, David J. Evans |
Parallel forward chaining technique with dynamic scheduling, for rule-based expert systems.  |
Parallel Computing  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Wilfred Z. Chen |
Tactic-based Theorem Proving and Knowledge-based Forward Chaining: an Experiment with Nuprl and Ontic.  |
CADE  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshihiko Ohta, Katsumi Inoue |
A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation.  |
FGCS  |
1992 |
DBLP BibTeX RDF |
|
| 1 | 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 |
| 1 | Carl Weir, Barry Silk |
Paramax Systems Corporation: MUC-4 test results and analysis.  |
MUC  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | T. Yoshikawa |
A visual knowledge representation language for layout problem.  |
ICCL  |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jay C. Weber |
A Forward-Chaining Information Framework.  |
The Next Generation of Information Systems  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph F. Eick |
Integrating Variables and Operations into Rule-Based Forward Chaining Systems.  |
ISMIS  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Toru Ishida |
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 |
| 1 | M. C. Rowe, J. Labhart, R. Bechtel, S. Matney, S. Carrow |
Forward chaining parallel inference.  |
SPDP  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | William J. Selig, James D. Johannes |
Reasoning Visualization in Expert Systems - The Applicability of Algorithm Animation Techniques.  |
IEA/AIE (Vol. 1)  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
|
| 1 | John W. Benoit |
SAPS: A Production System with Active Data Structures.  |
IEEE Expert  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfram Burgard |
Efficiency Considerations on Goal-Directed Chaining for Logic Programs.  |
CSL  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | John Domingue, Marc Eisenstadt |
A New Metaphor for the Graphical Explanation of Forward-Chaining Rule Execution.  |
IJCAI  |
1989 |
DBLP BibTeX RDF |
|