부산대학교 도서관
검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
교내접속
OFF
로그인
커뮤니티
공지 및 행사
게시판문의
자주묻는질문
전화/이메일 문의
도서관 일정
영문 바로가기
로그인
자료검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
온라인강좌
컬렉션
인기도서
신착도서
책 읽는 대학
테마도서
교수저작물 컬렉션
PNU 생산자료
도서관 소식지
연구·학습지원
연구지원
논문작성지원
연구정보가이드
이용교육
학습정보가이드
수업교재정보
자료이용안내
대출/반납
희망도서 신청
원문복사/상호대차
소장학술지 원문제공
외국학술지지원센터
협력기관
자료배달
SDI서비스
교외접속
시설이용안내
개관시간/층별
이용자별안내
열람실
그룹스터디룸
매체 제작/편집실
시설대관
PC/Wi-Fi/모바일
출력/복사/스캔
도서관소개
사명과 비전
역대 도서관장
연혁
조직 및 부서
통계
규정/운영세칙
오시는길
기증/기부
커뮤니티
공지 & 행사
게시판 문의
자주묻는 질문
전화/이메일 문의
도서관 일정
My Library
내서재
대출중인 도서
연체/제재
예약도서
원문복사(상호대차)
이용교육
정보 변경
전체메뉴 열기
로그인하세요
부산대학교 도서관
자료검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
온라인강좌
컬렉션
인기도서
신착도서
책 읽는 대학
테마도서
교수저작물 컬렉션
PNU 생산자료
도서관 소식지
연구·학습지원
연구지원
논문작성지원
연구정보가이드
이용교육
학습정보가이드
수업교재정보
자료이용안내
대출/반납
희망도서 신청
원문복사/상호대차
소장학술지 원문제공
외국학술지지원센터
협력기관
자료배달
SDI서비스
교외접속
시설이용안내
개관시간/층별
이용자별안내
열람실
그룹스터디룸
매체 제작/편집실
시설대관
PC/Wi-Fi/모바일
출력/복사/스캔
도서관소개
사명과 비전
역대 도서관장
연혁
조직 및 부서
통계
규정/운영세칙
오시는길
기증/기부
커뮤니티
공지 & 행사
게시판 문의
자주묻는 질문
전화/이메일 문의
도서관 일정
My Library
내서재
대출중인 도서
연체/제재
예약도서
원문복사(상호대차)
이용교육
정보 변경
clear
교내접속
OFF
영문 바로가기
Home
통합검색
학술논문
학술논문
arrow_drop_down
통합검색
ISSN
논문명
저널명
저자명
다국어
세부검색
히라가나
가타가나
독일,프랑스,스페인
그리스
라틴
러시아
로마자
한글고어
단위기호
학술기호
타이어
몽골어
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
₩
㎕
㎖
㎗
ℓ
㎘
㏄
㎣
㎤
㎥
㎦
㎙
㎚
㎛
㎜
㎝
㎞
㎟
㎠
㎡
㎢
㏊
㎍
㎎
㎏
㏏
㎈
㎉
㏈
㎧
㎨
㎰
㎱
㎲
㎳
㎴
㎵
㎶
㎷
㎸
㎹
㎀
㎁
㎂
㎃
㎄
㎺
㎻
㎽
㎾
㎿
㎐
㎑
㎒
㎓
㎔
Ω
㏀
㏁
㎊
㎋
㎌
㏖
㏅
㎭
㎮
㎯
㏛
㎩
㎪
㎫
㎬
㏝
㏐
㏓
㏃
㏉
㏜
㏆
±
×
÷
≠
≤
≥
∞
∴
∠
⊥
⌒
∂
∇
≡
≒
≪
≫
√
∽
∝
∵
∫
∬
∈
∋
⊆
⊇
⊂
⊃
∪
∩
∧
∨
¬
⇒
⇔
∀
∃
∮
∑
∏
+
-
<
=
>
ก
ข
ฃ
ค
ฅ
ฆ
ง
จ
ฉ
ช
ซ
ฌ
ญ
ฎ
ฏ
ฐ
ฑ
ฒ
ณ
ด
ต
ถ
ท
ธ
น
บ
ป
ผ
ฝ
พ
ฟ
ภ
ม
ย
ร
ฤ
ล
ฦ
ว
ศ
ษ
ส
ห
ฬ
อ
ฮ
ฯ
ะ
ั
า
ำ
ิ
ี
ึ
ื
ุ
ู
ฺ
฿
เ
แ
โ
ใ
ไ
ๅ
ๆ
็
่
้
๊
๋
์
ํ
๎
๏
᠀
᠁
᠂
᠃
᠄
᠅
᠆
᠇
᠈
᠉
᠊
᠐
᠑
᠒
᠓
᠔
᠕
᠖
᠗
᠘
᠙
ᠠ
ᠡ
ᠢ
ᠣ
ᠤ
ᠥ
ᠦ
ᠧ
ᠨ
ᠩ
ᠪ
ᠫ
ᠬ
ᠭ
ᠮ
ᠯ
ᠰ
ᠱ
ᠲ
ᠳ
ᠴ
ᠵ
ᠶ
ᠷ
ᠸ
ᠹ
ᠺ
ᠻ
ᠼ
ᠽ
ᠾ
ᠿ
ᡀ
ᡁ
ᡂ
ᡃ
ᡄ
ᡅ
ᡆ
ᡇ
ᡈ
ᡉ
ᡊ
ᡋ
ᡌ
ᡍ
ᡎ
ᡏ
발행년
-
(예 : 2010-2015)
'학술논문'
에서 검색결과
377
건 | 목록
1~10
전체선택
내보내기
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
Adding structure to agent programming languages
Novak, Peter
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
IMPACT: a multi-agent framework with declarative semantics
Dix, Jürgen
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
The second contest on Multi-Agent Systems based on computational logic
Dastani, Mehdi
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Logic based information agents :04171 abstracts collection ; Dagstuhl seminar
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
The relationship between reasoning about privacy and default logics
Dix, Jürgen
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Model checking abilities of agents: a closer look
Jamroga, Wojciech
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Planning in Answer Set Programming using ordered task decomposition
Dix, Jürgen
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Heterogeneous temporal probabilistic agents
Dix, Jürgen
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Proceedings of the 11th Workshop on Nonmonotonic Reasoning :[(NMR 2006) ... in the Lake District area of the UK on May 30 - June 1, 2006]
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Model checking abilities under incomplete information is indeed Delta2-complete
Jamroga, Wojciech
Open Access (Europeana)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
1
2
3
4
…
17
18
19
20
다음
검색 결과 제한하기
arrow_forward
제한된 항목
[AR] Dix, Jürgen
clear
발행연도 제한
-
재검색
학술DB(Database Provider)
Complementary Index
(163)
Supplemental Index
(63)
MathSciNet via EBSCOhost
(49)
Springer Nature Journals
(26)
Academic Search Complete
(18)
Journals@OVID
(10)
Europeana
(10)
ScienceDirect
(8)
ACM Full-Text Collection
(7)
Gale Academic OneFile
(6)
OAIster
(4)
Business Source Complete
(4)
IEEE Xplore Digital Library
(2)
SwePub
(2)
Science Citation Index Expanded
(2)
arXiv
(1)
JSTOR Journals
(1)
Library, Information Science & Technology Abstracts
(1)
Gale General OneFile
(1)
add
remove
더보기
zoom_in
재검색
저널명(출판물, Title)
heterogeneous agent systems
(94)
annals of mathematics and artificial intelligence
(43)
annals of mathematics & artificial intelligence
(35)
foundations of information & knowledge systems
(18)
programming multi-agent systems (9783540326168)
(16)
programming multi-agent systems
(12)
fundamenta informaticae
(9)
logic programming & knowledge representation
(9)
acm transactions on computational logic
(8)
theoretical computer science
(8)
ai communications
(6)
theory of computing systems
(6)
journal of automated reasoning
(5)
ai magazine
(4)
artificial intelligence
(4)
journal of logic programming
(4)
ai communications: the european journal on artificial intelligence
(3)
ieee transactions on knowledge & data engineering
(3)
journal of logic, language and information
(3)
acm transactions on computational logic (tocl)
(2)
annals of pure and applied logic
(2)
autonomous agents and multi-agent systems
(2)
ieee intelligent systems
(2)
non-monotonic extensions of logic programming (bad honnef, 1996)
(2)
proceedings of the first international joint conference on autonomous agents and multiagent systems: part 2
(2)
theory and practice of logic programming
(2)
2021 ieee symposium series on computational intelligence (ssci), computational intelligence (ssci), 2021 ieee symposium series on
(1)
computational logic in multi-agent systems (9783540339960)
(1)
electronic notes in theoretical computer science
(1)
foundations of software technology and theoretical computer science (chennai, 1999)
(1)
handbook of automated reasoning
(1)
ieee transactions on knowledge and data engineering, knowledge and data engineering, ieee transactions on, ieee trans. knowl. data eng.
(1)
international journal of agent oriented software engineering
(1)
journal of logic and computation
(1)
journal of logic, language, and information
(1)
lecture notes in computer science
(1)
logic for programming, artificial intelligence & reasoning (9783540305538)
(1)
logic journal of the igpl
(1)
logic programming (santa margherita ligure, 1994)
(1)
logic programming and knowledge representation (port jefferson, ny, 1997)
(1)
logic programming and nonmonotonic reasoning (lexington, ky, 1995)
(1)
logic programming and nonmonotonic reasoning (washington, dc, 1991)
(1)
logics in artificial intelligence (evora, 1996)
(1)
nonmonotonic and inductive logic (karlsruhe, 1990)
(1)
nonmonotonic and inductive logic (reinhardsbrunn castle, 1991)
(1)
non-monotonic extensions of logic programming (santa margherita ligure, 1994)
(1)
proceedings of the 7th easter conference on model theory (wendisch-rietz, 1989)
(1)
proceedings of the 7th international joint conference on autonomous agents and multiagent systems - volume 2
(1)
proceedings of the fifth international joint conference on autonomous agents and multiagent systems
(1)
proceedings of the fourth international joint conference on autonomous agents and multiagent systems
(1)
add
remove
더보기
zoom_in
재검색
출판사(Publisher)
springer nature
(106)
ieee
(105)
springer, berlin
(10)
clausthal university
(9)
elsevier b.v.
(9)
springer netherlands
(9)
technische universitat clausthal
(9)
ios press
(8)
kluwer academic publishers
(8)
association for computing machinery
(7)
springer
(5)
springer international publishing
(5)
tech reports in computer science and engineering
(3)
acm
(2)
ai magazine
(2)
digital repository at the university of maryland
(2)
mit press, cambridge, ma
(2)
springer us
(2)
springer-verlag
(2)
american association for artificial intelligence
(1)
assoc computing machinery
(1)
cambridge university press
(1)
computer science
(1)
csli publications, stanford, ca
(1)
humboldt univ., berlin
(1)
ieee computer soc
(1)
internat. begegnungs- und forschungszentrum fur informatik
(1)
oxford university press / usa
(1)
university of maryland (college park, md)
(1)
add
remove
더보기
zoom_in
재검색
자료유형(Source Type)
Books
(175)
Academic Journals
(141)
Reviews
(49)
Conference Materials
(23)
Magazines
(21)
Electronic Resources
(4)
Reports
(1)
add
remove
더보기
zoom_in
재검색
주제어
computer science
(71)
artificial intelligence (incl. robotics)
(48)
logics and meanings of programs
(37)
discrete mathematics in computer science
(20)
user interfaces and human computer interaction
(20)
computer communication networks
(19)
database management
(19)
information storage and retrieval
(18)
software engineering
(18)
programming languages, compilers, interpreters
(16)
68t42
(14)
multiagent systems
(14)
logic programming
(13)
mathematical logic and formal languages
(13)
computer programming
(12)
multi-agent systems
(11)
informatik
(10)
programming languages
(10)
programming techniques
(10)
computational complexity
(8)
artificial intelligence
(7)
model checking
(7)
multi agent systems
(7)
competition
(6)
computational logic
(5)
computer systems
(5)
contests
(5)
electronic data processing
(5)
knowledge representation
(5)
logic
(5)
mathematical analysis
(5)
nonmonotonic logic
(5)
68t27
(4)
computer software
(4)
semantics
(4)
temporal reasoning
(4)
68t30
(3)
agent
(3)
artificial intelligence software
(3)
computer algorithms
(3)
coordination
(3)
environment
(3)
information resources management
(3)
intelligent agents
(3)
interface
(3)
meetings
(3)
multi-agent programming
(3)
nonmonotonic reasoning
(3)
probabilistic reasoning
(3)
programming
(3)
add
remove
더보기
zoom_in
재검색
언어
english
(350)
add
remove
더보기
zoom_in
재검색
메일 발송
이메일
취소
확인
팝업 닫기
폴더 추가
팝업 닫기