Source URL (retrieved on 2017-07-20 01:02): 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 2016-05-23 02:07): 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-07-13 14:06): 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...

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...