Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Book Chapter
|
Closure and Consistency Rationalities in Logic-Based ArgumentationLogic Programming, Knowledge Representation, and Nonmonotonic Reasoning, p.33-43 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2011 ;ISSN: 0302-9743 ;ISBN: 3642208312 ;ISBN: 9783642208317 ;EISSN: 1611-3349 ;EISBN: 9783642208324 ;EISBN: 3642208320 ;DOI: 10.1007/978-3-642-20832-4_3Digital Resources/Online E-Resources |
|
2 |
Material Type: Book Chapter
|
Declarative semantics of hypothetical logic programming with negation as failureExtensions of Logic Programming, 2005, p.45-58 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 1993 ;ISSN: 0302-9743 ;ISBN: 9783540564546 ;ISBN: 3540564543 ;EISSN: 1611-3349 ;EISBN: 9783540475620 ;EISBN: 3540475621 ;DOI: 10.1007/3-540-56454-3_3Full text available |
|
3 |
Material Type: Book Chapter
|
Belief dynamics, abduction, and databasesLogics in Artificial Intelligence, 2005, p.66-85 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 1994 ;ISSN: 0302-9743 ;ISBN: 3540583327 ;ISBN: 9783540583325 ;EISSN: 1611-3349 ;EISBN: 3540486577 ;EISBN: 9783540486572 ;DOI: 10.1007/BFb0021965Full text available |