Assumption based Multi-Valued Semantics for Extended Logic Programs
Tools
Tools
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: |
|||||
| Dates: |
|
||||
| Date range: |
5/1/2006 |
||||
| Item ID: |
959 |
||||
| Date Deposited: |
12 Mar 2009 15:41 |
||||
| Last Modified: |
20 Jun 2017 13:09 |
||||
|
URI: |
 |
Edit Record (login required) |