Â¥Ö÷

NMR 2010 Accepted Papers 13th international workshop on Non-Monotonic Reasoning http://www.cs.sfu.ca/NMR2010/NMR_2010/Accepted_Papers.html Action and Belief Change (Chairs: Richard Booth, Alfredo Gabaldon) Title: Privacy Regulations in Dynamic Epistemic Deontic Logic Author(s): Guillaume Aucher, Guido Boella, Leendert van der Torre Title: Lex minus dixit quam voluit, lex magis dixit quam voluit: A formal study on legal compliance and interpretation Author(s): Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre Title: A Contraction Core for Horn Belief Change: Preliminary Report Author(s): Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann Title: An Approach to Revising Logic Programs under the Answer Set Semantics Author(s): James P. Delgrande Title: Joint revision of belief and intention Author(s): Thomas Icard, Eric Pacuit, Yoav Shoham Title: On belief dynamics of dependancy relations for extended logic programs Author(s): Patrick Krumpelmann and Gabriele Kern-Isberner Title: Lexicographic-based partially preordered removed sets revision Author(s): Mariette S¨¦rayet, Pierre Drap and Odile Papini Title: A general first order solution to the ramification problem Author(s): Hannes Strass and Michael Thielscher Title: Marrying stable models with belief update Author(s): Martin Slota and Joao Leite NMR and Uncetrainty (Chairs: Gabriele Kern-Isberner, Henri Prade) Isabelle Toulgoat, Pierre Siegel, Yves Lacroix and Julien Botto. Operator decision in naval action's simulations Belaid Benhamou, Tarek Nabhani and Pierre Siegel. Study of symmetry in non-monotonic logics Kim Bauters, Steven Schockaert, Jeroen Janssen, Martine De Cock and Dirk Vermeir. Towards possibilistic fuzzy answer set programming Nicholas Mattei, Judy Goldsmith and Andrew Klapper. The complexity of manipulating probabilistic tournaments Patrick Kr¨¹mpelmann and Matthias Thimm. A logic programming framework for reasoning about know-how Emad Saad. Learning to act optimally in partially observable Markov decision processes using hybrid probabilistic logic programs Radim Jirousek. Is it possible to define graphical models in Dempster-Shafer theory of evidence? Sebastian Loh, Matthias Thimm and Gabriele Kern-Isberner. On the problem of grounding a relational probabilistic conditional knowledge base Declarative Programming and Systems (Chairs:  Marina De Vos, Marc Denecker) Paolo Mancarella and Francesca Toni,.  A semantics for positive abductive logic programs with  implicative integrity constraints submission Yuping SHEN, Guangrui DANG and Xishun ZHAO. Reasoning about Action and Change in Timed Domains Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink and Thomas Krennwallner. Decomposition of Distributed Nonmonotonic Multi-Context Systems Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz and Fangkai Yang. Representing Synonymity in Causal Logic and in Logic Programming Paolo Ferraris and Vladimir Lifschitz. On the Stable Model Semantics of First-Order Formulas with Aggregates Gail-Joon Ahn, Hongxin Hu, Joohyung Lee and Yunsong Meng. Reasoning about XACML Policy Descriptions in Answer Set Programming: Preliminary Report Commonsense  and NMR for Ontologies (Chairs: Ivan Jos¨¦ Varzinczak, Renata Wassermann) Ontology Development with 4-Valued Implication Connectives. Cristian Cocos and Wendy MacCaull Semantic Diff as the Basis for Knowledge Base Versioning. Enrico Franconi, Thomas Meyer and Ivan Varzinczak Argument, Dialog and Decision (Chairs: Iyad Rahwan, Guillermo R. Simari) A Labelling Based Justification Status of Arguments Yining Wu, Martin Caminada and Mikolaj Podlaszewski. Temporal Defeasible Logic Has Linear Complexity Guido Governatori and Antonino Rotolo. An Approach to Timed Abstract Argumentation Maria Laura Cobo, Diego C. Martinez and Guillermo R. Simari. The relation between preferential model and argumentation semantics Nico Roos. From User-Generated Tagging to User-Agreed Knowledge: An Argumentation-Based Approach Pietro Baroni, Federico Cerutti, Daniela Fogli, Claudio Gandelli and Massimiliano Giacomin. Constraints-based Negotiation using Argumentation Mohamed Mbarki, Jamal Bentahar, Bernard Moulin and Ahmad Moazin. Preferences and Norm (Chairs: Frederic Koriche, Leon Van Der Torre) Arina Britz, Johannes Heidema and Ivan Varzinczak.  Pertinent Reasoning   Guido Governatori, Francesco Olivieri, Simone Scannapieco and Matteo Cristani. Superiority Based Revision of Defeasible Theories    Guillaume Aucher and Guido Boella. Prescriptive and descriptive obligations in dynamic epistemic deontic logic     Guido Boella, Dov Gabbay and Serena Villata. Subsumption and count as relation in argument ontologies     Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez and Valerio Genovese. On the Relationship between I-O Logic and Connectionism     Parke Godfrey. Stable Skyline    Êղؠ  ·ÖÏí   ¶¥(0)

----------------------------------------------
knowledge representation & paraconsistent reasoning
My Homepage: http://www.is.pku.edu.cn/~zxw/