Jason Jingshi Li

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 1

Top Topics

Answer Set Programming

Qualitative Spatial And Temporal Reasoning

Top Venues

Publications

Rajeev Goré, Jason Jingshi Li, Thomas Pagram
Implementing Modal Tableaux Using Sentential Decision Diagrams. Australasian Conference on Artificial Intelligence (2015)
Boi Faltings, Jason Jingshi Li, Radu Jurca
Incentive Mechanisms for Community Sensing. IEEE Trans. Computers 63 (1) (2014)
Arnaud Jutzeler, Jason Jingshi Li, Boi Faltings
A Region-Based Model for Estimating Urban Air Pollution. AAAI (2014)
Jinbo Huang, Jason Jingshi Li, Jochen Renz
Decomposition and tractability in qualitative spatial and temporal reasoning. Artif. Intell. 195 (2013)
Jason Jingshi Li, Sanjiang Li
On Finding Approximate Solutions of Qualitative Constraint Networks. ICTAI (2013)
Jason Jingshi Li
Qualitative Spatial and Temporal Reasoning with Answer Set Programming. ICTAI (2012)
Boi Faltings, Jason Jingshi Li, Radu Jurca
Eliciting truthful measurements from a community of sensors. IOT (2012)
Jason Jingshi Li, Boi Faltings, Olga Saukh, David Hasenfratz, Jan Beutel
Sensing the Air We Breathe - The OpenSense Zurich Dataset. AAAI (2012)
Matthias Westphal, Stefan Wölfl, Jason Jingshi Li
Restarts and Nogood Recording in Qualitative Constraint-based Reasoning. ECAI (2010)
Jason Jingshi Li, Jochen Renz
In Defense of Large Qualitative Calculi. AAAI (2010)
Pontus Stenetorp, Jason Jingshi Li
Evaluating Cases in Legal Disputes as Rival Theories. JSAI-isAI Workshops (2009)
Jason Jingshi Li, Jinbo Huang, Jochen Renz
A Divide-and-Conquer Approach for Solving Interval Algebra Networks. IJCAI (2009)
Jochen Renz, Jason Jingshi Li
Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi. KR (2008)
Jason Jingshi Li, Tomasz Kowalski, Jochen Renz, Sanjiang Li
Combining binary constraint networks in qualitative reasoning. ECAI (2008)