Arrow Research search

Author name cluster

Peter Lee

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

6 papers
1 author row

Possible papers

6

AAAI Conference 2016 Conference Paper

An Online Logic Programming Development Environment

  • Christian Reotutar
  • Mbathio Diagne
  • Evgenii Balai
  • Edward Wertz
  • Peter Lee
  • Shao-Lon Yeh
  • Yuanlin Zhang

Recent progress in logic programming, particularly answer set programming, has enabled us to teach it to undergraduate and high school students. We developed an online answer set programming environment with simple interface and self contained file system. It is expected to make the teaching of answer set programming more effective and help us to reach more students.

PDF Details

TAAS Journal 2011 Journal Article

Detecting Locally Distributed Predicates

  • Michael De Rosa
  • Seth Copen Goldstein
  • Peter Lee
  • Jason Campbell
  • Padmanabhan S. Pillai

In this article, we formalize locally distributed predicates, a concept previously introduced to address specific challenges associated with modular robotics and distributed debugging. A locally distributed predicate (LDP) is a novel construction for representing and detecting distributed properties in sparse-topology systems. Our previous work on LDPs presented empirical validation; here we show a formal model for two variants of the LDP algorithm, LDP-Basic and LDP-Snapshot, and establish performance bounds for these variants. We prove that LDP-Basic can detect strong stable predicates, that LDP-Snapshot can detect all stable predicates, and discuss their applicability to various distributed programming domains and to spatial computing in general. LDP detection in bounded-degree networks is shown to be scale-free, making the approach particularly attractive for specific topologies, even though LDPs are less efficient than snapshot algorithms in general distributed systems.

Details DOI