Show simple item record

dc.contributor.authorKakas, Antonis C.en
dc.contributor.authorMichael, Loizosen
dc.contributor.authorMiller, R.en
dc.creatorKakas, Antonis C.en
dc.creatorMichael, Loizosen
dc.creatorMiller, R.en
dc.description.abstractWe describe Modular-ε (Mε), a specialized, modeltheoretic logic for narrative reasoning about actions, able to represent non-deterministic domains involving concurrency, static laws (constraints) and indirect effects (ramifications). We give formal results which characterize Mε's high degree of modularity and elaboration tolerance, and show how these properties help to separate out, and provide a principled solutions to, the endogenous and exogenous qualification problems. We also show how a notion of (micro) processes can be used to facilitate reasoning at the dual levels of temporal granularity necessary for narrative-based domains involving "instantaneous" series of indirect and knock-on effects. © Springer-Verlag Berlin Heidelberg 2005.en
dc.source8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005en
dc.subjectProblem solvingen
dc.subjectMathematical modelsen
dc.subjectConstraint theoryen
dc.subjectLogic programmingen
dc.subjectElaboration toleranceen
dc.subjectModeltheoretic logicen
dc.subjectQualification problemsen
dc.titleModular-ε: An elaboration tolerant approach to the ramification and qualification problemsen
dc.description.volume3662 LNAIen
dc.description.endingpage226 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied SciencesΤμήμα Πληροφορικής / Department of Computer Science
dc.description.notes<p>Conference code: 67153en
dc.description.notesCited By :3</p>en
dc.source.abbreviationLect. Notes Comput. Sci.en
dc.contributor.orcidKakas, Antonis C. [0000-0001-6773-3944]

Files in this item


There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record