ARVis: Visualizing Relations between Answer Sets

Ambroz, Thomas; Charwat, Günther; Jusits, Andreas; Wallner, Johannes Peter; Woltran, Stefan

doi:10.1007/978-3-642-40564-8_8

Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.

Record link:

http://hdl.handle.net/20.500.12708/54783

Title:

ARVis: Visualizing Relations between Answer Sets

Citation:

Ambroz, T., Charwat, G., Jusits, A., Wallner, J. P., & Woltran, S. (2013). ARVis: Visualizing Relations between Answer Sets. In P. Cabalar & T. C. Son (Eds.), Logic Programming and Nonmonotonic Reasoning (pp. 73–78). Springer. https://doi.org/10.1007/978-3-642-40564-8_8

Publisher DOI:

10.1007/978-3-642-40564-8_8

Publication Type:

Inproceedings - Full-Paper Contribution

Authors:

Ambroz, Thomas
Charwat, Günther
Jusits, Andreas
Wallner, Johannes Peter
Woltran, Stefan

Organisational Unit:

E192-02 - Forschungsbereich Databases and Artificial Intelligence
E192 - Institut für Logic and Computation

Published in:

Logic Programming and Nonmonotonic Reasoning

Date (published):

2013

Event name:

12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013)

Event date:

15-Sep-2013 - 19-Sep-2013

Event place:

Corunna, Spain, EU

Number of Pages:

Publisher:

Springer, 8143

Peer reviewed:

Yes

Keywords:

Answer set programming; Systems; Abduction

Abstract:

Answer set programming (ASP) is nowadays one of the most popular modeling languages in the areas of Knowledge Representation and Artificial Intelligence. Hereby one represents the problem at hand in such a way that each model of the ASP program corresponds to one solution of the original problem. In recent years, several tools which support the user in developing ASP applications have been introdu...

Research Areas:

Logic and Computation: 100%

Science Branch:

Mathematik, Informatik

Appears in Collections:

Conference Paper

Show full item record