14 found
Order:
  1. Introspective Forgetting.Hans van Ditmarsch, Andreas Herzig, Jérôme Lang & Pierre Marquis - 2009 - Synthese 169 (2):405-423.
    We model the forgetting of propositional variables in a modal logical context where agents become ignorant and are aware of each others’ or their own resulting ignorance. The resulting logic is sound and complete. It can be compared to variable-forgetting as abstraction from information, wherein agents become unaware of certain variables: by employing elementary results for bisimulation, it follows that beliefs not involving the forgotten atom(s) remain true.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  10
    Introspective Forgetting.Hans Ditmarsch, Andreas Herzig, Jérôme Lang & Pierre Marquis - 2009 - Synthese 169 (2):405-423.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  34
    Editorial Introduction to the Special Issue LORI Guangzhou.Hans van Ditmarsch & Jérôme Lang - 2013 - Synthese 190 (1):1-4.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  7
    Representing Utility Functions Via Weighted Goals.Joel Uckelman, Yann Chevaleyre, Ulle Endriss & Jérôme Lang - 2009 - Mathematical Logic Quarterly 55 (4):341-361.
    We analyze the expressivity, succinctness, and complexity of a family of languages based on weighted propositional formulas for the representation of utility functions. The central idea underlying this form of preference modeling is to associate numerical weights with goals specified in terms of propositional formulas, and to compute the utility value of an alternative as the sum of the weights of the goals it satisfies. We define a large number of representation languages based on this idea, each characterized by a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  40
    From Knowledge-Based Programs to Graded Belief-Based Programs, Part I: On-Line Reasoning.Noël Laverny & Jérôme Lang - 2005 - Synthese 147 (2):277-321.
    Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at execution time. However, branching conditions in KBPs cannot refer to possibly erroneous beliefs or to graded belief, such as “if my belief that φ holds is high then do some action α else perform some sensing action β”.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  20
    Foreword.Giacomo Bonanno, Andreas Herzig, Wiebe van der Hoek & Jérôme Lang - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):263-264.
  7.  7
    Special Issue on Formal Models of Belief Change in Rational Agents.Giacomo Bonanno, James Delgrande, Jérôme Lang & Hans Rott - 2009 - Journal of Applied Logic 7 (4):363.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8.  58
    Effectivity Functions and Efficient Coalitions in Boolean Games.Elise Bonzon, Marie-Christine Lagasquie-Schiex & Jérôme Lang - 2012 - Synthese 187 (S1):73-103.
    Boolean games are a logical setting for representing strategic games in a succinct way, taking advantage of the expressive power and conciseness of propositional logic. A Boolean game consists of a set of players, each of which controls a set of propositional variables and has a specific goal expressed by a propositional formula. We show here that Boolean games are a very simple setting, yet sophisticated enough, for analysing the formation of coalitions. Due to the fact that players have dichotomous (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  9.  21
    Removing Inconsistencies in Assumption-Based Theories Through Knowledge-Gathering Actions.Jérôme Lang & Pierre Marquis - 2001 - Studia Logica 67 (2):179-214.
    In this paper, the problem of purifying an assumption-based theory KB, i.e., identifying the right extension of KB using knowledge-gathering actions (tests), is addressed. Assumptions are just normal defaults without prerequisite. Each assumption represents all the information conveyed by an agent, and every agent is associated with a (possibly empty) set of tests. Through the execution of tests, the epistemic status of assumptions can change from "plausible" to "certainly true", "certainly false" or "irrelevant", and the KB must be revised so (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  10.  12
    Guest Editors’ Introduction.James Delgrande & Jérôme Lang - 2015 - Journal of Philosophical Logic 44 (2):111-115.
    This special issue presents a selection of papers in Knowledge Representation in Artificial Intelligence , intended to illustrate the depth and breadth of current research in the area. It comes just over 25 years since a similar special issue of the Journal of Philosophical Logic appeared on the topic Philosophical Logic and Artificial Intelligence [15]. This latter special issue covered work addressing the use of logic, in one form or another, for representing and reasoning with knowledge. The papers of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  5
    Semantic Evaluation in Possibilistic Logic Application to Min-Max Discrete Optimisation Problems.Jérôme Lang - 1991 - In B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases. Springer. pp. 260--268.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. Lecture Notes on Artificial Intelligence 5422, Logic, Language, and Computation 7th International Tbilisi Symposium on Logic, Language, and Computation. [REVIEW]Peter Bosch, David Gabelaia & Jérôme Lang (eds.) - 2009 - Springer.
    Translate
     
     
    Export citation  
     
    Bookmark  
  13. Computational Social Choice 2006.Jerome Lang & Ulle Endriss (eds.) - 2006 - University of Amsterdam.
  14. Semantic Evaluation in Possibilistic Logic.Jérôme Lang - 1991 - In B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases. Springer. pp. 90--260.
     
    Export citation  
     
    Bookmark