Journal of Applied Logic
SCOPUS (2003-2017)
1570-8683
Cơ quản chủ quản: N/A
Phân tích ảnh hưởng
Các bài báo tiêu biểu
A general first-order solution to the ramification problem with cycles
Tập 11 - Trang 289-308 - 2013
A history based approximate epistemic action theory for efficient postdictive reasoning
Tập 13 - Trang 720-769 - 2015
Towards refinement of abductive or inductive hypotheses through propagation
Tập 7 - Trang 289-306 - 2009
Learning discrete Bayesian network parameters from continuous data streams: What is the best strategy?
Tập 13 - Trang 628-642 - 2015
Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALC C
Tập 6 - Trang 343-360 - 2008