Jason Jingshi Li

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