An argumentation framework for reasoning about actions and change
Ημερομηνία
1999ISSN
0302-9743Source
5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999Volume
1730Pages
78-91Google Scholar check
Keyword(s):
Metadata
Εμφάνιση πλήρους εγγραφήςΕπιτομή
We show how a class of domains written in the Language E, a high level language for reasoning about actions, narratives and change, can be translated into the argumentation framework of Logic Programming without Negation as Failure (LPwNF). This translation enables us 1) to understand default persistence as captured by various temporal reasoning frameworks in a simple and natural way, by assigning higher priority to information about effects of later actions over effects of earlier actions 2) to develop an argumentation-based computational model for this type of reasoning in logic programming goal-driven style. © Springer-Verlag Berlin Heidelberg 1999.
Collections
Cite as
Related items
Showing items related by title, author, creator and subject.
-
Conference Object
Mobile commerce: Vision and challenges (location and its management)
Samaras, George S. (Institute of Electrical and Electronics Engineers Inc., 2002)Mobile computing is distributed computing that involves elements whose location changes in the course of computation. Elements may be software components such as mobile agents or moving objects-data or hardware such as ...
-
Article
Computer-aided diagnosis in hysteroscopic imaging
Neofytou, Marios S.; Tanos, Vasilios; Constantinou, Ioannis P.; Kyriacou, Efthyvoulos C.; Pattichis, Marios S.; Pattichis, Constantinos S. (2015)The paper presents the development of a computeraided diagnostic (CAD) system for the early detection of endometrial cancer. The proposed CAD system supports reproducibility through texture feature standardization, ...
-
Article
Grid Computing : Second European AcrossGrids Conference, AxGrids 2004, Nicosia, Cyprus, January 28-30, 2004. Revised Papers
European Across, Grids Conference; Dikaiakos, Marios D.; European Across, Grids Conference; Dikaiakos, Marios D.; SpringerLink (Online service); European Across, Grids Conference (2004)