Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
|
2 |
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 |
|
3 |
Material Type: Conference Proceeding
|
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.00057Digital Resources/Online E-Resources |
|
4 |
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 |
|
5 |
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 |
|
6 |
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 |
|
7 |
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 |
|
8 |
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 |
|
9 |
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 |
|
10 |
Material Type: Conference Proceeding
|
Betrayed by Your AdsDistributed under a Creative Commons Attribution 4.0 International LicenseDigital Resources/Online E-Resources |
|
11 |
Material Type: Conference Proceeding
|
Stabilization of Information Sharing for Queries Answering in Multiagent SystemsLogic Programming, p.84-98 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2009 ;ISSN: 0302-9743 ;ISBN: 3642028454 ;ISBN: 9783642028458 ;EISSN: 1611-3349 ;EISBN: 3642028462 ;EISBN: 9783642028465 ;DOI: 10.1007/978-3-642-02846-5_12Digital 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
|
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 |
|
14 |
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 |
|
15 |
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 |
|
16 |
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 |
|
17 |
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 |
|
18 |
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 |
|
19 |
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 |