A decision method for Reiter's default logic is developed. It can determine whether a default theory has an extension, whether a formula is in some extension of a default theory and whether a formula is in every extension of a default the­ ory. The method handles full propositional de­ fault logic. It can be implemented to work in polynomial space and by using only a theorem prover for the unde...

Source URL (retrieved on 2017-09-07 13:14): http://www.inf.u-szeged.hu/munkatarsaknak/dohanyzasi-rend Links: [1] http://www.inf.u-szeged.hu/../sites/default/files/munkatarsaknak/1999-evi-trv.pdf [2] http://www.inf.u-szeged.hu/../sites/default/files/munkatarsaknak/2009-evi-rendelet.pdf [3] http://www.inf.u-szeged.hu/../sites/default/files/munkatarsaknak/Fotitkari_Tajekoztato_a_dohanyz as_szabaly...

Source URL (retrieved on 2017-05-04 15:21): http://www.inf.u-szeged.hu/munkatarsaknak/dohanyzasi-rend Links: [1] http://www.inf.u-szeged.hu/../sites/default/files/munkatarsaknak/1999-evi-trv.pdf [2] http://www.inf.u-szeged.hu/../sites/default/files/munkatarsaknak/2009-evi-rendelet.pdf [3] http://www.inf.u-szeged.hu/../sites/default/files/munkatarsaknak/Fotitkari_Tajekoztato_a_dohanyz as_szabaly...

We use Scott's domain theory and methods from Reiter's default logic to suggest some ways of modelling default constraints in feature logic. We show how default feature rules, derived from default constraints, can be used to give ways to augment strict feature structures with default information.

Source URL (retrieved on 2017-08-03 06:57): http://www.inf.u-szeged.hu/munkatarsaknak/dohanyzasi-rend Links: [1] http://www.inf.u-szeged.hu/../sites/default/files/munkatarsaknak/1999-evi-trv.pdf [2] http://www.inf.u-szeged.hu/../sites/default/files/munkatarsaknak/2009-evi-rendelet.pdf [3] http://www.inf.u-szeged.hu/../sites/default/files/munkatarsaknak/Fotitkari_Tajekoztato_a_dohanyz as_szabaly...

Source URL (retrieved on 2017-04-12 11:56): http://www.inf.u-szeged.hu/munkatarsaknak/dohanyzasi-rend Links: [1] http://www.inf.u-szeged.hu/../sites/default/files/munkatarsaknak/1999-evi-trv.pdf [2] http://www.inf.u-szeged.hu/../sites/default/files/munkatarsaknak/2009-evi-rendelet.pdf [3] http://www.inf.u-szeged.hu/../sites/default/files/munkatarsaknak/Fotitkari_Tajekoztato_a_dohanyz as_szabaly...

Abstract. The evaluation of structured credit products like baskets and collateralized debt obligations (CDOs) most often relies on the simulation of correlated default times for the underlying pool of credit instruments. Given the distribution of a default time vector one can find the distribution of the corresponding (cumulative) default quote path for a portfolio. In this note we show that t...