Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Book Chapter
|
Betrayed by Your Ads: Reconstructing User Profiles from Targeted AdsPrivacy Enhancing Technologies, p.1-17 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2012 ;ISSN: 0302-9743 ;ISBN: 9783642316791 ;ISBN: 3642316794 ;EISSN: 1611-3349 ;EISBN: 9783642316807 ;EISBN: 3642316808 ;DOI: 10.1007/978-3-642-31680-7_1Digital Resources/Online E-Resources |
|
2 |
Material Type: Book Chapter
|
Argumentation for Practical ReasoningKnowledge and Systems Engineering, 2014, p.5-5Springer International Publishing Switzerland 2014 ;ISSN: 2194-5357 ;ISBN: 9783319027401 ;ISBN: 3319027409 ;EISSN: 2194-5365 ;EISBN: 9783319027418 ;EISBN: 3319027417 ;DOI: 10.1007/978-3-319-02741-8_2Digital Resources/Online E-Resources |
|
3 |
Material Type: Book Chapter
|
Design and Implementation of an IoT-Based Water Purifier System Enabling Predictive MaintenanceFrontiers in Intelligent Computing: Theory and Applications, 2019, Vol.1013, p.131-136Springer Nature Singapore Pte Ltd. 2020 ;ISSN: 2194-5357 ;ISBN: 9789813291850 ;ISBN: 9813291850 ;EISSN: 2194-5365 ;EISBN: 9813291869 ;EISBN: 9789813291867 ;DOI: 10.1007/978-981-32-9186-7_15 ;OCLC: 1122923114 ;LCCallNum: Q342Digital Resources/Online E-Resources |
|
4 |
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 |
|
5 |
Material Type: Book Chapter
|
Building an Intelligent Call DistributorArtificial Intelligence Trends in Intelligent Systems, 2017, Vol.573, p.239-248Springer International Publishing AG 2017 ;ISSN: 2194-5357 ;ISBN: 3319572601 ;ISBN: 9783319572604 ;EISSN: 2194-5365 ;EISBN: 9783319572611 ;EISBN: 331957261X ;DOI: 10.1007/978-3-319-57261-1_24 ;OCLC: 982121227 ;LCCallNum: Q342Digital Resources/Online E-Resources |
|
6 |
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 |
|
7 |
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 |
|
8 |
Material Type: Book Chapter
|
Expanded Adipose Tissue-Derived Stem Cells for Articular Cartilage Injury Treatment: A Safety and Efficacy EvaluationRegenerative Medicine, p.113-123Springer-Verlag London 2015 ;ISBN: 1447165411 ;ISBN: 9781447165415 ;EISBN: 144716542X ;EISBN: 9781447165422 ;DOI: 10.1007/978-1-4471-6542-2_11Digital Resources/Online E-Resources |
|
9 |
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 |
|
10 |
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 |
|
11 |
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 |
|
12 |
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 |
|
13 |
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 |