Sciweavers

AAAI
2015
10 years 1 months ago
Heuristic Induction of Rate-Based Process Models
This paper presents a novel approach to inductive process modeling, the task of constructing a quantitative account of dynamical behavior from time-series data and background know...
Pat Langley, Adam Arvay
AAAI
2015
10 years 1 months ago
On Elementary Loops and Proper Loops for Disjunctive Logic Programs
This paper proposes an alternative definition of elementary loops and extends the notion of proper loops for disjunctive logic programs. Different from normal logic programs, the...
Jianmin Ji, Hai Wan, Peng Xiao
AAAI
2015
10 years 1 months ago
Exploiting Determinism to Scale Relational Inference
One key challenge in statistical relational learning (SRL) is scalable inference. Unfortunately, most realworld problems in SRL have expressive models that translate into large gr...
Mohamed Hamza Ibrahim, Christopher J. Pal, Gilles ...
AAAI
2015
10 years 1 months ago
Towards a Programmer's Apprentice (Again)
Programmers are loathe to interrupt their workflow to document their design rationale, leading to frequent errors when software is modified—often much later and by different p...
Howard Elliot Shrobe, Boris Katz, Randall Davis