8 Results for All Library Resources
Sorted by:
Sorted by:
Date-newestOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
Refined by:
resource type:
Book Chapters
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Book Chapter
|
|
In vivo magnetic resonance imaging of amyloid-β plaques in miceMethods in molecular biology (Clifton, N.J.), 2012, Vol.849, p.435EISSN: 1940-6029 ;DOI: 10.1007/978-1-61779-551-0_30 ;PMID: 22528108Digital Resources/Online E-Resources |
| 2 |
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 |
| 3 |
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 |
| 4 |
Material Type: Book Chapter
|
|
Trust Negotiation with Nonmonotonic Access PoliciesIntelligence in Communication Systems, 2004, p.70-84 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 354023893X ;ISBN: 9783540238935 ;EISSN: 1611-3349 ;EISBN: 9783540301790 ;EISBN: 3540301798 ;DOI: 10.1007/978-3-540-30179-0_6Full text available |
| 5 |
Material Type: Book Chapter
|
|
Synthesis of proof procedures for default reasoningLogic Program Synthesis and Transformation, 1997, p.313-324 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 1997 ;ISSN: 0302-9743 ;ISBN: 9783540627180 ;ISBN: 3540627189 ;EISSN: 1611-3349 ;EISBN: 9783540684947 ;EISBN: 3540684948 ;DOI: 10.1007/3-540-62718-9_18Full text available |
| 6 |
Material Type: Book Chapter
|
|
Nonmonotonic inheritance, argumentation and logic programmingLogic Programming and Nonmonotonic Reasoning, 1995, p.316-329 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 1995 ;ISSN: 0302-9743 ;ISBN: 3540594876 ;ISBN: 9783540594871 ;EISSN: 1611-3349 ;EISBN: 3540492828 ;EISBN: 9783540492825 ;DOI: 10.1007/3-540-59487-6_23Full text available |
| 7 |
Material Type: Book Chapter
|
|
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic ReasoningComputational Logic: Logic Programming and Beyond, p.289-310 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2002 ;ISSN: 0302-9743 ;ISBN: 9783540439608 ;ISBN: 3540439609 ;EISSN: 1611-3349 ;EISBN: 9783540456322 ;EISBN: 3540456325 ;DOI: 10.1007/3-540-45632-5_12Full text available |
| 8 |
Material Type: Book Chapter
|
|
Default Reasoning with SpecificityComputational Logic — CL 2000, p.792-806Springer-Verlag Berlin Heidelberg 2000 ;ISSN: 0302-9743 ;ISBN: 3540677976 ;ISBN: 9783540677970 ;EISSN: 1611-3349 ;EISBN: 9783540449577 ;EISBN: 3540449574 ;DOI: 10.1007/3-540-44957-4_53Full text available |
Personalize your results
Refine Search Results
Expand My Results
Show only
Refine My Results
Creation Date
- Before 1995 (1)
- 1995 To 1996 (1)
- 1997 To 2001 (1)
- 2002 To 2004 (2)
- After 2004 (3)
-
More options
Subject
- Default Logic (4)
- Science & Technology (4)
- Logic Programming (4)
- Logic Program (4)
- Computer Science (3)
- Computer Science, Theory & Methods (3)
- Nonmonotonic Reasoning (3)
- Technology (3)
- Computer Science, Artificial Intelligence (2)
- Stable Model (2)
- Amyloid Beta-Peptides - Metabolism (1)
- Amyloid-Β Burden (1)
- Animals (1)
- Amyloidosis (1)
- Amyloid Beta-Peptides - Chemistry (1)
- Abduction (1)
- Amyloid-Β Deposits (1)
- Applied Sciences (1)
- Argumentation Framework (1)
- Access Policy (1)
-
More options
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||