Ngôn ngữ:
Kết quả 1 - 10 của 15 trong Tất cả tài nguyên
Chỉ hiển thị
Lọc theo:
Dạng tài nguyên:
Kỷ yếu hội nghị
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Kỷ yếu hội nghị
|
|
Argumentation for Practical Reasoning: An Axiomatic ApproachPRIMA 2016: Principles and Practice of Multi-Agent Systems, p.20-39 [Tạp chí có phản biện]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_2Tài liệu số/Tài liệu điện tử |
| 2 |
Material Type: Kỷ yếu hội nghị
|
|
Argumentation-Based Semantics for Logic Programs with First-Order FormulaePRIMA 2016: Principles and Practice of Multi-Agent Systems, p.43-60 [Tạp chí có phản biện]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_3Tài liệu số/Tài liệu điện tử |
| 3 |
Material Type: Kỷ yếu hội nghị
|
|
Distributed Design of Finite-time Average Consensus ProtocolsIFAC Proceedings Volumes, 2013Distributed under a Creative Commons Attribution 4.0 International License ;DOI: 10.3182/20130925-2-DE-4044.00057Tài liệu số/Tài liệu điện tử |
| 4 |
Material Type: Kỷ yếu hội nghị
|
|
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.33012792Tài liệu số/Tài liệu điện tử |
| 5 |
Material Type: Kỷ yếu hội nghị
|
|
A natural semantics for logic programs with negationFoundations of Software Technology and Theoretical Computer Science, 2005, p.78-88 [Tạp chí có phản biện]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_34Tài liệu số/Tài liệu điện tử |
| 6 |
Material Type: Kỷ yếu hội nghị
|
|
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 LicenseTài liệu số/Tài liệu điện tử |
| 7 |
Material Type: Kỷ yếu hội nghị
|
|
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 LicenseTài liệu số/Tài liệu điện tử |
| 8 |
Material Type: Kỷ yếu hội nghị
|
|
Default reasoning with specificityLecture notes in computer science, 2000, p.792-806 [Tạp chí có phản biện]2000 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540677970 ;ISBN: 3540677976 ;EISSN: 1611-3349Tài liệu số/Tài liệu điện tử |
| 9 |
Material Type: Kỷ yếu hội nghị
|
|
A Logical Model of Private International LawDeontic Logic in Computer Science, p.229-246 [Tạp chí có phản biện]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_17Tài liệu số/Tài liệu điện tử |
| 10 |
Material Type: Kỷ yếu hội nghị
|
|
Betrayed by Your AdsDistributed under a Creative Commons Attribution 4.0 International LicenseTài liệu số/Tài liệu điện tử |
Chủ đề của tôi
Refine Search Results
Mở rộng kết quả tìm kiếm
Chỉ hiển thị
Lọc kết quả
Năm xuất bản
- Trước2005 (2)
- 2005 đến 2009 (4)
- 2010 đến 2012 (2)
- 2013 đến 2016 (5)
- Sau 2016 (1)
-
Lựa chọn khác
Chủ đề
- Computer Science (11)
- Science & Technology (7)
- Technology (6)
- Computer Science, Artificial Intelligence (5)
- Automatic (4)
- Engineering Sciences (4)
- Computer Science, Theory & Methods (4)
- Signal And Image Processing (4)
- Computer Science, Information Systems (2)
- Applied Sciences (2)
- Exact Sciences And Technology (2)
- Argumentation Framework (2)
- Computer Science; Control Theory; Systems (2)
- Logic Programming (2)
- Logic Program (2)
- Abductive Logic Programs (1)
- Argument System (1)
- Artificial Intelligence (1)
- Abstract Argumentation (1)
- Attack Relation (1)
-
Lựa chọn khác
|
||||
 |
INSPIRE LIBRARY - TON DUC THANG UNIVERSITY |  |
(84-028) 37 755 057 | Feedback |
| 19 Nguyen Huu Tho St. Dist.7, HCM |  |
thuvien@tdtu.edu.vn | ||