reasoning-Old News

New Archive

2018

Oct 2018: Yi Wang has succssfully passed the comprehensive exam and the proposal defense. She is advanced to the Candidacy.
Aug 2018: A paper was accepted to NMR 2018, another to HRL 2018, and yet another to Actions@KR18.
Jul 2018: Members participated in ICLP 2018 and the doctoral consortium in Oxford, UK. Zhun and Yi presented their papers.
Jul 2018: Three papers are accepted to present at KR 2018.
Jun 2018: Anish defended MS thesis titled "Explainable Fact Checking by Combining Automated Rule Discovery with Probabilistic Answer Set Programming".

2017

Jul 2017: Zhun Yang and Anish Pradhan join the group as a Ph.D. student. Welcome!
Jul 2017: Two papers "Representing Hybrid Automata by Action Language Modulo Theories" and "Computing LPMLN Using ASP and MLN Solvers" were accepted to present at ICLP 2018 and will be published in TPLP.
Jul 2017: Samidh successfully defended his MS thesis "Computing a Probabilistic Extension of Answer Set Programming Language using ASP and Markov Logic Solvers."
Apr 2017: Nikhil successfully defended his MS thesis "Representing Hybrid Transition Systems in an Action Language Modulo ODEs."
Apr 2017: Zhun successfully defended his MS thesis "On the Relationships among Probabilistic Extensions of Answer Set Semantics". He received the Outstanding CEN MS student award this year from the school.
Apr 2017: Brandon presented his project "Smart Reasoning Framework for IoT" at the FURI Symposium.
Feb 2017: The papers "LP^{MLN}, Weak Constraints, and P-log" and "A Logic Based Approach to Answering Questions about Alternatives in DIY Domains" were presented at AAAI/IAAI 2017.

2016

Nov 2016: Zhun and Joohyung's paper "LP^{MLN}, Weak Constraints, and P-log" was accepted to present at AAAI 2017.
Nov 2106: Yi and Joohyung's paper "A Logic Based Approach to Answering Questions about Alternatives in DIY Domains", co-authored with Doo Soon Kim at Bosch, was accepted to present at IAAI 2017.
Nov 2016: Joohyung is serving as Workshop Chair of LPNMR 2017, Local Chair of KR 2018, and Senior Program Committee member of IJCAI 2017.
April 2016: Mike Bartholomew passed the Ph.D. defense. Mike received the CS Outstanding Dissertation Award from CIDSE.
Feb 2016: "Weighted Rules under the Stable Model Semantics" was accepted to present at KR 2016 (acceptance rate: 49/182 = 26.9%)
Feb 2016: "Fuzzy Propositional Formulas under the Stable Model Semantics" was accepted for publication in the Special Issue on Logics for Reasoning about Preferences, Uncertainty and Vagueness of the IfCoLog Journal of Logics and their Applications.
Jan 2016: Joohyung will serve as an Area Chair of IJCAI 2016.

2015

Dec 2015: "Stable Models and Circumscription" is one of the most cited articles in AIJ. link
Jun 2015: Yi was accepted to present at the ICLP 2015 doctoral consortium.
Summer 2015: Yi is working in the IBM Watson team as an intern, and Joohyung's sabbatical leave is over.
Jun 2015: Two papers were accepted to present at ICLP 2015, and another paper at LPNMR 2015.
Mar 2015: One paper was presented at Commonsense 2015.
Jan 2015: Two papers were presented at AAAI 2015.
Jun 2015: Two papers were accepted to present at ICLP 2015, and another paper at LPNMR 2015.
Mar 2015: One paper was presented at Commonsense 2015.
Jan 2015: Two papers were presented at AAAI 2015.

2014

Nov 2014: Two papers were accepted to present at AAAI 2015.
Sep 2014: Two papers and a system demo were presented at JELIA 2014.
July 2014: Three papers were presented at KR, ASPOCP, PRUV, which are parts of Vienna Summer of Logic (VSL) 2014, "the largest event in the history of logic."
May 2014: Joseph Babb has defended his MS thesis and joined US Air Force in Oklahoma as an Electronics Engineer.

2013

Dr. Enrico Marchioni from IRIT, France visited, and presented "Representing Uncertainty Through Many-Valued Logics".
Jun 2013: The paper on cplus2asp v2 was accepted to present at LPNMR 13. Congratulation!
Aug 2013: Joohyung will give a keynote address at the Tenth International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'13).
May 8, 2013: Congratulations to our graduating students, Yunsong Meng, Yu Zhang, and Joseph Babb. Yunsong started to work at Samsung Information Systems America (SISA) in San Jose, and Yu will start working at Intel in Chandler. Joe will continue his study as a graduate student in our group.
Apr 3, 2013: Yunsong Meng has successfully defended his dissertation. Congratulation, Dr. Meng!
Apr 2013: Three papers were accepted to appear at IJCAI 2013 (acceptance rate: 28%). Congratulation!
Mar 2013: Yi is admitted to our PhD program. Congratulation!
Mar 2013: Joe will receive the CSE Outstanding Graduating Student Award. Congratulation!
Jan 2013: Yunsong will join Samsung Information Systems America (SISA) at San Jose. Congratulation!
Dec 2012: Joohyung will serve as program committee members of ICLP 2013, LPNMR 2013, RR 2013, and IJCAI 2013.
Nov 2012: Joohyung serves a general co-chair of ICLP 2013.
May 8, 2013: Congratulations to our graduating students, Yunsong Meng, Yu Zhang, and Joseph Babb. Yunsong started to work at Samsung Information Systems America (SISA) in San Jose, and Yu will start working at Intel in Chandler. Joe will continue his study as a graduate student in our group.
May 8, 2013: Congratulations to our graduating students, Yunsong Meng, Yu Zhang, and Joseph Babb. Yunsong started to work at Samsung Information Systems America (SISA) in San Jose, and Yu will start working at Intel in Chandler. Joe will continue his study as a graduate student in our group.
Apr 3, 2013: Yunsong Meng has successfully defended his dissertation. Congratulation, Dr. Meng!
Apr 2013: Three papers were accepted to appear at IJCAI 2013 (acceptance rate: 28%). Congratulation!
Mar 2013: Yi is admitted to our PhD program. Congratulation!
Mar 2013: Joe will receive the CSE Outstanding Graduating Student Award. Congratulation!
Jan 2013: Yunsong will join Samsung Information Systems America (SISA) at San Jose. Congratulation!

2012

Dec 2012: Joohyung will serve as program committee members of ICLP 2013, LPNMR 2013, RR 2013, and IJCAI 2013.
Nov 2012: Joohyung serves a general co-chair of ICLP 2013.
July 2012: Joohyung gave a tutorial at AAAI 2012 on answer set programming together with Esra Erdem and Yuliya Lierler. Joohyung also gave a presentation of the paper "Reformulating Temporal Action Logics in Answer Set Programming at AAAI 2012 in Toronto, Canada.
July 2012: The paper "Stable Models of Formulas with Intensional Functions" were presented at KR 2012 in Rome, Italy. The paper "Stable Models of Formulas with Generalized Quantifiers" was presented at NMR 2012, which was collocated with KR.
July 2012: Mike participated in the KR 2012 doctoral consortium. He received a travel award from KR.
Apr 2012: Ravi received the outstanding PhD student award, given to only one PhD student in CSE.
Apr 2012: The paper "Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming" appeared in the main page of JAIR .
Mar 2012: The paper "Reformulating Temporal Action Logics in Answer Set Programming" was accepted to present at AAAI 2012 (acceptance rate: 26%).
Feb 2012: The paper "Stable Models of Formulas with Intensional Functions" was accepted to present at KR 2012 (acceptance rate: 26%).

2011

Nov 2011: Ravi has successfully defended the thesis titled "Bridging the Gap between Classical Logic Based Formalisms and Logic Programs". Picture He will join Siemens Corporate Research in New Jersey as a full time research scientist. Congratulation!
Nov 2011: Yunsong appears on ASU news! link
October: Joohyung will serve in the program committees of KR 2012 and AAAI 2012.
October: The paper "First-Order Stable Model Semantics and First-Order Loop Formulas" appears in the main page of JAIR
October 15: Taewon will marry in Georgia. Congratulation!
September 18, 2011: Yunsong became a daddy. Derek Meng weighs 6.15 pounds at birth. Congratulations! Pictures
July: Michael Casolary has successfully defended MS thesis titled "Representing the Language of the Causal Calculator in Answer Set Programming". Congratulations and wish him the best!
May - July: We have presented papers at LPNMR 2011, ICLP 2011, IJCAI 2011.
June: Joohyung will teach CSE 571: Topics in Artificial Intelligence, a graduate level course, in the Fall 2011.
May: Sunjin earned an MCS degree, and will start working at Samsung Techwin. We wish him best of luck and success in his new job.
April: Site visit from IARPA.
March: A paper "First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription" was accepted to present at IJCAI 2011. (acceptance rate: 17%)
March: A paper "Representing the Language of the Causal Calculator in Answer Set Programming" was accepted to present at ICLP 2011.
February: A paper "Integrating Rules and Ontologies in the First-Order Stable Model Semantics" was accepted to present at LPNMR 2011
Apr 2013: Three papers were accepted to appear at IJCAI 2013 (acceptance rate: 28%). Congratulation!
January:
- Ravi started 6 month internship at Siemens Corporate Research (SCR) in Princeton NJ.
- Two papers were accepted in Commonsense 2011 (AAAI Spring Symposium). Congratulations!
- A paper "Representing First-Order Causal Theories by Logic Programs" was accepted to appear in TPLP.
- A paper "Stable Models and Circumscription" finally appeared in AIJ.
Joohyung will serve as the ICLP 2011 Workshop Chair and a IJCAI 2011 Senior PC member.
A paper "On Elementary Loops of Logic Programs" was accepted in TPLP.
August: Joohyung will serve as the ICLP 2011 Workshop Chair and a IJCAI 2011 Senior PC member.
August: A paper "On Elementary Loops of Logic Programs" was accepted in TPLP.

2010

Joohyung will teach CSE 591: Knowledge Representation and Reasoning in the Fall. This is a requisite for students who want to work with us.
Papers written by the group members have recently been presented at conferences: KR 2010, NMR 2010 (two papers), AAMAS 2010, AAAI 2010, and COMPSAC 2010.
Mike Bartholomew received a Distinguished Senior Award. The award is given to only one CS undergraduate each year.picture
Mike Bartholomew received Dean's fellowship.