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.
- On 19. juni 2021
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
GOOD NEWS FOR COMPUTER ENGINEERS INTRODUCING 5 MINUTES ENGINEERING 🎓🎓🎓🎓🎓🎓🎓🎓 SUBJECT :- Discrete Mathematics (DM) Theory Of ...
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 ...