ANNOTATED LOGIC REASONING BASED ON XML

Fuxi Zhu; Duanzhi Chen; Jia Rao

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

ANNOTATED LOGIC REASONING BASED ON XML

Topics: XML and Data Management

In Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST, 229-233, 2006 , Setúbal, Portugal

Authors: Fuxi Zhu ; Duanzhi Chen and Jia Rao

Affiliation: School of Computer, Wuhan University, China

Keyword(s): Paraconsistent Logic, Annotate Logic, XML, Automatic Reasoning.

Related Ontology Subjects/Areas/Topics: Internet Technology ; Web Information Systems and Technologies ; XML and Data Management

Abstract: Paraconsistent logic is able to handle the inconsistent knowledge reasonably. In this paper we propose using XML as a tool to implement the presentation and reasoning of Annotation Logic--one of the paraconsitent logic systems and investigate the problems about the automatic inference rules and inference strategies under XML representation. Demonstrations are presented to show that XML can represent the Annotation Logic conveniently and XML and its auxiliary tools can implement the inference mechanism efficiently.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.191.103.144

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Zhu, F.; Chen, D. and Rao, J. (2006). ANNOTATED LOGIC REASONING BASED ON XML. In Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST; ISBN 978-972-8865-46-7; ISSN 2184-3252, SciTePress, pages 229-233. DOI: 10.5220/0001241702290233

@conference{webist06,
author={Fuxi Zhu. and Duanzhi Chen. and Jia Rao.},
title={ANNOTATED LOGIC REASONING BASED ON XML},
booktitle={Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST},
year={2006},
pages={229-233},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001241702290233},
isbn={978-972-8865-46-7},
issn={2184-3252},
}

TY - CONF

JO - Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST
TI - ANNOTATED LOGIC REASONING BASED ON XML
SN - 978-972-8865-46-7
IS - 2184-3252
AU - Zhu, F.
AU - Chen, D.
AU - Rao, J.
PY - 2006
SP - 229
EP - 233
DO - 10.5220/0001241702290233
PB - SciTePress