kr2016.cs.uct.ac.za

informatik.uni-leipzig.de

Hannes Strass

http://www.informatik.uni-leipzig.de/~strass

Leipzig University, Germany. E-Mail: strass at informatik dot uni-leipzig dot de. Phone: 49 (0) 341 973 22 86. Fax: 49 (0) 341 973 22 99. Office: Room P812, Paulinum. I am a postdoctoral researcher in the group of Prof. Gerhard Brewka. I obtained my B.Sc. in Computer Science and M.Sc. in Computational Logic. Both from the TU Dresden. In 2006 and 2008, respectively. In 2012, I received my PhD (Dr. rer. nat.) from Leipzig University. My PhD thesis “ Default Reasoning about Actions. PC member of AAAI 2017.

kr.org

KR Inc

http://www.kr.org/index.php?page=pastconfs

Principles of Knowledge Representation and Reasoning. KR is the premier International Conference on Knowledge Representation and Reasoning. The KR Conferences Series began in 1989:. 2014, Vienna, Austria. 2012, Rome, Italy. 2010, Toronto, Canada. 2008, Sydney, Australia. 2006, Lake District of the UK. 2004, Whistler, Canada. 2002, Toulouse, France. 2000, Breckenridge, Colorado, USA. 1998, Trento, Italy. 1996, Cambridge, Massachusetts, USA. 1994, Bonn, Germany. 1992, Cambridge, Massachusetts, USA.

kr.org

KR Inc

http://www.kr.org/index.php?page=welcome

Principles of Knowledge Representation and Reasoning. Principles of Knowledge Representation and Reasoning, Incorporated (KR, Inc.) is a not for profit Scientific Foundation incorporated in the state of Massachusetts of the United States of America, concerned with fostering research and communication on knowledge representation and reasoning. KR2014 was a tremendous success. Many thanks to the organisers and all those who attended and supported it. KR Inc. is busy organizing KR2016.

logicsforqr.uw.edu.pl

Logics for Qualitative Reasoning

http://www.logicsforqr.uw.edu.pl/events.html

Logics for Qualitative Reasoning. 1st Workshop on Logics for Qualitative Modelling and Reasoning (LQMR'15). Workshop Applications of Logics in Artificial Intelligence ALAI 2013. The team consisting of three members of the Logics for Qualitative Reasoning. Project ( Tomasz Lechowski. Participated in ECAI 2014 Angry Birds AI Competition. Is situated on the top of object B. Then the agent reasons (via vertical impact reasoning) that the destruction of object B. Will lead to the fall of object A. 1st Joint A...

mthimm.de

Matthias Thimm - Activities

http://www.mthimm.de/activities.html

The Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16). The First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA'16). The First International Competition on Computational Models of Argumentation (ICCMA'15). The 28th International FLAIRS Conference - Uncertain Reasoning Track (FLAIRS'15). The 27th International FLAIRS Conference - Uncertain Reasoning Track (FLAIRS'14). The 43rd Annual German Conference on Informatics (Informatik'13).

mthimm.de

Matthias Thimm - Events

http://www.mthimm.de/events.html

The 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16). Cape Town, South Africa, April 25-29, 2016. Dagstuhl Seminar Present and Future of Formal Argumentation. Dagstuhl, Germany, August 30-September 4, 2015. The 24th International Joint Conference on Artificial Intelligence. IJCAI'15), Buenos Aires, Argentina, July 25-31, 2015. The 28th International FLAIRS Conference. Hollywood, USA, May 18-20, 2015. Darmstadt, Germany, March 25, 2015. Vienna, Austria, July 20...

people.na.infn.it

Murano Aniello - Home Page

http://people.na.infn.it/~murano

Aniello Murano (alias Nello) is an Associate Professor in Computer Science at the Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione. Of the Universit&agrave degli Studi di Napoli Federico II. His research interests include:. Short Resume in English. Promoter of the Spin-off. Leader of the Automated STrategic REAsoning (ASTREA) Laboratory. Royal Society International Exchanges Award (co-applicant with Prof. Alessio Lomuscio). Horizon 2020: LoGIcInMAS (Primary Coordinator). Apr 30, 2013 -...

getoor.soe.ucsc.edu

Home | Lise Getoor

https://getoor.soe.ucsc.edu/home

Skip to main content. Professor, Computer Science, University of California Santa Cruz. Lise Getoor, Ph.D. Professor of Computer Science. University of California Santa Cruz. Engineering 2, Room 341B, MS: SOE3. Santa Cruz, CA 95064. My general research interests are in machine learning, reasoning under uncertainty, databases and artificial intelligence. Other topics of interest to me include: data integration, database query optimization and approximate query processing, entity resolution, informatio...