• Publications
  • Influence
Identifying Meaningful Citations
TLDR
This work introduces the novel task of identifying important citations in scholarly literature, i.e., citations that indicate that the cited work is used or extended in the new effort, and proposes a supervised classification approach that addresses this task with a battery of features.
Construction of the Literature Graph in Semantic Scholar
TLDR
This paper reduces literature graph construction into familiar NLP tasks, point out research challenges due to differences from standard formulations of these tasks, and report empirical results for each task.
Toward Case-Based Preference Elicitation: Similarity Measures on Preference Structures
TLDR
This paper proposes eliciting the preferences of a new user interactively and incrementally, using the closest existing preference structures as potential defaults, and takes the first step of studying various distance measures over fully and partially specified preference structures.
Theoretical Foundations for Abstraction-Based Probabilistic Planning
TLDR
The central notion in the framework proposed here is that of the affine-operator, which serves as a tool for constructing (convex) sets of probability distributions, and which can be considered as a generalization of belief functions and interval mass assignments.
Problem-Focused Incremental Elicitation of Multi-Attribute Utility Models
TLDR
This paper identifies patterns of problem instances where plans can be proved to be suboptimal if the (unknown) utility function satisfies certain conditions and presents an approach to planning and decision making that performs the utility elicitation incrementally and in a way that is informed by the domain model.
A Hybrid Approach to Reasoning with Partially Elicited Preference Models
TLDR
This work shows how comparative statements about classes of decision alternatives can be used to further constrain the utility function and thus identify supoptimal alternatives, and demonstrates that quantitative and qualitative approaches can be synergistically integrated to provide effective and flexible decision support.
Feature-based decomposition of inductive proofs applied to real-time avionics software: an experience report
TLDR
A feature-based technique for modeling state-transition systems and formulating inductive invariants is presented, facilitating an incremental approach to theorem proving that scales well to models of increasing complexity, and has the potential to be applicable to a wide range of problems.
Modeling user preferences via theory refinement
TLDR
It is shown how to encode assumptions concerning preferential independence and monotonicity in a Knowledge-Based Artificial Neural Network and the degree to which user preferences violate a set of assumptions is quantified.
Geometric foundations for interval-based probabilities
TLDR
An analysis of some of the central issues in representing and reasoning with interval probabilities, including the probability cross-product operator and its interval generalization, the cc-operator is provided.
...
1
2
3
...