Combining explanation-based learning and Knuth-Bendix completion for equational reasoning

&
Proceedings of the Fourth Florida Artificial Intelligence Research Symposium, Florida Ai Research Society (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Equational Reasoning in Non-Classical Logics.Marcelo Frias & Ewa Orlowska - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):27-66.
Combining equational theories sharing non-collapse-free constructors.Franz Baader & Cesare Tinelli - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of Combining Systems. Research Studies Press. pp. 260--274.
Modeling the suppression task under weak completion and well-founded semantics.Emmanuelle-Anna Dietz, Steffen Hölldobler & Christoph Wernhard - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):61-85.
Scientific Reasoning Is Material Inference: Combining Confirmation, Discovery, and Explanation.Ingo Brigandt - 2010 - International Studies in the Philosophy of Science 24 (1):31-43.
A causal framework for integrating learning and reasoning.David A. Lagnado - 2009 - Behavioral and Brain Sciences 32 (2):211-212.
Nonmonotonic Reasoning , Argumentation and Machine Learning 1 Introduction.Peter Clark - 1990 - Argumentation:1-11.
Explanation-based interpretation of open-textured concepts in logical models of legislation.Stefania Costantini & Gaetano Aurelio Lanzarone - 1995 - Artificial Intelligence and Law 3 (3):191-208.
Toward an Instructionally Oriented Theory of Example‐Based Learning.Alexander Renkl - 2014 - Cognitive Science 38 (1):1-37.
An effective metacognitive strategy: learning by doing and explaining with a computer‐based Cognitive Tutor.Vincent A. W. M. M. Aleven & Kenneth R. Koedinger - 2002 - Cognitive Science 26 (2):147-179.
Combining Versus Analyzing Multiple Causes: How Domain Assumptions and Task Context Affect Integration Rules.Michael R. Waldmann - 2007 - Cognitive Science 31 (2):233-256.
Theories with equational forking.Markus Junker & Ingo Kraus - 2002 - Journal of Symbolic Logic 67 (1):326-340.
The effects of self‐explaining when learning with text or diagrams.Shaaron Ainsworth & Andrea Th Loizou - 2003 - Cognitive Science 27 (4):669-681.
Proving consistency of equational theories in bounded arithmetic.Arnold Beckmann† - 2002 - Journal of Symbolic Logic 67 (1):279-296.
Area, surface, and contour: Psychophysical correlates of three classes of pictorial completion.Birgitta Dresp - 1998 - Behavioral and Brain Sciences 21 (6):755-756.

Analytics

Added to PP
2014-04-06

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references