@inproceedings{DBLP:conf/dlog/BritzCMV13,

title = {Preferential Role Restrictions},

author = {Arina Britz and Giovanni Casini and Thomas Meyer and Ivan Varzinczak},

editor = {Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch},

url = {https://ceur-ws.org/Vol-1014/paper_47.pdf},

year  = {2013},

date = {2013-01-01},

booktitle = {Informal Proceedings of the 26th International Workshop on Description 

 Logics, Ulm, Germany, July 23 - 26, 2013},

pages = {93–106},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/dlog/CasiniMMV13,

title = {Towards Practical Defeasible Reasoning for Description Logics},

author = {Giovanni Casini and Thomas Meyer and Kodylan Moodley and Ivan Varzinczak},

editor = {Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch},

url = {https://ceur-ws.org/Vol-1014/paper_17.pdf},

year  = {2013},

date = {2013-01-01},

booktitle = {Informal Proceedings of the 26th International Workshop on Description 

 Logics, Ulm, Germany, July 23 - 26, 2013},

pages = {587–599},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/dlog/CasiniMVM13,

title = {Nonmonotonic Reasoning in Description Logics: Rational Closure for 

 the ABox},

author = {Giovanni Casini and Thomas Meyer and Ivan Varzinczak and Kodylan Moodley},

editor = {Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch},

url = {https://ceur-ws.org/Vol-1014/paper_57.pdf},

year  = {2013},

date = {2013-01-01},

booktitle = {Informal Proceedings of the 26th International Workshop on Description 

 Logics, Ulm, Germany, July 23 - 26, 2013},

pages = {600–615},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/dlog/NortjeBM13,

title = {Module-theoretic Properties of Reachability Modules for SRIQ},

author = {Riku Nortje and Arina Britz and Thomas Meyer},

editor = {Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch},

url = {https://ceur-ws.org/Vol-1014/paper_14.pdf},

year  = {2013},

date = {2013-01-01},

booktitle = {Informal Proceedings of the 26th International Workshop on Description 

 Logics, Ulm, Germany, July 23 - 26, 2013},

pages = {868–884},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/fhies/MoodleySPM13,

title = {An Ontology for Regulating eHealth Interoperability in Developing 

 African Countries},

author = {Deshendran Moodley and Christopher J. Seebregts and Anban W. Pillay and Thomas Meyer},

editor = {Jeremy Gibbons and Wendy MacCaull},

url = {https://doi.org/10.1007/978-3-642-53956-5_8},

doi = {10.1007/978-3-642-53956-5_8},

year  = {2013},

date = {2013-01-01},

booktitle = {Foundations of Health Information Engineering and Systems - Third 

 International Symposium, FHIES 2013, Macau, China, August 21-23, 

 2013. Revised Selected Papers},

pages = {107–124},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/lpar/KlarmanM13,

title = {Prediction and Explanation over DL-Lite Data Streams},

author = {Szymon Klarman and Thomas Meyer},

editor = {Kenneth L. McMillan and Aart Middeldorp and Andrei Voronkov},

url = {https://doi.org/10.1007/978-3-642-45221-5_36},

doi = {10.1007/978-3-642-45221-5_36},

year  = {2013},

date = {2013-01-01},

booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th 

 International Conference, LPAR-19, Stellenbosch, South Africa, December 

 14-19, 2013. Proceedings},

pages = {536–551},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/lpar/NortjeBM13,

title = {Reachability Modules for the Description Logic textdollartextbackslashmathcalSRIQtextdollar},

author = {Riku Nortje and Katarina Britz and Thomas Meyer},

editor = {Kenneth L. McMillan and Aart Middeldorp and Andrei Voronkov},

url = {https://doi.org/10.1007/978-3-642-45221-5_42},

doi = {10.1007/978-3-642-45221-5_42},

year  = {2013},

date = {2013-01-01},

booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th 

 International Conference, LPAR-19, Stellenbosch, South Africa, December 

 14-19, 2013. Proceedings},

pages = {636–652},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ausai/BritzMV12,

title = {Normal Modal Preferential Consequence},

author = {Katarina Britz and Thomas Meyer and Ivan Varzinczak},

editor = {Michael Thielscher and Dongmo Zhang},

url = {https://doi.org/10.1007/978-3-642-35101-3_43},

doi = {10.1007/978-3-642-35101-3_43},

year  = {2012},

date = {2012-01-01},

booktitle = {AI 2012: Advances in Artificial Intelligence - 25th Australasian 

 Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings},

pages = {505–516},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/dlog/MoodleyMV12,

title = {A Protege Plug-in for Defeasible Reasoning},

author = {Kodylan Moodley and Thomas Meyer and Ivan Varzinczak},

editor = {Yevgeny Kazakov and Domenico Lembo and Frank Wolter},

url = {https://ceur-ws.org/Vol-846/paper_46.pdf},

year  = {2012},

date = {2012-01-01},

booktitle = {Proceedings of the 2012 International Workshop on Description Logics, 

 DL-2012, Rome, Italy, June 7-10, 2012},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/jelia/BoothMV12,

title = {PTL: A Propositional Typicality Logic},

author = {Richard Booth and Thomas Meyer and Ivan Varzinczak},

editor = {Luis Fariñas Cerro and Andreas Herzig and Jérôme Mengin},

url = {https://doi.org/10.1007/978-3-642-33353-8_9},

doi = {10.1007/978-3-642-33353-8_9},

year  = {2012},

date = {2012-01-01},

booktitle = {Logics in Artificial Intelligence - 13th European Conference, JELIA 

 2012, Toulouse, France, September 26-28, 2012. Proceedings},

pages = {107–119},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/saicsit/CasiniGM12,

title = {A note on the translation of conceptual data models into description 

 logics: disjointness and covering assumptions},

author = {Giovanni Casini and Aurona Gerber and Thomas Meyer},

editor = {Jan H. Kroeze and Ruth Villiers},

url = {https://doi.org/10.1145/2389836.2389839},

doi = {10.1145/2389836.2389839},

year  = {2012},

date = {2012-01-01},

booktitle = {2012 South African Institute of Computer Scientists and Information 

 Technologists Conference, SAICSIT '12, Pretoria, South Africa, October 

 1-3, 2012},

pages = {10–20},

publisher = {ACM},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/saicsit/MoodleyMV12,

title = {A defeasible reasoning approach for description logic ontologies},

author = {Kodylan Moodley and Thomas Meyer and Ivan José Varzinczak},

editor = {Jan H. Kroeze and Ruth Villiers},

url = {https://doi.org/10.1145/2389836.2389845},

doi = {10.1145/2389836.2389845},

year  = {2012},

date = {2012-01-01},

booktitle = {2012 South African Institute of Computer Scientists and Information 

 Technologists Conference, SAICSIT '12, Pretoria, South Africa, October 

 1-3, 2012},

pages = {69–78},

publisher = {ACM},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/stairs/RensLM12,

title = {A Logic for Specifying Agent Actions and Observations with Probability},

author = {Gavin Rens and Gerhard Lakemeyer and Thomas Meyer},

editor = {Kristian Kersting and Marc Toussaint},

url = {https://doi.org/10.3233/978-1-61499-096-3-252},

doi = {10.3233/978-1-61499-096-3-252},

year  = {2012},

date = {2012-01-01},

booktitle = {STAIRS 2012 - Proceedings of the Sixth Starting AI Researchers' 

 Symposium, Montpellier, France, 27-28 August 2012},

pages = {252–263},

publisher = {IOS Press},

series = {Frontiers in Artificial Intelligence and Applications},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/africon/MeyerV11,

title = {A logic-based perspective on agent reconfiguration: Preliminary report},

author = {Thomas Meyer and Ivan Varzinczak},

url = {https://doi.org/10.1109/AFRCON.2011.6072131},

doi = {10.1109/AFRCON.2011.6072131},

year  = {2011},

date = {2011-01-01},

booktitle = {AFRICON 2011, Victoria Falls, Livingstone, Zambia, September 13-15, 

 2011},

pages = {1–6},

publisher = {IEEE},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ausai/BritzMV11,

title = {Semantic Foundation for Preferential Description Logics},

author = {Katarina Britz and Thomas Meyer and Ivan Varzinczak},

editor = {Dianhui Wang and Mark Reynolds},

url = {https://doi.org/10.1007/978-3-642-25832-9_50},

doi = {10.1007/978-3-642-25832-9_50},

year  = {2011},

date = {2011-01-01},

booktitle = {AI 2011: Advances in Artificial Intelligence - 24th Australasian 

 Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings},

pages = {491–500},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/dlog/BritzMV11,

title = {Concept Model Semantics for DL Preferential Reasoning},

author = {Arina Britz and Thomas Meyer and Ivan Varzinczak},

editor = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev},

url = {https://ceur-ws.org/Vol-745/paper_16.pdf},

year  = {2011},

date = {2011-01-01},

booktitle = {Proceedings of the 24th International Workshop on Description Logics 

 (DL 2011), Barcelona, Spain, July 13-16, 2011},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/dlog/NortjeBM11,

title = {Bidirectional Reachability-Based Modules},

author = {Riku Nortje and Arina Britz and Thomas Andreas Meyer},

editor = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev},

url = {https://ceur-ws.org/Vol-745/paper_25.pdf},

year  = {2011},

date = {2011-01-01},

booktitle = {Proceedings of the 24th International Workshop on Description Logics 

 (DL 2011), Barcelona, Spain, July 13-16, 2011},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/rr/MoodleyMV11,

title = {Root Justifications for Ontology Repair},

author = {Kodylan Moodley and Thomas Meyer and Ivan José Varzinczak},

editor = {Sebastian Rudolph and Claudio Gutierrez},

url = {https://doi.org/10.1007/978-3-642-23580-1_24},

doi = {10.1007/978-3-642-23580-1_24},

year  = {2011},

date = {2011-01-01},

booktitle = {Web Reasoning and Rule Systems - 5th International Conference, RR 

 2011, Galway, Ireland, August 29-30, 2011. Proceedings},

pages = {275–280},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:journals/entcs/BritzMV11,

title = {Preferential Reasoning for Modal Logics},

author = {Katarina Britz and Thomas Meyer and Ivan Varzinczak},

editor = {Hans Ditmarsch and David Fernández-Duque and Valentin Goranko and Wojciech Jamroga and Manuel Ojeda-Aciego},

url = {https://doi.org/10.1016/j.entcs.2011.10.006},

doi = {10.1016/J.ENTCS.2011.10.006},

year  = {2011},

date = {2011-01-01},

booktitle = {Proceedings of the 7th Workshop on Methods for Modalities, M4M 2011, 

 and the 4th Workshop on Logical Aspects of Multi-Agent Systems, LAMAS 

 2011, Osuna, Spain, November 10-12, 2011},

pages = {55–69},

publisher = {Elsevier},

series = {Electronic Notes in Theoretical Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ausai/RensVMF10,

title = {A Logic for Reasoning about Actions and Explicit Observations},

author = {Gavin Rens and Ivan Varzinczak and Thomas Meyer and Alexander Ferrein},

editor = {Jiuyong Li},

url = {https://doi.org/10.1007/978-3-642-17432-2_40},

doi = {10.1007/978-3-642-17432-2_40},

year  = {2010},

date = {2010-01-01},

booktitle = {AI 2010: Advances in Artificial Intelligence - 23rd Australasian 

 Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings},

pages = {395–404},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ecai/BoothMVW10,

title = {Horn Belief Change: A Contraction Core},

author = {Richard Booth and Thomas Andreas Meyer and Ivan Varzinczak and Renata Wassermann},

editor = {Helder Coelho and Rudi Studer and Michael J. Wooldridge},

url = {https://doi.org/10.3233/978-1-60750-606-5-1065},

doi = {10.3233/978-1-60750-606-5-1065},

year  = {2010},

date = {2010-01-01},

booktitle = {ECAI 2010 - 19th European Conference on Artificial Intelligence, 

 Lisbon, Portugal, August 16-20, 2010, Proceedings},

pages = {1065–1066},

publisher = {IOS Press},

series = {Frontiers in Artificial Intelligence and Applications},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ausai/BritzHM09,

title = {Modelling Object Typicality in Description Logics},

author = {Katarina Britz and Johannes Heidema and Thomas Andreas Meyer},

editor = {Ann E. Nicholson and Xiaodong Li},

url = {https://doi.org/10.1007/978-3-642-10439-8_51},

doi = {10.1007/978-3-642-10439-8_51},

year  = {2009},

date = {2009-01-01},

booktitle = {AI 2009: Advances in Artificial Intelligence, 22nd Australasian 

 Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings},

pages = {506–516},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/dlog/BritzHM09,

title = {Modelling Object Typicality in Description Logics},

author = {Katarina Britz and Johannes Heidema and Tommie Meyer},

editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler},

url = {https://ceur-ws.org/Vol-477/paper_23.pdf},

year  = {2009},

date = {2009-01-01},

booktitle = {Proceedings of the 22nd International Workshop on Description Logics 

 (DL 2009), Oxford, UK, July 27-30, 2009},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ijcai/BoothMV09,

title = {Next Steps in Propositional Horn Contraction},

author = {Richard Booth and Thomas Andreas Meyer and Ivan José Varzinczak},

editor = {Craig Boutilier},

url = {http://ijcai.org/Proceedings/09/Papers/122.pdf},

year  = {2009},

date = {2009-01-01},

booktitle = {IJCAI 2009, Proceedings of the 21st International Joint Conference 

 on Artificial Intelligence, Pasadena, California, USA, July 11-17, 

 2009},

pages = {702–707},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/lori/BoothMS09,

title = {A General Family of Preferential Belief Removal Operators},

author = {Richard Booth and Thomas Andreas Meyer and Chattrakul Sombattheera},

editor = {Xiangdong He and John F. Horty and Eric Pacuit},

url = {https://doi.org/10.1007/978-3-642-04893-7_4},

doi = {10.1007/978-3-642-04893-7_4},

year  = {2009},

date = {2009-01-01},

booktitle = {Logic, Rationality, and Interaction, Second International Workshop, 

 LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings},

pages = {42–54},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/kr/BoothM08,

title = {Equilibria in Social Belief Removal},

author = {Richard Booth and Thomas Andreas Meyer},

editor = {Gerhard Brewka and Jérôme Lang},

url = {https://aaai.org/papers/KR08-015-equilibria-in-social-belief-removal/},

year  = {2008},

date = {2008-01-01},

booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings 

 of the Eleventh International Conference, KR 2008, Sydney, Australia, 

 September 16-19, 2008},

pages = {145–155},

publisher = {AAAI Press},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/kr/BritzHM08,

title = {Semantic Preferential Subsumption},

author = {Katarina Britz and Johannes Heidema and Thomas Andreas Meyer},

editor = {Gerhard Brewka and Jérôme Lang},

url = {https://aaai.org/papers/KR08-046-semantic-preferential-subsumption/},

year  = {2008},

date = {2008-01-01},

booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings 

 of the Eleventh International Conference, KR 2008, Sydney, Australia, 

 September 16-19, 2008},

pages = {476–484},

publisher = {AAAI Press},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ausai/LeenenAMG07,

title = {Modeling and Solving Semiring Constraint Satisfaction Problems by 

 Transformation to Weighted Semiring Max-SAT},

author = {Louise Leenen and Anbulagan and Thomas Meyer and Aditya K. Ghose},

editor = {Mehmet A. Orgun and John Thornton},

url = {https://doi.org/10.1007/978-3-540-76928-6_22},

doi = {10.1007/978-3-540-76928-6_22},

year  = {2007},

date = {2007-01-01},

booktitle = {AI 2007: Advances in Artificial Intelligence, 20th Australian Joint 

 Conference on Artificial Intelligence, Gold Coast, Australia, December 

 2-6, 2007, Proceedings},

pages = {202–212},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ausai/ZhuangPM07,

title = {Implementing Iterated Belief Change Via Prime Implicates},

author = {Zhi Qiang Zhuang and Maurice Pagnucco and Thomas Meyer},

editor = {Mehmet A. Orgun and John Thornton},

url = {https://doi.org/10.1007/978-3-540-76928-6_52},

doi = {10.1007/978-3-540-76928-6_52},

year  = {2007},

date = {2007-01-01},

booktitle = {AI 2007: Advances in Artificial Intelligence, 20th Australian Joint 

 Conference on Artificial Intelligence, Gold Coast, Australia, December 

 2-6, 2007, Proceedings},

pages = {507–518},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ecsqaru/BoothM07,

title = {On the Dynamics of Total Preorders: Revising Abstract Interval Orders},

author = {Richard Booth and Thomas Andreas Meyer},

editor = {Khaled Mellouli},

url = {https://doi.org/10.1007/978-3-540-75256-1_7},

doi = {10.1007/978-3-540-75256-1_7},

year  = {2007},

date = {2007-01-01},

booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 

 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 

 31 - November 2, 2007, Proceedings},

pages = {42–53},

publisher = {Springer},

series = {Lecture Notes in Computer Science},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/owled/CreganSM07,

title = {Sydney OWL Syntax - towards a Controlled Natural Language Syntax 

 for OWL 1.1},

author = {Anne Cregan and Rolf Schwitter and Thomas Meyer},

editor = {Christine Golbreich and Aditya Kalyanpur and Bijan Parsia},

url = {https://ceur-ws.org/Vol-258/paper36.pdf},

year  = {2007},

date = {2007-01-01},

booktitle = {Proceedings of the OWLED 2007 Workshop on OWL: Experiences and 

 Directions, Innsbruck, Austria, June 6-7, 2007},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/aaai/MeyerLBP06,

title = {Finding Maximally Satisfiable Terminologies for the Description Logic 

 ALC},

author = {Thomas Andreas Meyer and Kevin Lee and Richard Booth and Jeff Z. Pan},

url = {http://www.aaai.org/Library/AAAI/2006/aaai06-043.php},

year  = {2006},

date = {2006-01-01},

booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence 

 and the Eighteenth Innovative Applications of Artificial Intelligence 

 Conference, July 16-20, 2006, Boston, Massachusetts, USA},

pages = {269–274},

publisher = {AAAI Press},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/atal/PerrusselTM06,

title = {Mutual enrichment through nested belief change},

author = {Laurent Perrussel and Jean-Marc Thévenin and Thomas Andreas Meyer},

editor = {Hideyuki Nakashima and Michael P. Wellman and Gerhard Weiss and Peter Stone},

url = {https://doi.org/10.1145/1160633.1160670},

doi = {10.1145/1160633.1160670},

year  = {2006},

date = {2006-01-01},

booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent 

 Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006},

pages = {226–228},

publisher = {ACM},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/dlog/LeeMPB06,

title = {Computing Maximally Satisfiable Terminologies for the Description 

 Logic emphALC with Cyclic Definitions},

author = {Kevin Lee and Thomas Andreas Meyer and Jeff Z. Pan and Richard Booth},

editor = {Bijan Parsia and Ulrike Sattler and David Toman},

url = {https://ceur-ws.org/Vol-189/submission_29.pdf},

year  = {2006},

date = {2006-01-01},

booktitle = {Proceedings of the 2006 International Workshop on Description Logics 

 (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{DBLP:conf/ecai/PerrusselTM06,

title = {Mutual Enrichment for Agents Through Nested Belief Change: A Semantic 

 Approach},

author = {Laurent Perrussel and Jean-Marc Thévenin and Thomas Meyer},

editor = {Gerhard Brewka and Silvia Coradeschi and Anna Perini and Paolo Traverso},

year  = {2006},

date = {2006-01-01},

booktitle = {ECAI 2006, 17th European Conference on Artificial Intelligence, 

 August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious 

 Applications of Intelligent Systems (PAIS 2006), Proceedings},

pages = {731–732},

publisher = {IOS Press},

series = {Frontiers in Artificial Intelligence and Applications},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}