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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers, pp. 171-187, 2005, Springer, 3-540-33106-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
61 | Christoph F. Eick, Jialin Liu, Paul Werstein |
Integrating forward-chaining rules with operations and permanent knowledge bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Integr. ![In: J. Syst. Integr. 2(3), pp. 263-290, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Knowledge Representation as Interlingua, 4th International Conference on Conceptual Structures, ICCS '96, Sydney, Australia, August 19-22, 1996, Proceedings, pp. 248-262, 1996, Springer, 3-540-61534-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
55 | Christoph F. Eick |
Activation pattern controlled rules: Towards an integration of data-driven and command-driven programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 2(1), pp. 75-91, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings, pp. 386-398, 1990, Springer, 3-540-53686-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: iiWAS'2009 - The Eleventh International Conference on Information Integration and Web-based Applications and Services, 14-16 December 2009, Kuala Lumpur, Malaysia, pp. 492-496, 2009, ACM, 978-1-60558-660-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 13-15 November 2000, Vancouver, BC, Canada, pp. 384-392, 2000, IEEE Computer Society, 0-7695-0909-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(7), pp. 897-907, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Frontiers of WWW Research and Development - APWeb 2006, 8th Asia-Pacific Web Conference, Harbin, China, January 16-18, 2006, Proceedings, pp. 166-175, 2006, Springer, 3-540-31142-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Patrick Doherty 0001, Jonas Kvarnström |
TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 6th International Workshop on Temporal Representation and Reasoning, TIME '99, Orlando, Florida, USA, May 1-2, 1999, pp. 47-54, 1999, IEEE Computer Society, 0-7695-0173-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
45 | Knut Hinkelmann, Helge Hintze |
Computing Cost Estimates for Proof Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, UK, March 29 - April 1, 1993, Proceedings, pp. 152-170, 1993, Springer, 3-540-58025-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 223-, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(3), pp. 196-208, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 14(8), pp. 840-847, 1992. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: AI '88: 2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988, Proceedings, pp. 48-61, 1988, Springer, 3-540-52062-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings, pp. 129-149, 1985, Springer, 3-540-16042-6. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
34 | Claire Lefèvre, Pascal Nicolas |
A First Order Forward Chaining Approach for Answer Set Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, pp. 196-208, 2009, Springer, 978-3-642-04237-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDL ![In: Proceedings of the 2007 International Conference on Dynamic Languages (ICDL 2007), organised in conjunction with the 15th International Smalltalk Joint Conference 2007, Lugano, Switzerland, 25-31 August 2007, pp. 157-182, 2007, ACM, 978-1-60558-084-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Transactions and Change in Logic Databases ![In: Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS '97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases, (DYNAMICS'97) Port Jefferson, NY, USA, October 17, 1997, Invited Surveys and Selected Papers, pp. 317-339, 1998, Springer, 3-540-65305-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
32 | Jean-François Baget, Eric Salvat |
Rules Dependencies in Backward Chaining of Conceptual Graphs Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Inspiration and Application, 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006, Proceedings, pp. 102-116, 2006, Springer, 3-540-35893-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | David Monniaux |
Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: Proceedings of the 12th IEEE Computer Security Foundations Workshop, CSFW 1999, Mordano, Italy, June 28-30, 1999, pp. 44-54, 1999, IEEE Computer Society, 0-7695-0201-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 5(1), pp. 52-64, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, CAiSE'92, Manchester, UK, May 12-15, 1992, Proceedings, pp. 507-523, 1992, Springer, 3-540-55481-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 3(1), pp. 11-17, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE Workshops ![In: Web Information Systems Engineering - WISE 2005 Workshops, WISE 2005 International Workshops, New York, NY, USA, November 20-22, 2005, Proceedings, pp. 182-192, 2005, Springer, 3-540-30018-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | James Harland, Michael Winikoff |
Agents via Mixed-Mode Computation in Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 42(1-3), pp. 167-196, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings, pp. 133-147, 2000, Springer, 3-540-41131-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Olivier Roussel, Philippe Mathieu |
Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-14, 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997, Proceedings, pp. 161-175, 1997, Springer, 3-540-63104-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
26 | Olivier Roussel, Philippe Mathieu |
A New Method for Knowledge Compilation: The Achievement by Cycle Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996, Proceedings, pp. 493-507, 1996, Springer, 3-540-61511-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
expert systems, resolution, knowledge compilation |
26 | Carl Weir, Barry Silk |
Paramax Systems Corporation: MUC-4 test results and analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUC ![In: Proceedings of the 4th Conference on Message Understanding, MUC 1992, McLean, Virginia, USA, June 16-18, 1992, pp. 128-131, 1992, ACL, 1-55860-273-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ, USA, May 23-25, 1990., pp. 271-280, 1990, ACM Press, 978-0-89791-365-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
23 | Dejing Dou, Drew V. McDermott, Peishen Qi |
Ontology Translation on the Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics II, pp. 35-57, 2005, Springer, 3-540-24208-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins |
Monadic concurrent linear logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal, pp. 35-46, 2005, ACM, 1-59593-090-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM ![In: On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE - OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2003, Catania, Sicily, Italy, November 3-7, 2003, pp. 952-969, 2003, Springer, 3-540-20498-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Haerim Lee, Warren Moseley |
A parallel inference engine (PIE) (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 360, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1986 ACM SIGMOD International Conference on Management of Data, Washington, DC, USA, May 28-30, 1986., pp. 281-292, 1986, ACM Press, 978-0-89791-191-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
23 | Domenico Saccà, Carlo Zaniolo |
The Generalized Counting Method for Recursive Logic Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: ICDT'86, International Conference on Database Theory, Rome, Italy, September 8-10, 1986, Proceedings, pp. 31-53, 1986, Springer, 3-540-17187-8. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
23 | Jeffrey D. Ullman |
Implementation of Logical Query Languages for Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 10(3), pp. 289-321, 1985. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024, pp. 2222-2224, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.12223, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatica (Slovenia) ![In: Informatica (Slovenia) 46(6), 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIED (1) ![In: Artificial Intelligence in Education - 23rd International Conference, AIED 2022, Durham, UK, July 27-31, 2022, Proceedings, Part I, pp. 546-552, 2022, Springer, 978-3-031-11643-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Afnan G. Alhazmi, George Konstantinidis 0001 |
OBDA vs Forward Chaining: the ForBackBench Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC (Posters/Demos/Industry) ![In: Proceedings of the ISWC 2022 Posters, Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 21st International Semantic Web Conference (ISWC 2022), Virtual Conference, Hangzhou, China, October 23-27, 2022., 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
21 | Haile Misgna, Moges Ahmed, Anubhav Kumar |
MatES: Web-based Forward Chaining Expert System for Maternal Care. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.09281, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Nicoletta Fornara, Marco Sterpetti |
An Architecture for Monitoring Norms that Combines OWL Reasoning and Forward Chaining over Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JOWO ![In: Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), and the 12th International Conference on Biomedical Ontologies (ICBO 2021), Bolzano, Italy, September 11-18, 2021., 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Andrew Messing, Seth Hutchinson 0001 |
Forward Chaining Hierarchical Partial-Order Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAFR ![In: Algorithmic Foundations of Robotics XIV, Proceedings of the Fourteenth Workshop on the Algorithmic Foundations of Robotics, WAFR 2021, Oulu, Finland, June 21-23, 2021, pp. 364-380, 2021, Springer, 978-3-030-66722-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 8, pp. 217977-217986, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Ambient Intell. Humaniz. Comput. ![In: J. Ambient Intell. Humaniz. Comput. 10(7), pp. 2895-2905, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFL+MSVL ![In: Structured Object-Oriented Formal Language and Method - 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, pp. 141-154, 2019, Springer, 978-3-030-41417-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mob. Networks Appl. ![In: Mob. Networks Appl. 23(3), pp. 446-455, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
iiWAS ![In: Proceedings of the 20th International Conference on Information Integration and Web-based Applications & Services, iiWAS 2018, Yogyakarta, Indonesia, November 19-21, 2018, pp. 391-395, 2018, ACM, 978-1-4503-6479-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOTAIS ![In: IEEE International Conference on Internet of Things and Intelligence System, IOTAIS 2018, Bali, Indonesia, November 1-3, 2018, pp. 207-213, 2018, IEEE, 978-1-5386-7358-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 17(3), pp. 266-310, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
21 | Konrad Grzanek |
Forward Chaining with State Monad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAISC (2) ![In: Artificial Intelligence and Soft Computing - 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part II, pp. 442-452, 2016, Springer, 978-3-319-39383-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Liana Marinescu, Andrew Ian Coles |
Heuristic Guidance for Forward-Chaining Planning with Numeric Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, ICAPS 2016, London, UK, June 12-17, 2016., pp. 230-234, 2016, AAAI Press, 978-1-57735-757-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
21 | Juan Manuel Delfa Victoria |
Automated Hierarchical, Forward-Chaining Temporal Planner for Planetary Robots Exploring Unknown Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
RDF |
|
21 | Óscar Sapena, Eva Onaindia, Alejandro Torreño |
FLAP: Applying least-commitment in forward-chaining planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Commun. ![In: AI Commun. 28(1), pp. 5-20, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. J. Knowl. Eng. ![In: Expert Syst. J. Knowl. Eng. 32(2), pp. 178-191, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.07717, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Alan Perotti, Guido Boella, Artur S. d'Avila Garcez |
Runtime Verification Through Forward Chaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 185-200, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Konrad Grzanek |
Transactional Forward Chaining: A Functional Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAISC ![In: Artificial Intelligence and Soft Computing - 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-28, 2015, Proceedings, Part II, pp. 613-624, 2015, Springer, 978-3-319-19368-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTC ![In: International Conference on Information and Communication Technology Convergence, ICTC 2015, Jeju Island, South Korea, October 28-30, 2015, pp. 53-58, 2015, IEEE, 978-1-4673-7116-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Jaroslaw Bak |
RuQAR : Reasoning with OWL 2 RL Using Forward Chaining Engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ORE ![In: Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), Athens, Greece, June 6, 2015., pp. 31-37, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
21 | Marius Brezovan, Costin Badica |
Event-B Modeling of a Rule Base for an Expert System Using Forward Chaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCI ![In: Proceedings of the 7th Balkan Conference on Informatics Conference, BCI '15, Craiova, Romania, September 2-4, 2015, pp. 7:1-7:8, 2015, ACM, 978-1-4503-3335-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
21 | Alan Perotti, Guido Boella, Artur S. d'Avila Garcez |
Runtime Verification Through Forward Chaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS ![In: Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014., pp. 68-81, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Rémy Haemmerlé |
On Combining Backward and Forward Chaining in Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, pp. 213-224, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
21 | Óscar Sapena, Eva Onaindia, Alejandro Torreño |
Forward-Chaining Planning with a Flexible Least-Commitment Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCIA ![In: Artificial Intelligence Research and Development - Proceedings of the 16th International Conference of the Catalan Association for Artificial Intelligence, Vic, Catalonia, Spain, October 23-25, 2013., pp. 41-50, 2013, IOS Press, 978-1-61499-319-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Alex Brik, Jeffrey B. Remmel |
Forward Chaining for Hybrid ASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings, pp. 74-88, 2013, Springer, 978-3-642-35721-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
21 | Peter Bartalos, Mária Bieliková |
Effective QoS Aware Service Composition Based on Forward Chaining with Service Space Restriction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantic Web Services, Advancement through Evaluation ![In: Semantic Web Services, Advancement through Evaluation, pp. 313-328, 2012, Springer, 978-3-642-28734-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
21 | Jonas Kvarnström |
Planning for Loosely Coupled Agents Using Partial Order Forward-Chaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the 21st International Conference on Automated Planning and Scheduling, ICAPS 2011, Freiburg, Germany June 11-16, 2011, 2011, AAAI. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
21 | Georgios Meditskos, Nick Bassiliades |
DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Web Semant. ![In: J. Web Semant. 8(1), pp. 89-94, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Amanda Jane Coles, Andrew Coles, Maria Fox 0001, Derek Long |
Forward-Chaining Partial-Order Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the 20th International Conference on Automated Planning and Scheduling, ICAPS 2010, Toronto, Ontario, Canada, May 12-16, 2010, pp. 42-49, 2010, AAAI. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
21 | Yisong Wang, Mingyi Zhang 0002, Jia-Huai You |
Logic Programs, Compatibility and Forward Chaining Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 24(6), pp. 1125-1137, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. Syst. Struct. ![In: Comput. Lang. Syst. Struct. 35(1), pp. 31-47, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings, pp. 672-679, 2009, Springer, 978-3-642-04616-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Pascal Bercher, Robert Mattmüller |
A Planning Graph Heuristic for Forward-Chaining Adversarial Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings, pp. 921-922, 2008, IOS Press, 978-1-58603-891-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Andrew Coles, Maria Fox 0001, Amanda Smith |
A New Local-Search Algorithm for Forward-Chaining Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAPS ![In: Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007, pp. 89-96, 2007, AAAI, 978-1-57735-344-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
21 | Amanda Smith |
Online generation and use of macro-actions in forward-chaining planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
21 | Andrew Ian Coles |
Heuristics and metaheuristics in forward-chaining planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBISP2P ![In: Databases, Information Systems, and Peer-to-Peer Computing, International Workshops, DBISP2P 2005/2006, Trondheim, Norway, August 28-29, 2005, Seoul, Korea, September 11, 2006, Revised Selected Papers, pp. 343-354, 2006, Springer, 978-3-540-71660-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Graeme Bell, Michael Weir |
Forward Chaining for Robot and Agent Navigation using Potential Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: Computer Science 2004, Twenty-Seveth Australasian Computer Science Conference (ACSC2004), Dunedin, New Zealand, January 2004, pp. 265-274, 2004, Australian Computer Society, 1-920682-05-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
21 | Ugur Kuter, Dana S. Nau |
Forward-Chaining Planning in Nondeterministic Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, July 25-29, 2004, San Jose, California, USA, pp. 513-518, 2004, AAAI Press / The MIT Press, 0-262-51183-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
21 | Jean-François Baget |
Improving the Forward Chaining Algorithm for Conceptual Graphs Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004, pp. 407-414, 2004, AAAI Press, 1-57735-199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
21 | Lifeng He, Yuyan Chao, Hidenori Itoh |
Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 18(5), pp. 580-591, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Lifeng He |
UNSEARCHMO: Eliminating Redundant Search Space on Backtracking for Forward Chaining Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001, pp. 618-623, 2001, Morgan Kaufmann, 1-55860-777-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
21 | Fahiem Bacchus, Michael Ady |
Planning with Resources and Concurrency: A Forward Chaining Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001, pp. 417-424, 2001, Morgan Kaufmann, 1-55860-777-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
21 | Jonas Kvarnström, Patrick Doherty 0001 |
TALplanner: A temporal logic based forward chaining planner. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 30(1-4), pp. 119-169, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | Julián Aráoz |
Forward chaining is simple(x). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. Lett. ![In: Oper. Res. Lett. 26(1), pp. 23-26, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
21 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
Logic Programs, Well-Orderings, and Forward Chaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 96(1-3), pp. 231-276, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Fahiem Bacchus, Yee Whye Teh |
Making Forward Chaining Relevant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPS ![In: Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, Pittsburgh, Pennsylvania, USA, 1998, pp. 54-61, 1998, AAAI, 1-57735-052-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
21 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
Basic Forward Chaining Construction for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, pp. 214-225, 1997, Springer, 3-540-63045-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
21 | Wolfram Burgard |
Goal-Directed Forward Chaining: Tuple-oriented Bottom-up Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic Programming: Formal Methods and Practical Applications ![In: Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence., pp. 1-19, 1995, Elsevier Science B.V./North-Holland, 0-444-82092-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
21 | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 67(1-3), pp. 269-323, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Ze-Wei Chen |
Efficient Access to Knowledge Via Forward Chaining Tactics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1994 |
RDF |
|
21 | Sharon M. Tuttle, Christoph F. Eick |
Historical Rete Networks to Support the Debugging of Forward-Chaining Rule-Based Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Artif. Intell. Tools ![In: Int. J. Artif. Intell. Tools 2(1), pp. 47-70, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Kevin Tomsovic, Chen-Ching Liu |
Bounding the Computation Time of Forward-Chaining Rule-Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Knowl. Eng. ![In: Data Knowl. Eng. 10, pp. 317-334, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
21 | Jean-Paul Delahaye, Philippe Mathieu |
An achievement by part method to solve the incompleteness of forward chaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JFPL ![In: 2èmes Journées Francophones de Programmation Logique (JFPL 93), Nimes, France, pp. 155-171, 1993, TEKNEA, 2-87717-034-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
21 | Howard E. Shrobe |
Supporting and Optimizing Full Unification in a Forward Chaining Rule System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the 11th National Conference on Artificial Intelligence. Washington, DC, USA, July 11-15, 1993., pp. 710-715, 1993, AAAI Press / The MIT Press, 0-262-51071-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
21 | Kifah R. Tout, David J. Evans 0001 |
Parallel forward chaining technique with dynamic scheduling, for rule-based expert systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Comput. ![In: Parallel Comput. 18(8), pp. 913-930, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Wilfred Z. Chen |
Tactic-based Theorem Proving and Knowledge-based Forward Chaining: an Experiment with Nuprl and Ontic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 552-566, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|