Artificial intelligence publications
-
Representing, Analyzing, and Synthesizing Biochemical Pathways
This article describes challenges and opportunities for addressing computational problems in the metabolism with techniques from knowledge representation, planning, integration of heterogeneous databases, qualitative reasoning, knowledge acquisition, and machine learning.
-
Evidential Reasoning and Project Early Warning Systems
PEWS combines a proven project reporting methodology with the latest artificial intelligence techniques such as evidential reasoning. Together, they ensure the successful outcome of large projects.
-
Self-calibration of an uncalibrated stereo rig from one unknown motion
We address in this paper the problem of self-calibration and metric reconstruction (up to a scale) from one unknown motion of an uncalibrated stereo rig.
-
An optimization framework for efficient self-calibration and motion determination
In this paper, we propose an alternative method to compute at the same time camera calibration and motion, which is robust and efficient.
-
Tuning rules by cases
A new method is proposed for tuning rules by cases, especially in domains in which precise and exceptionless rules are known to be unavailable.
-
Executions, Motivations, and Accomplishments
Brutus wanted to kill Caesar. He believed that Caesar was an ordinary mortal, and that, given this, stabbing him was a way of killing him.
-
Review of Language in Action: Categories, Lambdas, and Dynamic Logic, by J. van Benthem
For about two thousand years, logic and logicians were stuck on the problem of multiple quantification. Aristotle and his successors had systematized large parts of monadic quantification theory (as we…
-
FASTUS: A Finite-State Processor for Information Extraction from Real-World Text
The GeoVRML working group of the Web3D Consortium recently announced an extension to the ISO standard Virtual Reality Modeling Language (VRML) to enable just these capabilities.
-
SRI: Description of the JV-FASTUS System Used for MUC-5
SRI International developed an information extraction system called FASTUS1 , a permuted acronym standing for "Finite State Automata-based Text Understanding System.
-
Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
Reasoning systems that are goal-directed and avoid repeatedly solving the same goals can be constructed by formulating the top-down methods metatheoretically for execution by a bottom-up reasoning system (hence, we…
-
On determining the Fundamental matrix: analysis of different methods and experimental results
This paper addresses the important problem of its robust determination given a number of image point correspondences. We first define precisely this matrix and show clearly how it is related…
-
Deductive Foundations of Computer Programming
Book available online