Jason Jingshi Li

According to our database, Jason Jingshi Li authored at least 15 papers between 2008 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Implementing Modal Tableaux Using Sentential Decision Diagrams.

Rajeev Goré, Jason Jingshi Li, Thomas Pagram

Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

2014

Incentive Mechanisms for Community Sensing.

Boi Faltings, Jason Jingshi Li, Radu Jurca

IEEE Trans. Computers, 2014

A Region-Based Model for Estimating Urban Air Pollution.

Arnaud Jutzeler, Jason Jingshi Li, Boi Faltings

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Decomposition and tractability in qualitative spatial and temporal reasoning.

Jinbo Huang, Jason Jingshi Li, Jochen Renz

Artif. Intell., 2013

On Finding Approximate Solutions of Qualitative Constraint Networks.

Jason Jingshi Li, Sanjiang Li

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

Eliciting truthful measurements from a community of sensors.

Boi Faltings, Jason Jingshi Li, Radu Jurca

Proceedings of the 3rd IEEE International Conference on the Internet of Things, 2012

Qualitative Spatial and Temporal Reasoning with Answer Set Programming.

Jason Jingshi Li

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Sensing the Air We Breathe - The OpenSense Zurich Dataset.

Jason Jingshi Li, Boi Faltings, Olga Saukh, David Hasenfratz, Jan Beutel

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2010

Restarts and Nogood Recording in Qualitative Constraint-based Reasoning.

Matthias Westphal, Stefan Wölfl, Jason Jingshi Li

Proceedings of the ECAI 2010, 2010

In Defense of Large Qualitative Calculi.

Jason Jingshi Li, Jochen Renz

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Evaluating Cases in Legal Disputes as Rival Theories.

Pontus Stenetorp, Jason Jingshi Li

Proceedings of the New Frontiers in Artificial Intelligence, 2009

A Divide-and-Conquer Approach for Solving Interval Algebra Networks.

Jason Jingshi Li, Jinbo Huang, Jochen Renz

Proceedings of the IJCAI 2009, 2009

The Coherence of Theories - Dependencies and Weights.

Jason Jingshi Li, Rex Bing Hung Kwok, Norman Y. Foo

Proceedings of the Towards Mathematical Philosophy, 2009

2008

Automated Complexity Proofs for Qualitative Spatial and Temporal Calculi.

Jochen Renz, Jason Jingshi Li

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Combining binary constraint networks in qualitative reasoning.

Jason Jingshi Li, Tomasz Kowalski, Jochen Renz, Sanjiang Li

Proceedings of the ECAI 2008, 2008