Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
92 | 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 |
74 | Riccardo Poli, William B. Langdon |
Backward-chaining genetic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2005, Proceedings, Washington DC, USA, June 25-29, 2005, pp. 1777-1778, 2005, ACM, 1-59593-010-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
GP, tournament selection, backward chaining |
68 | 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 |
|
67 | 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 |
|
64 | Kaustuv Chaudhuri, Frank Pfenning, Greg Price |
A Logical Characterization of Forward and Backward Chaining in the Inverse Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 40(2-3), pp. 133-177, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
SLD resolution, Hyperresolution, Intuitionistic linear logic, Focusing, Inverse method |
64 | Kaustuv Chaudhuri, Frank Pfenning, Greg Price |
A Logical Characterization of Forward and Backward Chaining in the Inverse Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 97-111, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
59 | 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 |
59 | 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 |
59 | 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 |
58 | Véronique Royer |
Backward Chaining Evaluation in Stratified Disjunctive Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, April 2-4, 1990, Nashville, Tennessee, USA, pp. 183-195, 1990, ACM Press, 0-89791-352-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
deductive data bases, negation by default, stratified data bases, query evaluation, fixpoint semantics, backward chaining |
57 | Huayang Xie, Mengjie Zhang 0001 |
An Analysis and Evaluation of the Saving Capability and Feasibility of Backward-Chaining Evolutionary Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACAL ![In: Artificial Life: Borrowing from Biology, 4th Australian Conference, ACAL 2009, Melbourne, Australia, December 1-4, 2009. Proceedings, pp. 63-72, 2009, Springer, 978-3-642-10426-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
51 | 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 |
|
51 | 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 |
|
41 | Douglas H. Fisher, Mary E. Edgerton, Lianhong Tang, Lewis J. Frey, Zhihua Chen |
Searching for Meaningful Feature Interactions with Backward-Chaining Rule Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDA ![In: Advances in Intelligent Data Analysis VI, 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005, Proceedings, pp. 86-96, 2005, Springer, 3-540-28795-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Li Xu, Wen-Xiang Gu, Xin-mei Zhang |
Backward-Chaining Flexible Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMLC ![In: Advances in Machine Learning and Cybernetics, 4th International Conference, ICMLC 2005, Guangzhou, China, August 18-21, 2005, Revised Selected Papers, pp. 1-10, 2005, Springer, 3-540-33584-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Kifah R. Tout, David J. Evans 0001 |
A Parallel Expert System Using a Backward Chaining Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: Parallel Processing: CONPAR 92 - VAPP V, Second Joint International Conference on Vector and Parallel Processing, Lyon, France, September 1-4, 1992, Proceedings, pp. 713-718, 1992, Springer, 3-540-55895-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
35 | 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 |
|
33 | Ying Ma, Liang Chen 0001, Jian Hui, Jian Wu 0001 |
CBBCM: Clustering Based Automatic Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC ![In: IEEE International Conference on Services Computing, SCC 2011, Washington, DC, USA, 4-9 July, 2011, pp. 354-361, 2011, IEEE Computer Society, 978-1-4577-0863-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
backward chaining method, service composition, semantic similarity |
33 | Kimon P. Valavanis, Peter H. Yuan |
Hardware and software for intelligent robotic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 1(4), pp. 343-373, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
robotic system organizer, forward and backward chaining, loosely coupled parallel processing system, Hierarchical structure |
32 | Yi-Dong Shen |
Reasoning with recursive loops under the PLP framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(4), pp. 27:1-27:31, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
cyclic influences, recursive loops, the well-founded model, Logic programming, Bayesian networks |
32 | Artur Hibner, Krzysztof Zielinski |
Semantic-based Dynamic Service Composition and Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCW ![In: 2007 IEEE International Conference on Services Computing - Workshops (SCW 2007), 9-13 July 2007, Salt Lake City, Utah, USA, pp. 213-220, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Noboru Matsuda, Kurt VanLehn |
Modeling Hinting Strategies for Geometry Theorem Proving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
User Modeling ![In: User Modeling 2003, 9th International Conference, UM 2003, Johnstown, PA, USA, June 22-26, 2003, Proceedings, pp. 373-377, 2003, Springer, 3-540-40381-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Erik T. H. Fung |
Abductive Approach to Prototyping Data Flow Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APAQS ![In: 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 30-31 October 2000, Hong Kong, China, Proceedings, pp. 306-314, 2000, IEEE Computer Society, 0-7695-0825-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | 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 |
|
26 | Wing-Ho Shum, Kwong-Sak Leung, Man Leung Wong |
Co-evolutionary Rule-Chaining Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2005, 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings, pp. 546-554, 2005, Springer, 3-540-26972-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | 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 |
26 | 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 |
|
26 | 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 |
|
26 | 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 |
|
26 | 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 |
|
25 | Jinu Lee, Wonseok Hwang |
SymBa: Symbolic Backward Chaining for Multi-step Natural Language Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.12806, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Yue-Bo Jia, Gavin Johnson, Alex Arnold, Jeff Heflin |
An Evaluation of Strategies to Train More Efficient Backward-Chaining Reasoners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K-CAP ![In: Proceedings of the 12th Knowledge Capture Conference 2023, K-CAP 2023, Pensacola, FL, USA, December 5-7, 2023, pp. 206-213, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Mehran Kazemi, Najoung Kim, Deepti Bhatia, Xin Xu, Deepak Ramachandran |
LAMBADA: Backward Chaining for Automated Reasoning in Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (1) ![In: Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2023, Toronto, Canada, July 9-14, 2023., pp. 6547-6568, 2023, Association for Computational Linguistics, 978-1-959429-72-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Seyed Mehran Kazemi, Najoung Kim, Deepti Bhatia, Xin Xu, Deepak Ramachandran |
LAMBADA: Backward Chaining for Automated Reasoning in Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.13894, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Alexander Sakharov |
A Best-first Backward-chaining Search Strategy based on Learned Predicate Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (2) ![In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence, ICAART 2021, Volume 2, Online Streaming, February 4-6, 2021., pp. 982-989, 2021, SCITEPRESS, 978-989-758-484-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Xiaoyin Zhang, Gary P. Moynihan, Andrew N. S. Ernest, Joseph L. Gutenson |
Evaluation of the benefits of using a backward chaining decision support expert system for local flood forecasting and warning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expert Syst. J. Knowl. Eng. ![In: Expert Syst. J. Knowl. Eng. 35(4), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Tomasz Xieski, Roman Siminski |
Backward chaining inference as a database stored procedure - the experiments on real-world knowledge bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Telecommun. ![In: J. Inf. Telecommun. 2(4), pp. 449-464, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Barry Nouwt, Jack Verhoosel |
Integrating Heterogeneous Data Sources using Rule-based Reasoning, Backward-chaining and Custom Built-ins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEMANTiCS (Posters & Demos) ![In: Proceedings of the Posters and Demos Track of the 14th International Conference on Semantic Systems co-located with the 14th International Conference on Semantic Systems (SEMANTiCS 2018), Vienna, Austria, September 10-13, 2018., 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Ryosuke Onda, Yuki Hirai, Kay Penny, Bipin Indurkhya, Keiichi Kaneko |
A Support System for Solving Problems of Two-Triangle Congruence Using 'Backward Chaining'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 100-D(10), pp. 2567-2577, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Roman Siminski, Tomasz Xieski |
Backward chaining inference as a database stored procedure - the experiments on real-world knowledge bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INISTA ![In: IEEE International Conference on INnovations in Intelligent SysTems and Applications, INISTA 2017, Gdynia, Poland, July 3-5, 2017, pp. 253-258, 2017, IEEE, 978-1-5090-5795-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Hui Shi, Kurt Maly, Dazhi Chong, Gongjun Yan, Wu He |
Backward Chaining Ontology Reasoning Systems with Custom Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Companion Volume) ![In: Proceedings of the 25th International Conference on World Wide Web, WWW 2016, Montreal, Canada, April 11-15, 2016, Companion Volume, pp. 381-387, 2016, ACM, 978-1-4503-4144-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Hui Shi, Kurt Maly, Steven J. Zeil |
Optimized Backward Chaining Reasoning System for a Semantic Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIMS ![In: 4th International Conference on Web Intelligence, Mining and Semantics (WIMS 14), WIMS '14, Thessaloniki, Greece, June 2-4, 2014, pp. 34:1-34:6, 2014, ACM, 978-1-4503-2538-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Luke Trodd, James Harland, John Thangarajah |
Agent deliberation via forward and backward chaining in linear logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes), pp. 1443-1444, 2012, IFAAMAS. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
25 | Luke Trodd, James Harland, John Thangarajah |
Agent Deliberation via Forward and Backward Chaining in Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers, pp. 57-75, 2012, Springer, 978-3-642-37889-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo |
A Sound and Complete Backward Chaining Algorithm for Existential Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 122-138, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Sergiu Ivanov 0001, Artiom Alhazov, Vladimir Rogojin, Miguel A. Gutiérrez-Naranjo |
Forward and Backward Chaining with P Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Nat. Comput. Res. ![In: Int. J. Nat. Comput. Res. 2(2), pp. 56-66, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Riccardo Poli, William B. Langdon |
Backward-chaining evolutionary algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 170(11), pp. 953-982, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Douglas H. Fisher, Mary E. Edgerton, Zhihua Chen, Lianhong Tang, Lewis J. Frey |
Backward chaining rule induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intell. Data Anal. ![In: Intell. Data Anal. 10(5), pp. 397-417, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
25 | Sanjay S. Joshi, Benoit Guilhabert |
Sequence-Learning Algorithm Based on Backward Chaining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adapt. Behav. ![In: Adapt. Behav. 14(1), pp. 53-71, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Peter Gorniak, Bruce Blumberg |
Sequence Learning by Backward Chaining in Synthetic Characters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIIDE ![In: Proceedings of the First Artificial Intelligence and Interactive Digital Entertainment Conference, June 1-5, 2005, Marina del Rey, California, USA, pp. 51-56, 2005, AAAI Press, 1-57735-235-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
25 | Riccardo Poli |
Tournament Selection, Iterated Coupon-Collection Problem, and Backward-Chaining Evolutionary Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOGA ![In: Foundations of Genetic Algorithms, 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5-9, 2005, Revised Selected Papers, pp. 132-155, 2005, Springer, 3-540-27237-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | James Harland, David J. Pym, Michael Winikoff |
Forward and Backward Chaining in Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Type-Theoretic Languages: Proof Search and Semantics ![In: Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, held in conjunction with CADE-17 Conference, Pittsburgh, PA, USA, June 20-21, 2000, pp. 1-16, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | James Harland, David J. Pym, Michael Winikoff |
Forward and Backward Chaining in Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARW ![In: Proceedings of the Seventh Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, King's College London, UK, 20-21 July 2000., 2000, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
25 | Joxan Jaffar, Bing Liu 0001, Roland H. C. Yap |
Forward and Backward Chaining in Constraint Programming (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings, pp. 1, 1997, Springer, 3-540-63255-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Xumin Nie, David A. Plaisted |
A Semantic Backward Chaining Proof System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 55(1), pp. 109-128, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
25 | D. Ferney, Alain Quilliot |
A Backward Chaining Resolution Process Involving Non-Monotonic Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMU ![In: IPMU '92 - Advanced Methods in Artificial Intelligence, 4th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Palma de Mallorca, Spain, July 6-10, 1992, Proceedings, pp. 73-82, 1992, Springer, 3-540-56735-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
25 | Brian Schott, Thomas Whalen |
Backward chaining with fuzzy goals and rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 2(2), pp. 108, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Darko Anicic, Paul Fodor, Nenad Stojanovic, Roland Stühmer |
An approach for data-driven and logic-based complex Event Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, DEBS 2009, Nashville, Tennessee, USA, July 6-9, 2009, 2009, ACM, 978-1-60558-665-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Darko Anicic, Paul Fodor, Nenad Stojanovic, Roland Stühmer |
Computing complex events in an event-driven and logic-based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEBS ![In: Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, DEBS 2009, Nashville, Tennessee, USA, July 6-9, 2009, 2009, ACM, 978-1-60558-665-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Paul Fodor |
Research Summary: Tabled Evaluation for Transaction Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 525-526, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Darko Anicic, Paul Fodor, Roland Stühmer, Nenad Stojanovic |
Event-Driven Approach for Logic-Based Complex Event Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE (1) ![In: Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, pp. 56-63, 2009, IEEE Computer Society, 978-1-4244-5334-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
16 | Min Chi, Kurt VanLehn |
Eliminating the Gap between the High and Low Students through Meta-cognitive Strategy Instruction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008, Proceedings, pp. 603-613, 2008, Springer, 978-3-540-69130-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
meta-cognitive skills, domain-independent Problem-Solving Strategies, Intelligent Tutoring Systems |
16 | Oliver Ray |
Automated Abduction in Scientific Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Model-Based Reasoning in Science, Technology, and Medicine ![In: Model-Based Reasoning in Science, Technology, and Medicine, pp. 103-116, 2007, Springer, 978-3-540-71985-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Reyhan Aydogan, Hande Zirtiloglu |
A Graph-BasedWeb Service Composition Technique Using Ontological Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2007 IEEE International Conference on Web Services (ICWS 2007), July 9-13, 2007, Salt Lake City, Utah, USA, pp. 1154-1155, 2007, IEEE Computer Society, 0-7695-2924-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Mahmood Houshmand, Mohammad Daneshvar Kakhki |
Presenting a Rule Based Loan Evaluation Expert System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2-4 April 2007, Las Vegas, Nevada, USA, pp. 497-502, 2007, IEEE Computer Society, 978-0-7695-2776-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Mark Proctor |
Relational Declarative Programming with JBoss Drools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007, pp. 5, 2007, IEEE Computer Society, 978-0-7695-3078-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Guizhen Yang, Michael Kifer |
Inheritance in Rule-Based Frame Systems: Semantics and Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics VII, pp. 79-135, 2006, Springer, 3-540-46329-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Jing Mei, Li Ma 0002, Yue Pan |
Ontology Query Answering on Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: The Semantic Web - ISWC 2006, 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings, pp. 445-458, 2006, Springer, 3-540-49029-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Dong-il Han, Sang-Bum Ha, Ho-Jun Choi |
Fox Service: An Implementation Case of Ontology-based Search Agent in Mobile Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MDM ![In: 7th International Conference on Mobile Data Management (MDM 2006), Nara, Japan, May 9-13, 2006, pp. 85, 2006, IEEE Computer Society, 0-7695-2526-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Fen Lin, Lirong Qiu, He Huang, Qing Yu, Zhongzhi Shi |
Description Logic Based Composition of Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Agent Computing and Multi-Agent Systems, 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings, pp. 199-210, 2006, Springer, 3-540-36707-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Semantic Web Services(SWS), Web Services Composition (WSC), Description Logic(DL) |
16 | V. Ramasamy |
Syntactical & Semantical Web Services Discovery And Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEC/EEE ![In: Eighth IEEE International Conference on E-Commerce Technology (CEC 2006) / Third IEEE International Conference on Enterprise Computing, E-Commerce and E-Services (EEE 2006) and Workshops, 26-29 June 2006, Palo Alto, California, USA, pp. 68, 2006, IEEE Computer Society, 0-7695-2511-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Yi-Dong Shen, Qiang Yang 0001 |
Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP ![In: Inductive Logic Programming, 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings, pp. 330-347, 2005, Springer, 3-540-28177-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Probabilistic logic programming (PLP), the well-founded semantics, stationary dynamic Bayesian networks, SLG-resolution |
16 | A. Adly, L. Fattouh, M. Moustafa, A. A. Elmoneim |
Using GIS and knowledge-based system for agricultural land drainage planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), January 3-6, 2005, Cairo, Egypt, pp. 144, 2005, IEEE Computer Society, 0-7803-8735-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Wei Yan, Edwin S. H. Hou, Nirwan Ansari |
Frame-based attack representation and real-time first order logic automatic reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITRE ![In: ITRE 2005 - 3rd International Conference on Information Technology: Research and Education, June 27-30 2005, Hsinchu, Taiwan, Proceedings, pp. 225-229, 2005, IEEE, 0-7803-8933-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Maja D'Hondt, Kris Gybels, Viviane Jonckers |
Seamless integration of rule-based knowledge and object-oriented functionality with linguistic symbiosis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 1328-1335, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
linguistic symbiosis, rule-based systems, multi-paradigm programming |
16 | Kaninda Musumbu |
Simulating Security Systems Based on Logigrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings, pp. 498-499, 2003, Springer, 3-540-20642-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
16 | J. P. Spagnol |
Modelisation and Automation of Reasoning in Geometry. The ARGOS System: A Learning Companion for High-School Pupils. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 6th International Conference, ITS 2002, Biarritz, France and San Sebastian, Spain, June 2-7, 2002, Proceedings, pp. 1011, 2002, Springer, 3-540-43750-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Thom W. Frühwirth, Slim Abdennadher |
Tutorial: Reasoning with, about and for Constraint Handling Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings, pp. 192, 2002, Springer, 3-540-43381-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Ian Horswill |
Tagged Behavior-Based Systems: Integrating Cognition with Embodied Activity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 16(5), pp. 30-37, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Haiyi Zhang, Barbro Back, Wanlei Zhou 0001 |
The Design and Implementation of a Traffic Accident Analysis System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001, Proceedings, pp. 476-481, 2001, Springer, 3-540-42219-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
16 | David Tanzer, Dennis E. Shasha |
Queryable Acyclic Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 1999 ACM CIKM International Conference on Information and Knowledge Management, Kansas City, Missouri, USA, November 2-6, 1999, pp. 284-291, 1999, ACM, 1-58113-146-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Datalog |
16 | Philippe Besnard, Marie-Odile Cordier |
Inferring Causal Explanations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESCQARU ![In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, European Conference, ECSQARU'99, London, UK, July 5-9, 1999, Proceedings, pp. 55-67, 1999, Springer, 3-540-66131-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
16 | Noboru Matsuda, Toshio Okamoto |
Diagrammatic Reasoning for Geometry ITS to Teach Auxiliary Line Construction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 4th International Conference, ITS '98, San Antonio, Texas, USA, August 16-19, 1998, Proceedings, pp. 244-253, 1998, Springer, 3-540-64770-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Stéphane Coulondre, Eric Salvat |
Piece Resolution: Towards Larger Perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Theory, Tools and Applications, 6th International Conference on Conceptual Structures, ICCS '98, Montpellier, France, August 10-12, 1998, Proceedings, pp. 179-193, 1998, Springer, 3-540-64791-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Satish R. Thatte |
Semantics of Type Classes Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1994 ACM Conference on LISP and Functional Programming, Orlando, Florida, USA, 27-29 June 1994., pp. 208-219, 1994, ACM, 0-89791-643-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Haskell |
16 | Carole D. Hafner, Virginia J. Wise |
SmartLaw: Adapting "Classic" Expert System Techniques for the Legal Research Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Fourth International Conference on Artificial intelligence and Law, ICAIL '93, Amsterdam, The Netherlands, June 15-18, 1993, pp. 133-141, 1993, ACM, 0-89791-606-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Steven H. Greve |
Proactive Modelling and the Development of Coaching Strategies in Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAL ![In: Computer Assisted Learning, 3rd International Conference, ICCAL '90, Hagen, FRG, June 11-13, 1990, Proceedings, pp. 194-201, 1990, Springer, 3-540-52699-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | R. D. Purdy |
Knowledge and Tools in Building GRANDJUR 1.1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAIL ![In: Proceedings of the Second International Conference on Artificial Intelligence and Law, ICAIL '89, Vancouver, BC, Canada, June 13-16, 1989, pp. 201-206, 1989, ACM, 0-89791-322-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Mark E. Stickel |
Rationale and Methods for Abductice Reasoning in Natural-Language Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Natural Language and Logic ![In: Natural Language and Logic, International Symposium, Hamburg, Germany, May 9-11, 1989, Proceedings, pp. 233-252, 1989, Springer, 3-540-53082-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter |
Using the Temporal Logic RDL for Design Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency: Theory, Language, And Architecture ![In: Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings, pp. 64-78, 1989, Springer, 3-540-53932-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Celal Batur, Vicken Kasparian |
Application of a self tuner using fuzzy control technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (1) ![In: Proceedings of the Second International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1989, June 6-9, 1989, Tullahoma, TN, USA - Volume 1, pp. 235-244, 1989, ACM, 0-89791-320-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Prolog |
16 | M. T. Lin, I. Chen, J. Lao |
ESUDL: an expert system for monitoring unclassified data link (UDL) communication systems protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (1) ![In: Proceedings of the Second International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1989, June 6-9, 1989, Tullahoma, TN, USA - Volume 1, pp. 46-53, 1989, ACM, 0-89791-320-5. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Wei-Han Chu |
Generic Expert System Shell for Diagnostic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE (Vol. 1) ![In: Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, IEA/AIE 1988, June 1-3, 1988, Tullahoma, TN, USA. ACM, 1988 - Volume 1, pp. 7-12, 1988, ACM, 0-89791-271-3. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
LISP |
16 | Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen |
Loop Detection in Propositional Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: CSL '88, 2nd Workshop on Computer Science Logic, Duisburg, Germany, October 3-7, 1988, Proceedings, pp. 148-165, 1988, Springer, 3-540-51659-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Gail F. Halkias, Kevin D. Reilly |
Human factors considerations in the design of a multiple source expert system for military applications (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. 356, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Edward L. Bosworth Jr. |
The adaptability of Ada as a language for expert systems (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. 382, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
Ada |
16 | Michael Stonebraker, Lawrence A. Rowe |
The Design of Postgres. ![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. 340-355, 1986, ACM Press, 978-0-89791-191-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
INGRES |