18 Results for All Library Resources
Show only
Refined by:
resource type:
Conference Proceedings
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Conference Proceeding
|
|
A Logical Model of Private International LawDeontic Logic in Computer Science, p.229-246 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2010 ;ISSN: 0302-9743 ;ISBN: 9783642141829 ;ISBN: 364214182X ;EISSN: 1611-3349 ;EISBN: 9783642141836 ;EISBN: 3642141838 ;DOI: 10.1007/978-3-642-14183-6_17Digital Resources/Online E-Resources |
| 2 |
Material Type: Conference Proceeding
|
|
A natural semantics for logic programs with negationFoundations of Software Technology and Theoretical Computer Science, 2005, p.78-88 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 1989 ;ISSN: 0302-9743 ;ISBN: 3540520481 ;ISBN: 9783540520481 ;EISSN: 1611-3349 ;EISBN: 3540468722 ;EISBN: 9783540468721 ;DOI: 10.1007/3-540-52048-1_34Full text available |
| 3 |
Material Type: Conference Proceeding
|
|
Approved Models for Normal Logic ProgramsLogic for Programming, Artificial Intelligence, and Reasoning, p.454-468 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2007 ;ISSN: 0302-9743 ;ISBN: 9783540755586 ;ISBN: 3540755586 ;EISSN: 1611-3349 ;EISBN: 9783540755609 ;EISBN: 3540755608 ;DOI: 10.1007/978-3-540-75560-9_33Digital Resources/Online E-Resources |
| 4 |
Material Type: Conference Proceeding
|
|
Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly PlantComputational Logic in Multi-Agent Systems, p.154-172 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2009 ;ISSN: 0302-9743 ;ISBN: 9783642027338 ;ISBN: 3642027334 ;EISSN: 1611-3349 ;EISBN: 9783642027345 ;EISBN: 3642027342 ;DOI: 10.1007/978-3-642-02734-5_10Digital Resources/Online E-Resources |
| 5 |
Material Type: Conference Proceeding
|
|
Argumentation–Based Negotiation? Negotiation–Based ArgumentationE-Commerce and Web Technologies, p.149-162Springer-Verlag Berlin Heidelberg 2012 ;ISSN: 1865-1348 ;ISBN: 3642322727 ;ISBN: 9783642322723 ;EISSN: 1865-1356 ;EISBN: 3642322735 ;EISBN: 9783642322730 ;DOI: 10.1007/978-3-642-32273-0_13Digital Resources/Online E-Resources |
| 6 |
Material Type: Conference Proceeding
|
|
Argumentation-Based Semantics for Logic Programs with First-Order FormulaePRIMA 2016: Principles and Practice of Multi-Agent Systems, p.43-60 [Peer Reviewed Journal]Springer International Publishing Switzerland 2016 ;ISSN: 0302-9743 ;ISBN: 3319448315 ;ISBN: 9783319448312 ;EISSN: 1611-3349 ;EISBN: 9783319448329 ;EISBN: 3319448323 ;DOI: 10.1007/978-3-319-44832-9_3Digital Resources/Online E-Resources |
| 7 |
Material Type: Conference Proceeding
|
|
Argumentation for Practical Reasoning: An Axiomatic ApproachPRIMA 2016: Principles and Practice of Multi-Agent Systems, p.20-39 [Peer Reviewed Journal]Springer International Publishing Switzerland 2016 ;ISSN: 0302-9743 ;ISBN: 3319448315 ;ISBN: 9783319448312 ;EISSN: 1611-3349 ;EISBN: 9783319448329 ;EISBN: 3319448323 ;DOI: 10.1007/978-3-319-44832-9_2Digital Resources/Online E-Resources |
| 8 |
Material Type: Conference Proceeding
|
|
Betrayed by Your AdsDistributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
| 9 |
Material Type: Conference Proceeding
|
|
Consensus-based Distributed Estimation of Laplacian Eigenvalues of Undirected GraphsProceedings of the ECC 2013, 2013, p.227-232Distributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
| 10 |
Material Type: Conference Proceeding
|
|
Default reasoning with specificityLecture notes in computer science, 2000, p.792-806 [Peer Reviewed Journal]2000 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540677970 ;ISBN: 3540677976 ;EISSN: 1611-3349Full text available |
| 11 |
Material Type: Conference Proceeding
|
|
Distributed Estimation of Graph Laplacian Eigenvalues by the Alternating Direction of Multipliers MethodIFAC 2014 World Congress Proceedings, 2014Distributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
| 12 |
Material Type: Conference Proceeding
|
|
Distributed network topology reconstruction in presence of anonymous nodesDistributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
| 13 |
Material Type: Conference Proceeding
|
|
EXPERIMENTAL-NUMERICAL RESISTIVITY MEASUREMENTS APPROACH FOR CHARACTERIZATION IN STRUCTURAL TIMBERCoREST VI 2018 proceedings, Vol.27, p.168-173Distributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
| 14 |
Material Type: Conference Proceeding
|
|
On Structured Argumentation with Conditional PreferencesProceedings of the ... AAAI Conference on Artificial Intelligence, 2019, Vol.33 (1), p.2792-2800ISSN: 2159-5399 ;EISSN: 2374-3468 ;DOI: 10.1609/aaai.v33i01.33012792Digital Resources/Online E-Resources |
| 15 |
Material Type: Conference Proceeding
|
|
On the strong completion of logic programsAlgebraic and Logic Programming, 2005, p.158-172 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 1990 ;ISSN: 0302-9743 ;ISBN: 9783540531623 ;ISBN: 3540531629 ;EISSN: 1611-3349 ;EISBN: 3540467386 ;EISBN: 9783540467380 ;DOI: 10.1007/3-540-53162-9_37Full text available |
| 16 |
Material Type: Conference Proceeding
|
|
Partial deduction of logic programs WRT well-founded semanticsAlgebraic and Logic Programming, 2005, p.384-402 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 1992 ;ISSN: 0302-9743 ;ISBN: 354055873X ;ISBN: 9783540558736 ;EISSN: 1611-3349 ;EISBN: 9783540473022 ;EISBN: 3540473025 ;DOI: 10.1007/BFb0013839Full text available |
| 17 |
Material Type: Conference Proceeding
|
|
Privacy Enhancing Technologies: 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012, ProceedingsISBN: 9783642316791 ;ISBN: 3642316794Digital Resources/Online E-Resources |
| 18 |
Material Type: Conference Proceeding
|
|
Web Based System for Weighted Defeasible ArgumentationComputational Logic in Multi-Agent Systems, p.155-171 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2013 ;ISSN: 0302-9743 ;ISBN: 3642406238 ;ISBN: 9783642406232 ;EISSN: 1611-3349 ;EISBN: 3642406246 ;EISBN: 9783642406249 ;DOI: 10.1007/978-3-642-40624-9_10Full text available |
Personalize your results
Refine Search Results
Expand My Results
Show only
Refine My Results
Creation Date
- Before 2005 (2)
- 2005 To 2008 (4)
- 2009 To 2011 (2)
- 2012 To 2014 (6)
- After 2014 (3)
-
More options
Subject
- Computer Science (14)
- Science & Technology (10)
- Computer Science, Artificial Intelligence (9)
- Technology (9)
- Computer Science, Theory & Methods (4)
- Argumentation Framework (4)
- Automatic (3)
- Engineering Sciences (3)
- Computer Science, Information Systems (3)
- Signal And Image Processing (3)
- Logic Program (3)
- Prefer Extension (2)
- Applied Sciences (2)
- Exact Sciences And Technology (2)
- Computer Science; Control Theory; Systems (2)
- Stable Model (2)
- Logic Programming (2)
- Model Semantic (2)
- Algorithm Analysis And Problem Complexity (1)
- Abstract Argumentation (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 | ||