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
|
Liquid-on-beam structure for gas sensingThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2017, p.297Digital Resources/Online E-Resources |
|
7 |
Material Type: Conference Proceeding
|
Optimal Energy Management for an On-Grid Microgrid by Using Branch and Bound MethodThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2018, p.1Copyright The Institute of Electrical and Electronics Engineers, Inc. (IEEE) 2018Digital Resources/Online E-Resources |
|
8 |
Material Type: Conference Proceeding
|
Distributed network topology reconstruction in presence of anonymous nodesThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2015, p.215Digital Resources/Online E-Resources |
|
9 |
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 |
|
10 |
Material Type: Conference Proceeding
|
Acoustic emission sensor using liquid-on-beam structureThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2015, p.1137Digital Resources/Online E-Resources |
|
11 |
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 |
|
12 |
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 |
|
13 |
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 |
|
14 |
Material Type: Conference Proceeding
|
Detection of high-frequency component of mechanomyogramThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2016, p.356Digital Resources/Online E-Resources |
|
15 |
Material Type: Conference Proceeding
|
Wood monitoring using MEMS acoustic sensorThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2016, p.1122Digital Resources/Online E-Resources |
|
16 |
Material Type: Conference Proceeding
|
Measurement of vacuum pressure with cantilever-based differential pressure sensor utilizing vapor pressure and narrow gap of cantileverThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2016, p.836Digital Resources/Online E-Resources |
|
17 |
Material Type: Conference Proceeding
|
Flow speed measurement with Doppler effect using ultrasonic receiver for small-sized smart catheterThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2015, p.640Digital Resources/Online E-Resources |
|
18 |
Material Type: Conference Proceeding
|
Fusion of cantilever and diaphragm pressure sensors according to frequency characteristicsThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2015, p.212Digital Resources/Online E-Resources |
|
19 |
Material Type: Conference Proceeding
|
Pulse wave measurement in human using piezoresistive cantilever on liquidThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2015, p.670Digital Resources/Online E-Resources |
|
20 |
Material Type: Conference Proceeding
|
Measurement of surface acoustic waves propagation using a piezoresistive cantilever arrayThe Institute of Electrical and Electronics Engineers, Inc. (IEEE) Conference Proceedings, 2015, p.144Digital Resources/Online E-Resources |