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.

Adam Farquhar

dblp:61/3618 · DBLP profile ↗
← Back
9ranked-venue papers
3as first author
0since 2021 · last 2000
0000-0001-5331-6592ORCID · corroborated

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

Artificial intelligence and machine learning · 7 · 2 first-authorGraphics, computer vision, multimedia, augmented reality and games · 6 · 2 first-authorHuman-computer interaction and ubiquitous computing · 2 · 1 first-authorTheory of computation · 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
5 papers
Knowledge representation and reasoning · 83% Motion planning and robot control · 9% Video understanding and tracking · 9%
Theoretical computer science
1 paper
Automated reasoning and model checking · 50% Mathematical optimization · 50%
Human-computer interaction and pervasive computing
1 paper
User interface design and tools · 100%

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

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning › knowledge acquisition
knowledge base construction
0.012000
Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project · KR 2000
Knowledge, reasoning and agents › Knowledge representation and reasoning
qualitative reasoning
0.021995
Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? · IJCAI 1995
A Qualitative Physics Compiler · AAAI 1994
Knowledge, reasoning and agents › Knowledge representation and reasoning › ontology › ontology engineering
collaborative ontology building
0.011997
The Ontolingua Server: a tool for collaborative ontology construction · Int. J. Hum. Comput. Stud. 1997
Knowledge, reasoning and agents › Knowledge representation and reasoning › model representation
compositional model
0.011997
A Web-Based Compositional Modeling System for Sharing of Physical Knowledge · IJCAI (1) 1997
Knowledge, reasoning and agents › Knowledge representation and reasoning › ontology
ontology construction
0.011997
The Ontolingua Server: a tool for collaborative ontology construction · Int. J. Hum. Comput. Stud. 1997
Robotics › Motion planning and robot control
hybrid systems
0.011995
Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? · IJCAI 1995
Computer vision › Video understanding and tracking
temporal modeling
0.011995
Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? · IJCAI 1995
Mathematical optimization › numerical computation
numerical simulation
0.011995
Numerical Interval Simulation: Combined Qualitative and Quantitative Simulation to Bound Behaviors of Non-Monotonic Systems · IJCAI 1995
Knowledge, reasoning and agents › Knowledge representation and reasoning › qualitative reasoning
qualitative physics
0.011994
A Qualitative Physics Compiler · AAAI 1994
Knowledge, reasoning and agents › Knowledge representation and reasoning
ontology
0.012000
Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project · KR 2000
Software maintenance and evolution › software configuration management › software release management
software deployment
0.011996
Using the Web Instead of a Window System · CHI 1996

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

lessons learned · 0.0design tradeoffs · 0.0web-based collaborative tools · 0.0qualitative reasoning · 0.0interval arithmetic · 0.0qualitative physics compiler · 0.0
YearPublicationVenuePosition
2000 Practical Knowledge Representation and the DARPA High Performance Knowledge Bases Project
Adam Pease, Vinay K. Chaudhri, Fritz Lehmann, Adam Farquhar
KR4
1997 A Web-Based Compositional Modeling System for Sharing of Physical Knowledge
Yumi Iwasaki, Adam Farquhar, Richard Fikes, James Rice
IJCAI (1)2
1997 The Ontolingua Server: a tool for collaborative ontology construction
abstract
Reusable ontologies are becoming increasingly important for tasks such as information integration, knowledge-level interoperation and knowledge-base development. We have developed a set of tools and services to support the process of achieving consensus on commonly shared ontologies by geographically distributed groups. These tools make use of the World Wide Web to enable wide access and provide users with the ability to publish, browse, create and edit ontologies stored on an ontology server . Users can quickly assemble a new ontology from a library of modules. We discuss how our system was constructed, how it exploits existing protocols and browsing tools, and our experience supporting hundreds of users. We describe applications using our tools to achieve consensus on ontologies and to integrate information. The Ontolingua Server may be accessed through the URL http://ontolingua.stanford.edu
Adam Farquhar, Richard Fikes, James Rice
Int. J. Hum. Comput. Stud.1
1996 Using the Web Instead of a Window System
abstract
We show how to deliver a sophisticated, yet intuitive, interactive application over the web using off-the-shelf web browsers as the interaction medium.This attracts a large user community, improves the rate of user acceptance, and avoids many of the pitfalls of software distribution.Web delivery imposes a novel set of constraints on user interface design.We outline the tradeoffs in this design space, motivate the choices necessary to deliver an application, and detail the lessons learned in the process.These issues are crucial because the growing popularity of the web guarantees that software delivery over the web will become ever more wide-spread.
James Rice, Adam Farquhar, Philippe Piernot, Thomas R. Gruber
CHI2
1995 Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"?
Yumi Iwasaki, Adam Farquhar, Vijay A. Saraswat, Daniel G. Bobrow, Vineet Gupta 0001
IJCAI2
1995 Numerical Interval Simulation: Combined Qualitative and Quantitative Simulation to Bound Behaviors of Non-Monotonic Systems
Marcos Vescovi, Adam Farquhar, Yumi Iwasaki
IJCAI2
1994 A Qualitative Physics Compiler
Adam Farquhar
AAAI1
1990 QPC: A Compiler from Physical Models into Qualitative Differential Equations
James M. Crawford, Adam Farquhar, Benjamin Kuipers
AAAI2
1988 A Qualitative Reasoning Approach to Fault Avoidance
Adam Farquhar
ECAI1