• Publications
  • Influence
Preference Logic Programming
TLDR
We formalize the semantics of PLP using concepts from modal logic: each world in the possible-worlds semantics for a preference logic program is a model of the program, and an ordering over these worlds is enforced by the arbiter clauses. Expand
  • 59
  • 10
  • PDF
Methodology and architecture of JIVE
TLDR
A novel approach to the runtime visualization and analysis of object-oriented programs is presented and illustrated through a prototype system called JIVE: Java Interactive Visualization Environment. Expand
  • 74
  • 6
  • PDF
Analysis of Or-parallel execution models
TLDR
We discuss fundamental limitations of or-parallel execution models of nondeterministic programming languages and show how our result can serve as a useful way to categorize the various or-Parallel methods proposed in this field. Expand
  • 46
  • 5
A comparison of B2B e-service solutions
TLDR
The Internet is evolving not only to provide information and e-commerce transactions, but also to act as the platform through which services are delivered to businesses and customers. Expand
  • 46
  • 4
  • PDF
Programming with Equations, Subsets, and Relations
TLDR
We discuss the declarative and computational issues in combining equa-tional, subset, and relational assertions in a logic programming language. Expand
  • 42
  • 3
JIVE: java interactive visualization environment
TLDR
Jive represents a novel approach to runtime visualization and analysis of Java programs. Expand
  • 35
  • 3
Scoping Constructs in Logic Programming: Implementation Problems and their Solutions
TLDR
The inclusion of universal quantification and a form of implication in goals in logic programming is considered. Expand
  • 32
  • 3
  • PDF
Declarative and visual debugging in Eclipse
TLDR
We present a declarative and visual debugging environment for Eclipse called JIVE consisting of a flexible set of queries over a program's execution history as well as over individual runtime states. Expand
  • 41
  • 3
  • PDF
Interactive visualization of Java programs
TLDR
This paper describes a novel approach to visualizing the execution state of object-oriented programs in general and Java in particular. Expand
  • 34
  • 3
  • PDF
Preference queries in deductive databases
TLDR
Traditional database query languages such as datalog and SQL allow the user to specify only mandatory requirements on the data to be retrieved from a database. Expand
  • 26
  • 2