Carlos I. Ches nevar, Guillermo R. Simari Fachberichte INFORMATIK Universit...  Home/Search
Context
Related
| unikoblenz.de/fb4/publ...RR42000.pdf 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: fstolzenburg.hsharz.de/r...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Most formalisms for representing common-sense knowledge allow incomplete and potentially inconsistent information. When strong negation is also allowed, contradictory conclusions can arise. Therefore, a criterion for deciding between them is needed. Several extensions of logic programming consider priorities over program (default) rules. However, these priorities must be supplied by the programmer in a more or less arbitrary manner, establishing explicitly relations between rules. (Update)
Similar documents (at the sentence level):
73.7%: Introducing Generalized Specificity in Logic Programming - Stolzenburg, García.. (2000) (Correct)
33.7%: Computing Generalized Specificity - Stolzenburg, Garcia, Chesnevar.. (2002) (Correct)
Active bibliography (related documents): More All
0.8: Defeasible Logic Programming - An Argumentative Approach - Garcia, Simari (2003) (Correct)
0.5: Relating Defeasible and Normal Logic Programming.. - Chesñevar, .. (2001) (Correct)
0.3: Deliberative Stock Market Agents using Jinni and.. - Garcia, Gollapally, .. (2000) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ nevar-frieder,
author = "Carlos Ches Nevar",
title = "Frieder Stolzenburg, Alejandro J. Garc a,",
url = "citeseer.ist.psu.edu/741460.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
270 Logic programs with classical negation (context) - Gelfond, Lifschitz - 1990
90 Reasoning with Logic Programming - Alferes, Pereira - 1996
75 A mathematical treatment of defeasible reasoning and its imp.. (context) - Simari, Loui - 1992
65 the comparison of theories: Preferring the most specific exp.. (context) - Poole
57 Defeasible logic - Nute - 1994
48 Logic programming without negation as failure (context) - Dimopoulos, Kakas - 1995
47 Some direct theories of nonmonotonic inheritance (context) - Horty - 1994
46 The acceptability semantics for logic programs (context) - Kakas, Mancarella et al. - 1994
41 Abstract argumentation systems (context) - Vreeswijk - 1997
41 argumentationtheoretic approach to default reasoning - Bondarenko, Dung et al. - 1997
39 Reasoning with prioritized defaults - Gelfond, Son - 1997
28 Prolog Programming in Depth (context) - Covington, Nute et al. - 1988
24 Computing argumentation in logic programming - Kakas, Toni - 1999
23 Defeasible logic versus logic programming without negation a.. - Antoniou, Maher et al. - 2000
22 Prioritizing default logic - Brewka, Eiter - 1998
19 A study of provability in defeasible logic - Maher, Antoniou et al. - 1998
17 The role of dialectics in defeasible argumentation - Simari, Chesnevar et al. - 1994
12 Logic programming without default negation revisited - Wang, You et al. - 1997
12 Argument-based logic programming with defeasible priorities (context) - Prakken, Sartor - 1997
11 Spatial agents implemented in a logical expressible language - Stolzenburg, Obst et al. - 2000
7 Automating defeasible reasoning with logic programming - Dix, Stolzenburg et al. - 1999
6 An argumentative framework for reasoning with inconsistent a.. (context) - Garca, Simari et al. - 1998
6 Defeasible logic programming: Definition and implementation (context) - Garca - 1997
5 Foundations of logic programs (context) - Lifschitz - 1996
5 An argumentation-theoretic approach to reasoning with specif.. - Dung, Son - 1996
2 Special issue: defeasible reasoning (context) - Pollock, Minds - 1991
2 Modeling defeasibility into an extended logic programming se.. (context) - Chesnevar, Simari - 1999
Documents on the same site (http://fstolzenburg.hs-harz.de/robocup/publications/index.html): More
Towards a League-Independent Qualitative Soccer.. - Dylla, Ferrein.. (2004) (Correct)
Multiagent Systems Specification by UML Statecharts Aiming.. - Arai, Stolzenburg (2001) (Correct)
Qualitative Velocity and Ball Interception - Stolzenburg, Obst, Murray (2002) (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