부산대학교 도서관
검색
통합검색
소장자료
학술논문
전자저널
학술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)
'학술논문'
에서 검색결과
91
건 | 목록
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
Dynamic Blocked Clause Elimination for Projected Model Counting
Report
Lagniez, Jean-Marie
;
Marquis, Pierre
;
Biere, Armin
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
On the explanatory power of Boolean decision trees
Academic Journal
Audemard, Gilles
;
Bellart, Steve
;
Bounia, Louenas
;
Koriche, Frédéric
;
Lagniez, Jean-Marie
;
Marquis, Pierre
In
Data & Knowledge Engineering
November 2022 142
Full Text (ScienceDirect 종량제)
Web of Science
JCR 저널정보
Scopus
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Definability for model counting
Academic Journal
Lagniez, Jean-Marie
;
Lonca, Emmanuel
;
Marquis, Pierre
In
Artificial Intelligence
April 2020 281
Full Text (ScienceDirect 종량제)
Full Text (ScienceDirect O/A)
Open Access (EBSCO)
Web of Science
JCR 저널정보
Scopus
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks
Report
Riva, Sara
;
Lagniez, Jean-Marie
;
López, Gustavo Magaña
;
Paulevé, Loïc
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Computing Abductive Explanations for Boosted Trees
Report
Audemard, Gilles
;
Lagniez, Jean-Marie
;
Marquis, Pierre
;
Szczepanski, Nicolas
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Design and Results of ICCMA 2021
Report
Lagniez, Jean-Marie
;
Lonca, Emmanuel
;
Mailly, Jean-Guy
;
Rossit, Julien
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Trading Complexity for Sparsity in Random Forest Explanations
Report
Audemard, Gilles
;
Bellart, Steve
;
Bounia, Louenas
;
Koriche, Frédéric
;
Lagniez, Jean-Marie
;
Marquis, Pierre
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
On the Explanatory Power of Decision Trees
Report
Audemard, Gilles
;
Bellart, Steve
;
Bounia, Louenas
;
Koriche, Frédéric
;
Lagniez, Jean-Marie
;
Marquis, Pierre
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Algorithms for partially robust team formation.
Academic Journal
Schwind, Nicolas
;
Demirović, Emir
;
Inoue, Katsumi
;
Lagniez, Jean-Marie
Autonomous Agents & Multi-Agent Systems; Oct2023, Vol. 37 Issue 2, p1-45, 45p
Web of Science
JCR 저널정보
Scopus
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
On the Computational Intelligibility of Boolean Classifiers
Report
Audemard, Gilles
;
Bellart, Steve
;
Bounia, Louenas
;
Koriche, Frédéric
;
Lagniez, Jean-Marie
;
Marquis, Pierre
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
1
2
3
4
…
7
8
9
10
다음
검색 결과 제한하기
arrow_forward
제한된 항목
[AR] Lagniez, Jean-Marie
clear
발행연도 제한
-
재검색
학술DB(Database Provider)
Complementary Index
(17)
MathSciNet via EBSCOhost
(17)
Science Citation Index Expanded
(11)
IEEE Xplore Digital Library
(9)
arXiv
(9)
OAIster
(9)
Academic Search Complete
(6)
Springer Nature Journals
(5)
Business Source Complete
(4)
ScienceDirect
(2)
Education Source
(1)
Supplemental Index
(1)
add
remove
더보기
zoom_in
재검색
저널명(출판물, Title)
international journal on artificial intelligence tools
(12)
artificial intelligence
(5)
autonomous agents and multi-agent systems
(5)
ai communications
(4)
journal of automated reasoning
(4)
data & knowledge engineering
(3)
applied intelligence
(2)
autonomous agents & multi-agent systems
(2)
constraints: an international journal
(2)
logic for programming, artificial intelligence, and reasoning
(2)
theory and applications of satisfiability testing---sat 2013
(2)
2009 21st ieee international conference on tools with artificial intelligence, tools with artificial intelligence, 2009. ictai '09. 21st international conference on
(1)
2011 ieee 23rd international conference on tools with artificial intelligence, tools with artificial intelligence (ictai), 2011 23rd ieee international conference on
(1)
2012 ieee 24th international conference on tools with artificial intelligence
(1)
2012 ieee 24th international conference on tools with artificial intelligence, tools with artificial intelligence (ictai), 2012 ieee 24th international conference on
(1)
2013 ieee 25th international conference on tools with artificial intelligence
(1)
2013 ieee 25th international conference on tools with artificial intelligence, tools with artificial intelligence (ictai), 2013 ieee 25th international conference on
(1)
2014 ieee 26th international conference on tools with artificial intelligence
(1)
2014 ieee 26th international conference on tools with artificial intelligence, tools with artificial intelligence (ictai), 2014 ieee 26th international conference on
(1)
2015 ieee 27th international conference on tools with artificial intelligence (ictai)
(1)
2015 ieee 27th international conference on tools with artificial intelligence (ictai), tools with artificial intelligence (ictai), 2015 ieee 27th international conference on
(1)
2016 27th international workshop on database and expert systems applications (dexa), database and expert systems applications (dexa), 2016 27th international workshop on, dexa
(1)
2016 ieee 15th international conference on cognitive informatics & cognitive computing (icci*cc), cognitive informatics & cognitive computing (icci*cc), 2016 ieee 15th international conference on
(1)
2017 ieee 29th international conference on tools with artificial intelligence (ictai), tools with artificial intelligence (ictai), 2017 ieee 29th international conference on, ictai
(1)
25th international conference on theory and applications of satisfiability testing
(1)
ai communications. the european journal on artificial intelligence
(1)
applied intelligence: the international journal of artificial intelligence, neural networks, and complex problem-solving technologies
(1)
artificial general intelligence: 7th international conference, agi 2014, quebec city, qc, canada, august 1-4, 2014. proceedings
(1)
automated reasoning
(1)
computational methods in systems biology
(1)
constraints
(1)
constraints. an international journal
(1)
logic for programming, artificial intelligence & reasoning (9783642162411)
(1)
logic for programming, artificial intelligence & reasoning: 20th international conference, lpar-20 2015, suva, fiji, november 24-28, 2015, proceedings
(1)
logic, rationality, and interaction
(1)
logics in artificial intelligence
(1)
lpar-23. 23rd international conference on logic for programming, artificial intelligence and reasoning
(1)
principles & practice of constraint programming: 22nd international conference, cp 2016, toulouse, france, september 5-9, 2016, proceedings
(1)
principles and practice of constraint programming
(1)
theory and application of satisfiability testing---sat 2011
(1)
theory and applications of satisfiability testing---sat 2017
(1)
add
remove
더보기
zoom_in
재검색
출판사(Publisher)
ieee
(13)
springer nature
(9)
world scientific publishing company
(9)
elsevier b.v.
(5)
springer
(5)
ios press
(4)
springer us
(4)
springer, cham
(4)
springer, heidelberg
(4)
world scientific publ co pte ltd
(3)
elsevier
(2)
springer, berlin
(2)
easychair, manchester
(1)
schloss dagstuhl - leibniz-zentrum fur informatik
(1)
schloss dagstuhl. leibniz-zent. inform., wadern
(1)
springer netherlands
(1)
springer, [cham]
(1)
add
remove
더보기
zoom_in
재검색
자료유형(Source Type)
Academic Journals
(42)
Conference Materials
(26)
Reviews
(17)
Reports
(9)
Electronic Resources
(9)
Books
(4)
Magazines
(1)
add
remove
더보기
zoom_in
재검색
주제어
artificial intelligence
(19)
boolean logic
(13)
computational complexity
(9)
computer science - artificial intelligence
(9)
computing and processing
(9)
csp
(9)
negotiation
(8)
boolean functions
(6)
consensus
(6)
information theory
(6)
muc
(6)
belief change
(5)
lenses
(5)
sat
(5)
coalition structure generation
(4)
complexity
(4)
multi-agents
(4)
preemption
(4)
subsumption
(4)
boolean algebra
(3)
cognition
(3)
communication, networking and broadcast technologies
(3)
components, circuits, devices and systems
(3)
encoding
(3)
graph theory
(3)
information sharing
(3)
integrated circuit verification
(3)
iterative methods (mathematics)
(3)
knowledge base
(3)
knowledge compilation
(3)
mathematical variables
(3)
model counting
(3)
multiagent systems
(3)
preprocessing
(3)
satisfiability
(3)
set theory
(3)
sls
(3)
software verification
(3)
stochastic local search
(3)
uncertainty
(3)
algorithm design and analysis
(2)
anytime algorithm
(2)
benchmark testing
(2)
complexity theory
(2)
computational modeling
(2)
computer science
(2)
conferences
(2)
constraint networks
(2)
constraints
(2)
context
(2)
add
remove
더보기
zoom_in
재검색
언어
english
(63)
add
remove
더보기
zoom_in
재검색
메일 발송
이메일
취소
확인
팝업 닫기
폴더 추가
팝업 닫기