Roni Khardon, Dan Roth  Home/Search
Context Related
| wisdom.weizmann.ac.il/pub/...9530.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: fermivista.math....weizmann.ac.il (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Reasoning with model-based representations is an intuitive paradigm, which has been shown to be theoretically sound and to possess some computational advantages over reasoning with formula-based representations of knowledge. In this paper we present more evidence to the value of such representations. Our results hinge on the notion of relevance, and model based representations are shown to be useful in capturing relevant information, and in allowing to ignore irrelevant information. In... (Update)
Context of citations to this paper: More
...default logic can represent sets of models more succinctly than circumscription. Kautz, Kearns, and Selman (1995) and Khardon and Roth (1996, 1997) considered representations of knowledge bases based on the notion of characteristic model, comparing them to other...
.... model based reasoning has been proposed as an alternative form of representing and accessing a logical knowledge base, cf. [13, 24, 25, 26, 29, 30]. It can be seen as an approach towards Levesque s notion of vivid reasoning [31] which asks for a more straight...
Cited by: More
Abduction and the Dualization Problem - Eiter, Makino (2003) (Correct)
otterlib - a C library for theorem proving - Flavio Protasio Ribeiro (Correct)
Computing Intersections of Horn Theories for Reasoning with .. - Eiter, Ibaraki, Makino (1998) (Correct)
Similar documents (at the sentence level):
53.7%: Defaults and Relevance in Model Based Reasoning - Khardon, Roth (1997) (Correct)
41.4%: Learning to be Competent - Khardon (1996) (Correct)
5.6%: Learning in Order to Reason - Roth (1995) (Correct)
Active bibliography (related documents): More All
0.6: Reasoning with Models - Khardon, Roth (1996) (Correct)
0.3: Learning to Reason with a Restricted View - Khardon, Roth (1995) (Correct)
0.3: Learning to Reason - Khardon, Roth (1996) (Correct)
Similar documents based on text: More All
0.2: Learning Horn Expressions with LogAn-H - Khardon (2000) (Correct)
0.2: Learning to Take Actions - Khardon (1996) (Correct)
0.1: Learning Function-Free Horn Expressions - Khardon (1998) (Correct)
Related documents from co-citation: More All
7: Reasoning with models - Khardon, Roth - 1996
6: Horn approximations of empirical data - Kautz, Kearns et al. - 1995
4: Queries and concept learning (context) - Angluin - 1988
BibTeX entry: (Update)
Khardon, R. and D. Roth. 1997. Default and relevance in model based reasoning. Articial Intelligence, 97(1-2):169-193. http://citeseer.ist.psu.edu/article/khardon95defaults.html More
@article{ khardon97defaults,
author = "Roni Khardon and Dan Roth",
title = "Defaults and Relevance in Model-Based Reasoning",
journal = "Artificial Intelligence",
volume = "97",
number = "1-2",
pages = "169-193",
year = "1997",
url = "citeseer.ist.psu.edu/article/khardon95defaults.html" }
Citations (may not include all citations):1543 Probabilistic Reasoning in Intelligent Systems: Networks of .. (context) - Pearl - 1988
850 A logic for default reasoning (context) - Reiter - 1980
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
493 Communications of the ACM (context) - Valiant, of et al. - 1984
458 A theory of diagnosis from first principles (context) - Reiter - 1987
97 Knowledge compilation using Horn approximations - Selman, Kautz - 1991
88 Hard problems for simple default logics - Kautz, Selman - 1991
87 Abductive and default reasoning: A computational core (context) - Selman, Levesque - 1990
76 Making believers out of computers (context) - Levesque - 1986
74 Exact learning via the monotone theory (context) - Bshouty - 1993
59 On selecting a satisfying truth assignment (context) - Papadimitriou - 1991
58 Construction of asymptotically good low-rate errorcorrecting.. (context) - Alon, Bruck et al. - 1992
50 Image and Mind (context) - Kosslyn - 1983
49 Horn approximations of empirical data - Kautz, Kearns et al. - 1995
48 Reasoning with models - Khardon, Roth - 1994
45 Learning to reason - Khardon, Roth - 1994
45 Design by example: An application of Armstrong relations (context) - Mannila, Raiha - 1986
42 Nonmonotonic reasoning (context) - Reiter - 1987
24 Tractable Default Reasoning (context) - Selman - 1990
22 Learning to reason with a restricted view - Khardon, Roth - 1995
22 Model-preference default theories (context) - Selman, Kautz - 1990
21 Learning default concepts - Schuurmans, Greiner - 1994
17 Learning to reason: The non-monotonic case - Roth - 1995
16 A general framework for knowledge compilation - Kautz, Selman - 1991
15 Reasoning with examples: Propositional formulae and database.. - Khardon, Mannila et al. - 1995
11 Is reasoning too hard (context) - Levesque - 1992
7 the structure of Armstorng relations for functional dependen.. (context) - Beeri, Dowd et al. - 1984
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.wisdom.weizmann.ac.il.html): More
Local Majority Voting, Small Coalitions and Controlling Monopolies .. - Peleg (1996) (Correct)
On Constructing 1-1 One-Way Functions - Goldreich, Levin, Nisan (1995) (Correct)
Infinite Cyclic Impartial Games - Fraenkel, Rahat (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC