Results 1  10
of
465
Next Steps in Propositional Horn Contraction ∗
"... Standard belief contraction assumes an underlying logic containing full classical propositional logic, but there are good reasons for considering contraction in less expressive logics. In this paper we focus on Horn logic. In addition to being of interest in its own right, our choice is motivated by ..."
Abstract

Cited by 14 (5 self)
 Add to MetaCart
Standard belief contraction assumes an underlying logic containing full classical propositional logic, but there are good reasons for considering contraction in less expressive logics. In this paper we focus on Horn logic. In addition to being of interest in its own right, our choice is motivated
Complexity and Expressive Power of Logic Programming
, 1997
"... This paper surveys various complexity results on different forms of logic programming. The main focus is on decidable forms of logic programming, in particular, propositional logic programming and datalog, but we also mention general logic programming with function symbols. Next to classical results ..."
Abstract

Cited by 366 (57 self)
 Add to MetaCart
This paper surveys various complexity results on different forms of logic programming. The main focus is on decidable forms of logic programming, in particular, propositional logic programming and datalog, but we also mention general logic programming with function symbols. Next to classical
First Steps in EL Contraction
"... In this work we make a preliminary investigation of belief contraction in the EL family of description logics. Based on previous work on propositional Horn logic contraction, here we state the main definitions for contraction in a description logic extending it, and point out the main issues involve ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
In this work we make a preliminary investigation of belief contraction in the EL family of description logics. Based on previous work on propositional Horn logic contraction, here we state the main definitions for contraction in a description logic extending it, and point out the main issues
EntrenchmentBased Horn Contraction
"... The AGM framework is the benchmark approach in belief change. Since the framework assumes an underlying logic containing classical Propositional Logic, it can not be applied to systems with a logic weaker than Propositional Logic. To remedy this limitation, several researchers have studied AGMstyle ..."
Abstract
 Add to MetaCart
style contraction and revision under the Horn fragment of Propositional Logic (i.e., Horn logic). In this paper, we contribute to this line of research by investigating the Horn version of the AGM entrenchmentbased contraction. The study is challenging as the construction of entrenchmentbased contraction refers
Horn Clause Contraction Functions
"... In classical, AGMstyle belief change, it is assumed that the underlying logic contains classical propositional logic. This is clearly a limiting assumption, particularly in Artificial Intelligence. Consequently there has been recent interest in studying belief change in approaches where the full e ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
expressivity of classical propositional logic is not obtained. In this paper we investigate belief contraction in Horn knowledge bases. We point out that the obvious extension to the Horn case, involving Horn remainder sets as a starting point, is problematic. Not only do Horn remainder sets have undesirable
Contract types for satisficing task allocation: I Theoretical results
 IN PROC. AAAI SPRING SYMPOSIUM: SATISFICING MODELS
, 1998
"... We analyze task reallocation where individually rational (IR) agents (re)contract tasks among themselves based on marginal costs. A task allocation graph is introduced as a tool for analyzing contract types. Traditional single task contracts always have a short path (sequence of contracts) to the op ..."
Abstract

Cited by 99 (8 self)
 Add to MetaCart
) to the optimal task allocation but an IR path may not exist, or it may not be short. We analyze an algorithm for finding the shortest IR path. Next we introduce cluster contracts, swaps, and multiagent contracts. Each of the four contract types avoids some local optima that the others do not. Even
Horn Clause Belief Change: Contraction Functions
"... The standard (AGM) approach to belief change assumes that the underlying logic is at least as strong as classical propositional logic. This paper investigates an account of belief change, specifically contraction, where the underlying logic is that governing Horn clauses. Thus this work sheds light ..."
Abstract

Cited by 10 (2 self)
 Add to MetaCart
The standard (AGM) approach to belief change assumes that the underlying logic is at least as strong as classical propositional logic. This paper investigates an account of belief change, specifically contraction, where the underlying logic is that governing Horn clauses. Thus this work sheds light
Transitively Relational Partial Meet Horn Contraction
 PROCEEDINGS OF THE TWENTYSECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE
"... Following the recent trend of studying the theory of belief revision under the Horn fragment of propositional logic this paper develops a fully characterised Horn contraction which is analogous to the traditional transitively relational partial meet contraction [Alchourrón et al., 1985]. This Horn c ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Following the recent trend of studying the theory of belief revision under the Horn fragment of propositional logic this paper develops a fully characterised Horn contraction which is analogous to the traditional transitively relational partial meet contraction [Alchourrón et al., 1985]. This Horn
Crisis Resolution: Next Steps
"... The debate over how to manage and resolve crises in emerging markets,under way for the better part of a decade, reached a climax at the spring meetings of the International Monetary Fund (IMF) and World Bank, which were held in Washington in the spring of 2003. Agreement was reached to push ahead wi ..."
Abstract
 Add to MetaCart
with the contractual approach to smoothing the process of sovereign debt restructuring by promoting the further introduction of collective action clauses (CACs) into bond contracts while continuing to study and develop the statutory approach, in particular the IMF’s Sovereign Debt Restructuring Mechanism (SDRM).1
Horn complements: Towards HorntoHorn belief revision
 In Proceedings of AAAI08
, 2008
"... HorntoHorn belief revision asks for the revision of a Horn knowledge base such that the revised knowledge base is also Horn. Horn knowledge bases are important whenever one is concerned with efficiency—of computing inferences, of knowledge acquisition, etc. HorntoHorn belief revision could be of ..."
Abstract

Cited by 14 (1 self)
 Add to MetaCart
satisfying the generalized AGM postulates is equivalent to the existence of a complement. Here we provide a first step towards efficient HorntoHorn belief revision, by characterizing the existence of a complement of a Horn consequence of a Horn knowledge base. A complement exists if and only if the Horn
Results 1  10
of
465