Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Robert A. Nado

dblp:79/2806 · also Robert Nado · DBLP profile ↗
← Back
4ranked-venue papers
1as first author
0since 2021 · last 2010
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 4 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 2 · 1 first-authorDatabases, data management, data science and information retrieval · 1Applied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
2 papers
Knowledge representation and reasoning · 100%

Topics — the 7 heaviest of 7, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning › logic in computer science › logical foundations
formal semantics
0.011987
Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults · AAAI 1987
Knowledge, reasoning and agents › Knowledge representation and reasoning › semantic representation
frame language
0.011987
Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults · AAAI 1987
Knowledge, reasoning and agents › Knowledge representation and reasoning › nonmonotonic reasoning › defeasible reasoning
inheritance with exceptions
0.011987
Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults · AAAI 1987
Knowledge, reasoning and agents › Knowledge representation and reasoning
logic-based reasoning
0.011987
Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults · AAAI 1987
Knowledge, reasoning and agents › Knowledge representation and reasoning
ontology
0.011987
Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults · AAAI 1987
Knowledge, reasoning and agents › Knowledge representation and reasoning › reasoning about action and change
reasoning about actions
0.011986
Representing Actions with an Assumption-Based Truth Maintenance System · AAAI 1986
Knowledge, reasoning and agents › Knowledge representation and reasoning › belief revision
truth maintenance systems
0.011986
Representing Actions with an Assumption-Based Truth Maintenance System · AAAI 1986

Methods — techniques the papers use, named apart from their topics

semantic soundness · 0.0default reasoning · 0.0assumption-based truth maintenance · 0.0
YearPublicationVenuePosition
2010 A Centralized Multi-Agent Negotiation Approach to Collaborative Air Traffic Resource Management Planning
abstract
Demand and capacity imbalances in the US national airspace are resolved using traffic management initiatives designed, in current operations, with little collaboration with the airspace users. NASA and its partners have developed a new collaborative concept of operations that requires the users and airspace service provider to work together to choose initiatives that better satisfy the business needs of the users while also ensuring safety to the same standard as today. In this paper, we describe an approach to implementing this concept through a software negotiation framework underpinned by technology developed in the artificial intelligence community. We describe our exploration of peer-to-peer negotiation and how the number of conversation threads and the time sensitivity of offer acceptance led us to a centralized approach. The centralized approach uses hill climbing to evaluate airport slot allocations from a user perspective and a linear programming solver to seek solutions compatible across the user community. Our experiments with full sized problems identify the potential operational benefits as well as limitations, and where future research needs to be focused.
Peter A. Jarvis, Shawn R. Wolfe, Francis Y. Enomoto, Robert A. Nado, Maarten Sierhuis
IAAI4
1999 Information Integration with Attributio Support for Corporate Profiles
abstract
The proliferation of electronically available data within large organizations as well as publicly available data (e.g. over the World Wide Web) poses challenges for users who wish to efficiently interact with and integrate multiple heterogeneous sources. This paper presents CI3, a corporate information integrator, which applies XML as a tool to facilitate data mediation and integration amongst heterogeneous sources in the context of financial analysts creating corporate profiles. Sources include Lotus Notes, relational databases, and the World Wide Web. CI3 applies a unified XML data model to automate integration. By preserving metadata about the source of each datum in the integrated result set, CI3 supports source attribution. Users may trace the attribution metadata from the result back to the underlying sources and leverage their expertise in interpreting the data and, if necessary, use their judgment in assessing the authenticity and veracity of results. We present a functional overview of CI3, its system architecture including the XML data model, and the integration procedures. We conclude by reflecting on lessons learned.
Thomas Lee, Melanie Chams, Robert A. Nado, Michael D. Siegel, Stuart E. Madnick
CIKM3
1987 Semantically Sound Inheritance for a Formally Defined Frame Language with Defaults
Robert A. Nado, Richard Fikes
AAAI1
1986 Representing Actions with an Assumption-Based Truth Maintenance System
Paul Morris, Robert A. Nado
AAAI2