Add to ORKGIn his paper “Making Counterfactual Assumptions ” Frank Veltman has proposed a new semantics for counterfactual conditionals. It is based on a particular update operation, and we show that it provides a new and interesting way of updating logical databases under integrity constraints which generalizes in particular Winslett’s PMA.
Integrity constraints are useful for the specification of deductive databases, as well as for induct...
International audienceActive integrity constraints have been introduced in the database community as...
It is argued that the problems of intensional knowledge base updating and incremental concept-learni...
International audienceIn his paper ``Making Counterfactual Assumptions'' Frank Veltman has proposed ...
In his paper ``Making Counterfactual Assumptions\u27\u27 Frank Veltman has proposed a new semantics ...
In his paper ``Making Counterfactual Assumptions\u27\u27 Frank Veltman has proposed a new semantics ...
We present a procedure for deriving the weakest precondition for a database update and an integrity ...
. We recall that the Ramsey Rule can be seen as axiomatising the relationship of inverse accessibili...
Abstract. To find a minimal real change after an update of a database with integrity constraints (IC...
This paper provides an update semantics for counterfactual conditionals. It does so by giving a dyna...
In an active database, an update may be constrained by integrity constraints, and may also trigger r...
We introduce a logic-based framework for database updating under constraints. In our framework, the ...
AbstractIn this paper we examine ten concrete propositional update operations of the literature. We ...
Several problems may arise when a deductive database is updated. The problems that are addressed in ...
AbstractWe introduce a logic programming language which supports hypothetical and counterfactual rea...
Integrity constraints are useful for the specification of deductive databases, as well as for induct...
International audienceActive integrity constraints have been introduced in the database community as...
It is argued that the problems of intensional knowledge base updating and incremental concept-learni...
International audienceIn his paper ``Making Counterfactual Assumptions'' Frank Veltman has proposed ...
In his paper ``Making Counterfactual Assumptions\u27\u27 Frank Veltman has proposed a new semantics ...
In his paper ``Making Counterfactual Assumptions\u27\u27 Frank Veltman has proposed a new semantics ...
We present a procedure for deriving the weakest precondition for a database update and an integrity ...
. We recall that the Ramsey Rule can be seen as axiomatising the relationship of inverse accessibili...
Abstract. To find a minimal real change after an update of a database with integrity constraints (IC...
This paper provides an update semantics for counterfactual conditionals. It does so by giving a dyna...
In an active database, an update may be constrained by integrity constraints, and may also trigger r...
We introduce a logic-based framework for database updating under constraints. In our framework, the ...
AbstractIn this paper we examine ten concrete propositional update operations of the literature. We ...
Several problems may arise when a deductive database is updated. The problems that are addressed in ...
AbstractWe introduce a logic programming language which supports hypothetical and counterfactual rea...
Integrity constraints are useful for the specification of deductive databases, as well as for induct...
International audienceActive integrity constraints have been introduced in the database community as...
It is argued that the problems of intensional knowledge base updating and incremental concept-learni...