부산대학교 도서관
검색
Total
Catalog
e-Article
e-Journal
Database
e-Book
Proxy
OFF
Login
Community
Notice & Event
Inquiry Bulletin Board
FAQ
Phone/E-mail Inquiry
Schedule
KOR
Login
Search
Total Search
Catalog
e-Article
e-Journal
Database
e-Book
e-Learning
Collection
Popular
New Arrival
Reading Books
Theme Books
PNU Repository
Newsletter
Research
Research Support Service
Thesis Writing Support
Research Info Guide
Education
Textbook
Using Resources
Circulation
Purchase Request
Interlibrary Borrow
Provide Fulltext
FRIC
Cooperative Org
Delivery Service
SDI
Off-campus Access
Using Facilities
Opening Hours
User-specific Guidelines
Reading Room
Group Study Room
Media Production Room
PC/Wi-Fi/Mobile
Print/Copy/Scan
Introduction
Mission&Vision
Former Dean
History
Organization
Statistics
Regulation/Operation rules
Direction
Community
Notice & Event
Q&A
FAQ
Phone/E-mail Inquiry
Schedule
My Library
My collection
Borrowed Books
Overdue / Sanction
Reservation
Interlibrary Borrow
Education
Change Information
전체메뉴 열기
Please log in
부산대학교 도서관
Search
Total Search
Catalog
e-Article
e-Journal
Database
e-Book
e-Learning
Collection
Popular
New Arrival
Reading Books
Theme Books
PNU Repository
Newsletter
Research
Research Support Service
Thesis Writing Support
Research Info Guide
Education
Textbook
Using Resources
Circulation
Purchase Request
Interlibrary Borrow
Provide Fulltext
FRIC
Cooperative Org
Delivery Service
SDI
Off-campus Access
Using Facilities
Opening Hours
User-specific Guidelines
Reading Room
Group Study Room
Media Production Room
PC/Wi-Fi/Mobile
Print/Copy/Scan
Introduction
Mission&Vision
Former Dean
History
Organization
Statistics
Regulation/Operation rules
Direction
Community
Notice & Event
Q&A
FAQ
Phone/E-mail Inquiry
Schedule
My Library
My collection
Borrowed Books
Overdue / Sanction
Reservation
Interlibrary Borrow
Education
Change Information
clear
Proxy
OFF
KOR
Home
Total Search
e-Article
e-Article
Search All
arrow_drop_down
Search All
ISSN
Article Title
Journal Title
Author/Creator
Languages
Advanced Search
Hiragana
Katakana
German, French, Spanish
Greece
Latin
Russian
Roman
Old Hangul
Unit Symbol
Math Symbol
Thai
Mongolian
o
ㅋ
ㄱ
ㅅ
ㅈ
ㅌ
ㄷ
촉
ㄴ
ㅎ
ㅂ
ㅃ
ㅁ
야
ㄹ
와
ㅏ
あ
a
ぁ
か
ka
が
ga
さ
sa
ざ
za
た
ta
だ
da
な
na
は
ha
ば
ba
ぱ
pa
ま
ma
や
ya
ゃ
lya
ら
ra
わ
wa
ゎ
lwa
ん
n
l
い
i
ぃ
き
ki
ぎ
gi
し
si
じ
zi
ち
ti
ぢ
di
に
ni
ひ
hi
び
bi
ぴ
pi
み
mi
り
ri
ㅜ
う
u
ぅ
く
ku
ぐ
gu
す
su
ず
zu
つ
tu
づ
du
っ
ぬ
nu
ふ
hu
ぶ
bu
ぷ
pu
む
mu
ゆ
yu
ゅ
lyu
る
ru
ㅔ
え
e
ぇ
け
ke
げ
ge
せ
se
ぜ
ze
て
te
で
de
ね
ne
へ
he
べ
be
ぺ
pe
め
me
れ
re
ㅗ
お
o
ぉ
こ
ko
ご
go
そ
so
ぞ
zo
と
to
ど
do
の
no
ほ
ho
ぼ
bo
ぽ
po
も
mo
よ
yo
ょ
lyo
ろ
ro
を
wo
o
ㅋ
ㄱ
ㅅ
ㅈ
ㅌ
ㄷ
촉
ㄴ
ㅎ
ㅂ
ㅃ
ㅁ
야
ㄹ
와
ㅏ
ア
a
ァ
カ
ka
ガ
ga
サ
sa
ザ
za
タ
ta
ダ
da
ナ
na
ハ
ha
バ
ba
パ
pa
マ
ma
ヤ
ya
ャ
lya
ラ
ra
ワ
wa
ヮ
lwa
ン
n
l
イ
i
ィ
キ
ki
ギ
gi
シ
si
ジ
zi
チ
ti
ヂ
di
ニ
ni
ヒ
hi
ビ
bi
ピ
pi
ミ
mi
リ
ri
ㅜ
ウ
u
ゥ
ク
ku
グ
gu
ス
su
ズ
zu
ツ
tu
ヅ
du
ッ
ヌ
nu
フ
hu
ブ
bu
プ
pu
ム
mu
ユ
yu
ュ
lyu
ル
ru
ヴ
vu
ㅔ
エ
e
ェ
ケ
ke
ゲ
ge
セ
se
ゼ
ze
テ
te
デ
de
ネ
ne
ヘ
he
ベ
be
ぺ
pe
メ
me
レ
re
ㅗ
オ
o
ォ
コ
ko
ゴ
go
ソ
so
ゾ
zo
ト
to
ド
do
ノ
no
ホ
ho
ボ
bo
ポ
po
モ
mo
ヨ
yo
ョ
lyo
ロ
ro
ヲ
wo
ー
ー
독일어
ä
Ä
ö
Ö
ü
Ü
ß
프랑스어
á
à
Á
À
é
è
É
È
ç
Ç
ê
스페인어
à
á
Á
é
É
í
Í
Ó
ó
Ú
ú
Ñ
ñ
ä
Ä
Α
Β
Γ
Δ
Ε
Ζ
Η
Θ
Ι
Κ
Λ
Μ
Ν
Ξ
Ο
Π
Ρ
Σ
Τ
Υ
Φ
Χ
Ψ
Ω
α
β
γ
δ
ε
ζ
η
θ
ι
κ
λ
μ
ν
ξ
ο
π
ρ
ς
σ
τ
υ
φ
χ
ψ
ω
À
Á
Â
Ã
Ä
Å
Æ
Ç
È
É
Ê
Ë
Ì
Í
Î
Ï
Ð
Ñ
Ò
Ó
Ô
Õ
Ö
Ø
Ù
Ú
Û
Ü
Ý
Þ
ß
à
á
â
ã
ä
å
æ
ç
è
é
ê
ë
ì
í
î
ï
ð
ñ
ò
ó
ô
õ
ö
ø
ù
ú
û
ü
ý
þ
ÿ
А
Б
В
Г
Д
Е
Ё
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Ъ
Ы
Ь
Э
Ю
Я
а
б
в
г
д
е
ё
ж
з
и
й
к
л
м
н
о
п
р
с
т
у
ф
х
ц
ч
ш
щ
ъ
ы
ь
э
ю
я
ⅰ
ⅱ
ⅲ
ⅳ
ⅴ
ⅵ
ⅶ
ⅷ
ⅸ
ⅹ
Ⅰ
Ⅱ
Ⅲ
Ⅳ
Ⅴ
Ⅵ
Ⅶ
Ⅷ
Ⅸ
Ⅹ
ㅥ
ㅦ
ㅧ
ㅨ
ㅩ
ㅪ
ㅫ
ㅬ
ㅭ
ㅮ
ㅯ
ㅰ
ㅱ
ㅲ
ㅳ
ㅴ
ㅵ
ㅶ
ㅷ
ㅸ
ㅹ
ㅺ
ㅻ
ㅼ
ㅽ
ㅾ
ㅿ
ㆀ
ㆁ
ㆂ
ㆃ
ㆄ
ㆅ
ㆆ
ㆇ
ㆈ
ㆉ
ㆊ
ㆋ
ㆌ
ㆍ
ㆎ
′
″
℃
Å
¢
£
¥
¤
℉
‰
$
%
F
₩
㎕
㎖
㎗
ℓ
㎘
㏄
㎣
㎤
㎥
㎦
㎙
㎚
㎛
㎜
㎝
㎞
㎟
㎠
㎡
㎢
㏊
㎍
㎎
㎏
㏏
㎈
㎉
㏈
㎧
㎨
㎰
㎱
㎲
㎳
㎴
㎵
㎶
㎷
㎸
㎹
㎀
㎁
㎂
㎃
㎄
㎺
㎻
㎽
㎾
㎿
㎐
㎑
㎒
㎓
㎔
Ω
㏀
㏁
㎊
㎋
㎌
㏖
㏅
㎭
㎮
㎯
㏛
㎩
㎪
㎫
㎬
㏝
㏐
㏓
㏃
㏉
㏜
㏆
±
×
÷
≠
≤
≥
∞
∴
∠
⊥
⌒
∂
∇
≡
≒
≪
≫
√
∽
∝
∵
∫
∬
∈
∋
⊆
⊇
⊂
⊃
∪
∩
∧
∨
¬
⇒
⇔
∀
∃
∮
∑
∏
+
-
<
=
>
ก
ข
ฃ
ค
ฅ
ฆ
ง
จ
ฉ
ช
ซ
ฌ
ญ
ฎ
ฏ
ฐ
ฑ
ฒ
ณ
ด
ต
ถ
ท
ธ
น
บ
ป
ผ
ฝ
พ
ฟ
ภ
ม
ย
ร
ฤ
ล
ฦ
ว
ศ
ษ
ส
ห
ฬ
อ
ฮ
ฯ
ะ
ั
า
ำ
ิ
ี
ึ
ื
ุ
ู
ฺ
฿
เ
แ
โ
ใ
ไ
ๅ
ๆ
็
่
้
๊
๋
์
ํ
๎
๏
᠀
᠁
᠂
᠃
᠄
᠅
᠆
᠇
᠈
᠉
᠊
᠐
᠑
᠒
᠓
᠔
᠕
᠖
᠗
᠘
᠙
ᠠ
ᠡ
ᠢ
ᠣ
ᠤ
ᠥ
ᠦ
ᠧ
ᠨ
ᠩ
ᠪ
ᠫ
ᠬ
ᠭ
ᠮ
ᠯ
ᠰ
ᠱ
ᠲ
ᠳ
ᠴ
ᠵ
ᠶ
ᠷ
ᠸ
ᠹ
ᠺ
ᠻ
ᠼ
ᠽ
ᠾ
ᠿ
ᡀ
ᡁ
ᡂ
ᡃ
ᡄ
ᡅ
ᡆ
ᡇ
ᡈ
ᡉ
ᡊ
ᡋ
ᡌ
ᡍ
ᡎ
ᡏ
Publication date
-
(ex : 2010-2015)
'e-Article'
searched
113
results | List
110~120
Select All
Export
Relevance
arrow_drop_down
Relevance
DateNewest
Date Oldest
10
arrow_drop_down
5
10
20
30
40
50
format_list_bulleted
format_list_bulleted
E-mail
EndNote
RefWorks
playlist_add_check
View Summary
open_in_browser
Export
E-mail
EndNote
RefWorks
Previous
1
2
3
4
…
9
10
11
12
Refining the search results
arrow_forward
Facets
[AR] Arieli, O.
clear
Publication year
-
Refine
Database provider
Scopus®
(113)
Complementary Index
(6)
IEEE Xplore Digital Library
(4)
Science Citation Index Expanded
(2)
Academic Search Complete
(1)
Arts & Humanities Citation Index
(1)
arXiv
(1)
JSTOR Journals
(1)
MathSciNet via EBSCOhost
(1)
ScienceDirect
(1)
Springer Nature Journals
(1)
Supplemental Index
(1)
add
remove
More
zoom_in
Refine
Title
lecture notes in computer science
(25)
frontiers in artificial intelligence and applications
(11)
studia logica
(7)
annals of mathematics and artificial intelligence
(5)
journal of applied logic
(5)
journal of logic and computation
(5)
proceedings of the international conference on knowledge representation and reasoning
(5)
annals of oncology
(4)
artificial intelligence
(4)
international journal of approximate reasoning
(4)
proceedings of the international joint conference on autonomous agents and multiagent systems, aamas
(3)
argument and computation
(2)
ceur workshop proceedings
(2)
computational models of argument - proceedings of comma 2014
(2)
computational models of argument - proceedings of comma 2020
(2)
ijcai international joint conference on artificial intelligence
(2)
journal of applied logics
(2)
lecture notes in artificial intelligence (subseries of lecture notes in computer science)
(2)
logic journal of the igpl
(2)
outstanding contributions to logic
(2)
proceedings - symposium on logic in computer science
(2)
proceedings of the 18th international conference on principles of knowledge representation and reasoning, kr 2021
(2)
studia logica: an international journal for symbolic logic
(2)
2010 25th annual ieee symposium on logic in computer science (lics)
(1)
acm transactions on computational logic
(1)
acm transactions on database systems
(1)
advances in artificial intelligence - 21st conference of the canadian society for computational studies of intelligence, canadian ai 2008, proceedings
(1)
advances in artificial intelligence: from theory to practice - 30th international conference on industrial engineering and other applications of applied intelligent systems, iea/aie 2017, proceedings
(1)
animals
(1)
applied computational intelligence - proceedings of the 6th international flins conference
(1)
applied computational intelligence, proceedings of the 6th international flins conference
(1)
artificial general intelligence 2008. proceedings of the first agi conference
(1)
belgian/netherlands artificial intelligence conference
(1)
british journal of clinical psychology
(1)
communications in computer and information science
(1)
computational logic in multi-agent systems - 14th international workshop, clima 2013, proceedings
(1)
computational models of argument - proceedings of comma 2012
(1)
computational models of argument - proceedings of comma 2022
(1)
computer science logic - 10th international workshop, csl 1996, annual conference of the eacsl, selected papers
(1)
current trends in database technology - edbt 2006 - edbt 2006 workshops phd, datax, iidb, iiha, icsnw, qlqp, pim, parma, and reactivity on the web, revised selected papers
(1)
deontic logic and normative systems - 12th international conference, deon 2014, proceedings
(1)
ecai 2004 - 16th european conference on artificial intelligence, including prestigious applications of intelligent systems, pais 2004 - proceedings
(1)
ieee transactions on fuzzy systems, fuzzy systems, ieee transactions on, ieee trans. fuzzy syst.
(1)
proceedings eighth ieee international conference on tools with artificial intelligence
(1)
proceedings eighth ieee international conference on tools with artificial intelligence, tools with artificial intelligence, 1996., proceedings eighth ieee international conference on, tools with artificial intelligence
(1)
proceedings ninth annual ieee symposium on logic in computer science
(1)
proceedings ninth annual ieee symposium on logic in computer science, logic in computer science, 1994. lics '94. proceedings., symposium on, logic in computer science
(1)
proceedings thirteenth annual ieee symposium on logic in computer science (cat no98cb36226)
(1)
proceedings. thirteenth annual ieee symposium on logic in computer science (cat. no.98cb36226), logic in computer science, 1998. proceedings. thirteenth annual ieee symposium on, logic in computer science
(1)
studia logica. an international journal for symbolic logic
(1)
add
remove
More
zoom_in
Refine
Publisher
springer verlag
(20)
ieee
(7)
ios press
(7)
oxford university press
(6)
elsevier b.v.
(5)
institute of electrical and electronics engineers inc.
(5)
ios press bv
(4)
elsevier ltd
(3)
international foundation for autonomous agents and multiagent systems (ifaamas)
(3)
springer
(3)
springer netherlands
(3)
springer science and business media b.v.
(3)
association for the advancement of artificial intelligence
(2)
ceur-ws
(2)
college publications
(2)
elsevier
(2)
elsevier inc.
(2)
international joint conferences on artificial intelligence organization (ijcai organization)
(2)
kluwer academic publishers
(2)
taylor and francis ltd.
(2)
world scientific publishing co. pte ltd
(2)
american association for artificial intelligence
(1)
association for computing machinery (acm)
(1)
elsevier gmbh
(1)
ieee comput. soc. press
(1)
international joint conferences on artificial intelligence
(1)
mdpi ag
(1)
oxford univ press
(1)
schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing
(1)
springer nature
(1)
springer new york llc
(1)
the aaai press
(1)
world scientific publishing company
(1)
add
remove
More
zoom_in
Refine
자료유형(Source Type)
Conference Materials
(73)
Academic Journals
(57)
Books
(39)
Reviews
(3)
Reports
(1)
Magazines
(1)
add
remove
More
zoom_in
Refine
Subject
paraconsistent logics
(7)
sequent calculi
(7)
many-valued logics
(6)
structured argumentation
(6)
logical argumentation
(5)
paraconsistency
(5)
computer science
(4)
computing and processing
(4)
defeasible reasoning
(4)
non-monotonic reasoning
(4)
artificial intelligence
(3)
assumption-based argumentation
(3)
bilattices
(3)
breast cancer
(3)
circulating cell-free dna
(3)
distance semantics
(3)
dna methylation
(3)
lattices
(3)
logic programming
(3)
semantics
(3)
uncertainty
(3)
abstract argumentation
(2)
application software
(2)
approximation fixpoint theory
(2)
donkey
(2)
formal argumentation
(2)
fuzzy sets
(2)
hypersequents
(2)
knowledge representation and reasoning
(2)
logic functions
(2)
mv-algebras
(2)
preferential semantics
(2)
proof systems
(2)
quantified boolean formulas
(2)
reasoning
(2)
4-valued logics
(1)
answer set programming
(1)
answer-set programming
(1)
argumentation frameworks
(1)
argumentation semantics
(1)
automated reasoning
(1)
belief revision
(1)
blood plasma
(1)
boolean algebra
(1)
boolean formulas
(1)
calculus
(1)
cancer
(1)
cancer chemotherapy
(1)
cell-free dna
(1)
circuit faults
(1)
add
remove
More
zoom_in
Refine
Language
english
(127)
add
remove
More
zoom_in
Refine
Send an e-mail
이메일
Cancel
Confirm
Close pop-up
폴더 추가
Close pop-up