R
Robert Nado
Researcher at IntelliCorp
Publications - 8
Citations - 121
Robert Nado is an academic researcher from IntelliCorp. The author has contributed to research in topics: Accounting information system & Audit. The author has an hindex of 5, co-authored 8 publications receiving 121 citations. Previous affiliations of Robert Nado include PricewaterhouseCoopers.
Papers
More filters
Proceedings Article
Representing actions with an assumption-based truth maintenance system
Paul Morris,Robert Nado +1 more
TL;DR: An approach to applying the Assumption-based Truth Maintenance System to the task of representing the effects of actions, which extends traditional tree-structured context mechanisms to allow context merges and takes advantage of the underlying ATMS to detect inconsistent contexts and to maintain derived results.
Proceedings Article
Semantically sound inheritance for a formally defined frame language with defaults
Robert Nado,Richard Fikes +1 more
TL;DR: A formal description of a frame language that provides semantically sound facilities for representing default information and an efficient serial algorithm for inheriting default information down class-subclass and class-member hierarchies constructed in that language is presented.
Patent
Method for representing a directed acyclic graph of worlds using an assumption-based truth maintenance system
Robert Nado,Paul Morris +1 more
TL;DR: In this article, a method is provided for representing a directed acyclic graph of worlds using an assumption-based truth maintenance system (ATMS) as a tool, in order to allow deletion of an assertion upon transition between worlds.
Journal ArticleDOI
COMET: An Application of Model-Based Reasoning to Accounting Systems
TL;DR: The COMET system applies a model-based reasoning approach to the analysis of accounting systems and their controls to automatically analyze the effectiveness of the controls in detecting potential errors.
Journal ArticleDOI
JOSIE: an integration of specialized representation and reasoning tools
TL;DR: An overview of an implemented knowledge system development tool, called JOSIE, that provides a general framework for integrating specialized representation and reasoning facilities and the problematic issues that arise when integrating specialized representations and the distinctive features of the facilities included in the system are presented.