设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Springer电子图书(3)
CNKI会议论文(1)
CNKI学位论文(745)
知网期刊论文(123)
在“
Elsevier电子期刊
”中,
命中:
32
条,耗时:0.016995 秒
在所有数据库中总计命中:
872
条
1.
-Compilation for inference in
probabilistic
logic
programs
作者:
Jonas Vlasselaer
a
;
Jonas.Vlasselaer@cs.kuleuven.be" class="auth_mail" title="E-mail the corresponding author
;
Guy Van den Broeck
b
;
guyvdb@cs.ucla.edu" class="auth_mail" title="E-mail the corresponding author
;
Angelika Kimmig
a
;
Angelika.Kimmig@cs.kuleuven.be" class="auth_mail" title="E-mail the corresponding author
;
Wannes Meert
a
;
Wannes.Meert@cs.kuleuven.be" class="auth_mail" title="E-mail the corresponding author
;
Luc De Raedt
a
;
Luc.DeRaedt@cs.kuleuven.be" class="auth_mail" title="E-mail the corresponding author
关键词:
Probabilistic
inference
;
Knowledge compilation
;
Probabilistic
logic
programs
;
Dynamic relational models
刊名:International Journal of Approximate Reasoning
出版年:2016
2.
The distribution semantics for normal
programs
with function symbols
作者:
Fabrizio Riguzzi
fabrizio.riguzzi@unife.it" class="auth_mail" title="E-mail the corresponding author
关键词:
Distribution semantics
;
Function symbols
;
ProbLog
;
Probabilistic
logic
programming
刊名:International Journal of Approximate Reasoning
出版年:2016
3.
VPHL: A Verified Partial-Correctness
Logic
for
Probabilistic
Programs
作者:
Robert Rand
rrand@seas.upenn.edu" class="auth_mail" title="E-mail the corresponding author
;
Steve Zdancewic
stevez@cis.upenn.edu" class="auth_mail" title="E-mail the corresponding author
关键词:
Hoare
Logic
;
Formal Verification
;
Coq
;
Probabilistic
Programming
;
Non-termination
刊名:Electronic Notes in Theoretical Computer Science
出版年:2015
4.
The methodology of Dynamic Uncertain Causality Graph for intelligent diagnosis of vertigo
作者:
Chunling Dong
;
Yanjun Wang
;
Qin Zhang
;
Ningyu Wang
关键词:
Vertigo
;
Disease diagnosis
;
Clinical decision-making
;
Dynamic Uncertain Causality Graph
;
Graphical knowledge representation
;
Probabilistic
inference
刊名:Computer Methods and
Programs
in Biomedicine
出版年:January, 2014
5.
Description
logic
programs
under
probabilistic
uncertainty and fuzzy vagueness
作者:
Thomas Lukasiewicz
;
Umberto Straccia
关键词:
Probabilistic
logic
programs
;
Fuzzy description
logic
s
;
Fuzzy
logic
programs
;
Probabilistic
uncertainty
;
Fuzzy vagueness
;
Semantic Web
;
Algorithms
;
Data tractability
刊名:International Journal of Approximate Reasoning
出版年:2009
6.
Probabilistic
description
logic
programs
under inheritance with overriding for the Semantic Web
作者:
Thomas Lukasiewicz
关键词:
Probabilistic
description
logic
programs
;
Probabilistic
logic
programs
;
Description
logic
programs
;
Inheritance with overriding
;
Logic
programs
;
Description
logic
s
;
Default reasoning
;
Conditional knowledge bases
;
System
Z
;
Lexicographic entailment
刊名:International Journal of Approximate Reasoning
出版年:2008
7.
Generating counterexamples for quantitative safety specifications in
probabilistic
B
作者:
Ukachukwu
;
Ndukwu
1
;
;
ukachukwu.ndukwu@mq.edu.au
关键词:
Probabilistic
B
;
Expectations
;
Quantitative safety
;
Failures
;
Counterexamples
刊名:Journal of
Logic
and Algebraic Programming
出版年:2012
8.
Linking operational semantics and algebraic semantics for a
probabilistic
timed shared-variable language
作者:
Huibiao
;
Zhu
a
;
;
hbzhu@sei.ecnu.edu.cn
;
Fan
;
Yang
a
;
Jifeng
;
He
a
;
Jonathan P.
;
Bowen
b
;
Jeff W.
;
Sanders
c
;
Shengchao
;
Qin
d
关键词:
PTSC
;
Operational semantics
;
Algebraic semantics
;
Semantic linking
;
Head normal form
;
Animation
刊名:Journal of
Logic
and Algebraic Programming
出版年:2012
9.
Probabilistic
description
logic
programs
作者:
Thomas Lukasiewicz
关键词:
Normal program
;
Description
logic
;
Probabilistic
uncertainty
;
Independent choice
logic
;
Stratified program
;
Answer set semantics
;
Well-founded semantics
刊名:International Journal of Approximate Reasoning
出版年:2007
10.
Termination of
logic
programs
with imperfect information: applications and query procedure
作者:
C.V. Damá
;
sio
;
J. Medina
;
M. Ojeda-Aciego
关键词:
Logic
programming
;
Probabilistic
reasoning
;
Fuzzy reasoning
;
Termination
;
Tabulation proof procedures
刊名:Journal of Applied
Logic
出版年:2007
1
2
3
4
按检索点细分(32)
题名(5)
关键词(3)
文摘(23)
按出版年细分(32)
2027年及以后(1)
2016年(2)
2015年(1)
2012年(2)
2009年(3)
2008年(2)
2007年(3)
2005年(7)
2004年(1)
2002年(2)
2001年(3)
2000年(1)
2000年及以前(4)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.