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 |
|