Morgenstern, Leora - IBM T.J. Watson Research Center

Advanced Search

Morgenstern, Leora - IBM T.J. Watson Research Center

yFuture Work Test several ranking methods.ELECTRE, MELCHIOR, etc.
On John McCarthy's 80th Birthday, in Honor of his Contributions Patrick J. Hayes and Leora Morgenstern
Nonmonotonic Logics Nonmonotonic logics are used to formalize plausible reasoning. They allow more gen
Tutorial on Bayesian Networks Jack Breese & Daphne Koller
Motivated Action Theory: A Formal Theory of Causal Reasoning
A First-Order Theory of Stanislavskian Scene Analysis: Appendix A (Object-level Proof)
An Expert System Using Nonmonotonic Techniques for Benefits Inquiry in the Insurance Industry
Applications of Logicist Knowledge Representation to Enterprise Modelling
Tutorial on Bayesian Networks Jack Breese & Daphne Koller
Query Answering Under Exact View Assumption in Local As View Data Integration System.
A Proper Ontology for Reasoning About Knowledge and Planning
Knowledge and the Frame Problem Leora Morgenstern
A First-Order Axiomatization of the Surprise Birthday Present Problem: Preliminary Report
New Problems for Inheritance Theories Leora Morgenstern
Programming Preferences
Epistemic Logics for Multiple Agent Nonmonotonic Reasoning I
Preprocessing Succinctness
Inheritance Comes of Age: Applying Nonmonotonic Techniques to Problems in Industry
Inheritance Comes of Age: Applying Nonmonotonic Techniques to Problems in Industry
Representation and Reasoning with Hierarchically Structured Variables
MidSized Axiomatizations of Commonsense Problems: A Case Study in Egg Cracking
Inheriting Wellformed Formulae in a FormulaAugmented Semantic Leora Morgenstern
A First-Order Theory of Stanislavskian Scene Analysis Leora Morgenstern
This article was originally published in a journal published by Elsevier, and the attached copy is provided by Elsevier for the
A First-Order Axiomatization of the Surprise Birthday Present Problem: Preliminary Report
A First-Order Theory of Communication and Multi-Agent Plans
SNAP: An Action-Based Ontology for E-commerce Reasoning Leora Morgenstern and Doug Riecken
Automatic Composition ofAutomatic Composition of ee--ServicesServices Daniela BerardiDaniela Berardi
Around merging strategy-proofness Patricia Everaere
Theoretical foundations are completely specified. The algorithm is proved sound and complete.
Emotions in Cognitive Agents within the Fluent Calculus Yves Martin
Teaching Knowledge Representation: Challenges and Proposals Leora Morgenstern
Epistemic Change in the Action Language Framework Aaron Hunter
Volume title 1 The editors