Assumption based Multi-Valued Semantics for Extended Logic Programs

Stamate, Daniel. 2006. 'Assumption based Multi-Valued Semantics for Extended Logic Programs'. In: 36th IEEE International Symposium on Multiple-Valued Logics (IEEE ISMVL 2006). UNDEFINED 5/1/2006. [Conference or Workshop Item]

No full text available

Item Type:

Conference or Workshop Item (Paper)

Additional Information:

Originality: Presents a new approach for handling imperfect information, adding to incomplete knowledge by unified inferences from a set of assumptions. Two of the rules are standard, but one is introduced in this paper. Rigour: contains theoretical results based on algebraic structures (bi-lattices) and confidence-doubt. Significance: Possible applications of the results include imperfect knowledge representation and intelligent agents reasoning with imperfect information. Symposium run annually by the Multiple-Valued Logic Technical Committee of the IEEE Computer Society. Papers are reviewed by two reviewers

Departments, Centres and Research Units:



May 2006Published

Date range:


Item ID:


Date Deposited:

12 Mar 2009 15:41

Last Modified:

20 Jun 2017 13:09


Edit Record Edit Record (login required)