도서 검색
책
기부
로그인
로그인
로그인한 사용자가 사용할 수 있는 것:
개인적 권고 사항
Telegram 봇
다운로드 기록
Email 혹은 Kindle로 전송하기
선택 목록 관리
즐겨찾기에 저장하기
개인
책 요청
연구
Z-Recommend
책 목록
가장 인기 있는
카테고리
참여
기부
업로드
Litera Library
종이책 기부하기
종이책 추가하기
Search paper books
나의 LITERA Point
핵심어 검색
Main
핵심어 검색
search
1
Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings
Springer-Verlag Berlin Heidelberg
Ian Horrocks (auth.)
,
Maurizio Gabbrielli
,
Gopal Gupta (eds.)
constraint
programs
programming
constraints
variables
chr
prolog
definition
analysis
function
interpretation
probabilistic
x̄
answers
implementation
ȳ
systems
query
node
springer
first
abstract
reasoning
atoms
algorithm
clp
defined
models
approach
consider
founded
valued
predicate
graph
checking
polynomial
predicates
smodels
framework
search
sets
execution
figure
proc
cmodels
conference
lncs
stable
asp
computation
년:
2005
언어:
english
파일:
PDF, 4.13 MB
개인 태그:
0
/
0
english, 2005
2
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings
Springer-Verlag Berlin Heidelberg
Rina Dechter (auth.)
,
Vladimir Lifschitz
,
Ilkka Niemelä (eds.)
programs
stable
models
programming
causal
atoms
sets
theorem
theories
atom
smodels
literals
literal
lifschitz
disjunctive
constraint
equivalent
planning
partial
aggregate
definition
dlv
formula
asp
reasoning
mca
constraints
formulas
proposition
defined
check
ϕ
first
consider
propositional
approach
interpretation
search
weight
negation
definite
preference
positive
clauses
graph
intelligence
exists
dlp
function
preferences
년:
2004
언어:
english
파일:
PDF, 3.97 MB
개인 태그:
0
/
0
english, 2004
3
Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings
Springer
Vladimir Lifschitz
,
Ilkka Niemela
programs
programming
stable
models
atoms
causal
sets
theorem
lifschitz
literals
theories
atom
smodels
defined
disjunctive
literal
constraint
planning
equivalent
formula
aggregate
partial
proposition
reasoning
formulas
constraints
asp
define
dlv
consider
mca
approach
check
negation
interpretation
intelligence
artificial
definite
search
weight
satisfies
proceedings
preference
graph
clauses
positive
springer
preferences
niemelä
function
년:
2004
언어:
english
파일:
PDF, 7.92 MB
개인 태그:
0
/
0
english, 2004
1
이 링크로
이동하시거나 Telegram에서 "@BotFather" 봇을 찾으십시오
2
/newbot 명령을 발송하십시오
3
사용자님의 봇의 이름을 명시하십시오
4
봇의 사용자 이름을 명시하십시오
5
BotFather로부터 받으신 마지막 메시지를 복사하여 여기에 붙여넣기를 하십시오
×
×