Artificial intelligence publications
-
Interpretation of Discourse and Proof Theory: Questions and Directions
A major theme of Johan’s Exploring Logical Dynamics is the move from using the tools of logic to analyze the products of cognitive processes to using those tools, including perhaps…
-
Using the EcoCyc Database
-
3–D Stereo Reconstruction of Human Faces driven by Differential Constraints
We propose a way to incorporate a priori information in a reconstruction process from a sequence of calibrated face images.
-
A Collaborative Environment for Authoring Large Knowledge Bases
We present an architecture for scalable frame representation systems (FRSs). KBs must be supported for rapid construction by a collaborative effort of teams of knowledge engineers through reuse of existing…
-
EcoCyc: Electronic Encyclopedia of E. coli Genes and Metabolism
-
Information extraction using HMMs and shrinkage
This paper advocates for the use of HMMs for information extraction.
-
Integrated Pathway/Genome Databases and Their Role in Drug Discovery
We describe pathway-based analyses of the genomes of a number of medically relevant microorganisms, and a novel software tool that provides visualization of gene expression data on a diagram showing…
-
EcoCyc: The Resource and the Lessons Learned
-
Generating Qualitatively Different Plans through Metatheoretic Biases
With the objective of fostering increased user participation in the planning process, this paper presents an HTN-based framework for the abductive completion of plan sketches.
-
Prolegomena to a Theory of Disability, Inability and Handicap
In this paper we extend a theory of action, IPT to try to elucidate these concepts. This attempt at elucidation is itself at most a prolegomena to a study that…
-
c-Type Cytochromes and Manganese Oxidation in Pseudomonas putida MnB1
We used transposon mutagenesis to construct mutants of strain MnB1 that are unable to oxidize manganese, and we characterized some of these mutants.
-
Controlling Communication in Distributed Planning Using Irrelevance Reasoning
This paper describes an approach to controlling information distribution among planning agents using irrelevance reasoning. We describe an implementation of this approach within a distributed version of the SIPE-2 planner.