AI News, Modeling and Reasoning in Context artificial intelligence

Makinson, On the logic of theory change, Journal of Symbolic Logic, vol.50, issue.2, pp.510-530, 1985.

Hutter, Constructive DL update and reasoning for modeling and executing the orchestration of heterogeneous processes, Description Logics, pp.501-512, 2013.

Molitor, Computing least common subsumers in description logics with existential restrictions, International Joint Conference on Artificial Intelligence (IJCAI'99), pp.96-101, 1999.

Williams, Weakening conflicting information for iterated revision and knowledge integration, Artificial Intelligence, vol.153, issue.1, pp.339-371, 2004.

Bloch, Concept dissimilarity on tree edit distance and morphological dilatations, European Conference on Artificial Intelligence (ECAI), pp.249-254, 2014.

Burstall, A study in the foundations of programming methodology: Specifications, institutions, charters and parchments, Category Theory and Computer Programming, vol.240, pp.313-333, 1985.

Burstall, Institutions: Abstract model theory for specification and programming, Journal of the ACM, vol.39, issue.1, pp.95-146, 1992.

Hansson, Knowledge-level analysis of belief base operations, Artificial Intelligence, vol.82, issue.1, pp.215-235, 1996.

Mendelzon, Propositional knowledge base revision and minimal change, Artificial Intelligence, vol.52, pp.263-294, 1991.

Du, Model-based revision operators for terminologies in description logics, pp.891-897, 2009.

Bell, A revision-based approach to handling inconsistency in description logics, Artificial Intelligence Review, vol.26, issue.1-2, pp.115-128, 2006.

Bell, Knowledge base revision in description logics, European Conference on Logics in Artificial Intelligence (JELIA), vol.4160, pp.386-398, 2006.

Yang, A survey of revision approaches in description logics, Web Reasoning and Rule Systems (RR), Second International Conference, vol.5341, pp.74-88, 2008.

Wassermann, Base revision for ontology debugging, Journal of Logic and Computation, vol.19, issue.5, pp.721-743, 2009.

Cornet, Non-standard reasoning services for the debugging of description logic terminologies, International Joint Conference on Artificial Intelligence (IJCAI'03), vol.3, pp.355-362, 2003.

A survey of context modelling and reasoning techniques

In this paper we discuss the requirements that context modelling and reasoning techniques should meet, including the modelling of a variety of context information types and their relationships, of high-level context abstractions describing real world situations using context information facts, of histories of context information, and of uncertainty of context information.

Modeling Context in Eventful Human-Machine Communications

Building AI systems that can process user input, understand it, and generate an engaging and contextually-relevant output in response, has been one of the ...

Keynote Talk: Model Based Machine Learning

The Academic Research Summit, co-organized by Microsoft Research and the Association for Computing Machinery, is a forum to foster meaningful discussion ...

Bayes Theorem Explained with Solved Example in Hindi ll Machine Learning Course


4 Scenario-oriented Context Reasoning and Incremental Learning incorporating Pattern and Knowledge

and incremental learning - Korean version.

John Schulman: OpenAI and recent advances in Artificial Intelligence - #16

John Schulman is a research scientist at OpenAI. He co-leads the Reinforcement Learning group and works on agent learning in virtual game worlds (e.g., Dota) ...

RI Seminar: David Pynadath : Modeling Social Reasoning via Recursive, Decision-Theoretic Planning

Advances in artificial intelligence have led to subsequent advances in computational models of human decision-making and behavior. These new computational ...

Natural Language Processing in Artificial Intelligence in Hindi | NLP Easy Explanation

Hello Friends Welcome to Well Academy In this video i am Explaining Natural Language Processing in Artificial Intelligence in Hindi and Natural Language ...

How to Empower Education with Artificial Intelligence | Luca Longo | TEDxDublinInstituteofTechnology

Dr Luca Longo speaks about how artificial intelligence can transform education. Dr. Luca Longo is an assistant professor at the Dublin Institute of Technology.

People-centric AI for the built environment: Burcin Becerik-Gerber, USC

Speaker: Burcin Becerik-Gerber (University of Southern California, US) With the recent advancements in data science and artificial intelligence, we will soon ...

A DARPA Perspective on Artificial Intelligence

What's the ground truth on artificial intelligence (AI)? In this video, John Launchbury, the Director of DARPA's Information Innovation Office (I2O), attempts to ...