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:

Computing

Dates:

DateEvent
May 2006Published

Date range:

5/1/2006

Item ID:

959

Date Deposited:

12 Mar 2009 15:41

Last Modified:

20 Jun 2017 13:09

URI:

https://research.gold.ac.uk/id/eprint/959

Edit Record Edit Record (login required)