Open AccessLanguage Splitting and Relevance-Based Belief Change in Horn Logic
Author(s) -
Maonian Wu,
Dongmo Zhang,
Mingyi Zhang
Publication year - 2011
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v25i1.7853
Subject(s) - relevance (law) , contraction (grammar) , french horn , horn clause , operator (biology) , mathematics , construct (python library) , representation theorem , extensional definition , propositional calculus , algebra over a field , pure mathematics , computer science , discrete mathematics , algorithm , artificial intelligence , linguistics , logic programming , programming language , psychology , philosophy , pedagogy , repressor , law , chemistry , tectonics , biology , paleontology , biochemistry , political science , transcription factor , gene