Belief revision in answer set programming

Aravanis, TI; Peppas, P

Belief revision in answer set programming

Aravanis, TI Peppas, P

Permalink

Publication Type:: Conference Proceeding
Citation:: ACM International Conference Proceeding Series, 2017, Part F132523
Issue Date:: 2017-09-28

Closed Access

	Filename	Description	Size
	arafat.hossain.235_publications.rtf	Published version	17.09 kB	Microsoft Word	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Aravanis, TI	en_US
dc.contributor.author	Peppas, P https://orcid.org/0000-0002-0008-5505	en_US
dc.date.issued	2017-09-28	en_US
dc.identifier.citation	ACM International Conference Proceeding Series, 2017, Part F132523	en_US
dc.identifier.isbn	9781450353557	en_US
dc.identifier.uri	http://hdl.handle.net/10453/126606
dc.description.abstract	© 2017 Association for Computing Machinery. Answer Set Programming is a declarative problem solving approach, initially tailored to modeling problems in the area of Knowledge Representation and Reasoning. In this article,we provide a logic program, in the context of Answer Set Programming framework, that implements the AGM belief revision process, constructed by means of faithful preorders. The above-mentioned approach constitutes a representative implementation of the Answer Set Programming's modeling methodology, as well as a practical method/construction, bringing us a step closer to the successful development of an AGM belief revision system, for real-world applications.	en_US
dc.relation.ispartof	ACM International Conference Proceeding Series	en_US
dc.relation.isbasedon	10.1145/3139367.3139387	en_US
dc.title	Belief revision in answer set programming	en_US
dc.type	Conference Proceeding
utslib.citation.volume	Part F132523	en_US
utslib.for	0801 Artificial Intelligence and Image Processing	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology/School of Computer Science
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology/School of Software
pubs.organisational-group	/University of Technology Sydney/Strength - CAI - Centre for Artificial Intelligence
utslib.copyright.status	closed_access
pubs.publication-status	Published	en_US
pubs.volume	Part F132523	en_US

Abstract:

© 2017 Association for Computing Machinery. Answer Set Programming is a declarative problem solving approach, initially tailored to modeling problems in the area of Knowledge Representation and Reasoning. In this article,we provide a logic program, in the context of Answer Set Programming framework, that implements the AGM belief revision process, constructed by means of faithful preorders. The above-mentioned approach constitutes a representative implementation of the Answer Set Programming's modeling methodology, as well as a practical method/construction, bringing us a step closer to the successful development of an AGM belief revision system, for real-world applications.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/126606