Igor Mozetic

Interval Arithmetic With (2007)

Clp Igor, Igor Mozetic, Christian Holzbaur

We describe two extensions of CLP(!), motivated by an application to modelbased diagnosis of active analog filters. The first extension addresses the problem of rounding errors in CLP(!). We...

Model-Based Analogue Circuit Diagnosis with CLP(R) (2007)

Igor Mozetic, Christian Holzbaur, Iskra Hipot

Model-based diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and behavior. Diagnostic systems usually rely on qualitative models and...

LEARNING RIPPLE DOWN RULES FOR EFFICIENT LEMMATIZATION (2007)

Jursic, Matjaz, Mozetic, Igor, Lavrac, Nada

The paper presents a system, LemmaGen, for learning Ripple Down Rules specialized for automatic generation of lemmatizers. The system was applied to 14 different lexicons and produced efficient...

Secondary structure prediction by Inductive Logic Programming (1998)

Igor Mozetic

residues we rst obtained the PHD server [4, 5] secondary structure assignments with reliability index R (0-9). We formed attributes with values of PHD predictions for H if R 3, L if R 4, E if R 5,...

Computing Minimal Diagnoses with Critical Set Algorithms (1994)

Igor Mozetic

The paper is concerned with the time complexity of model-based diagnosis. Our experiments indicate that the time to compute minimal diagnoses is dominated by the calls to the model of the device...

Enhancing Design-for-Test for Active Analog Filters by Using CLP(R) (1994)

Franc Novak, Anton Biasizzo, Igor Mozetic, Marina Santo-Zarnik

We describe a computer-aided approach to automatic fault isolation in active analog filters which enhances the design-for-test (DFT) methodology proposed by Soma (1990). His primary concern was in...

Controlling the Complexity in Model-Based Diagnosis (1993)

Igor Mozetic, Christian Holzbaur

We present IDA --- an Incremental Diagnostic Algorithm which computes minimal diagnoses from diagnoses, and not from conflicts. As a consequence of this, and by using different models, one can...

Diagnosing Analog Circuits Designed-for-Testability by Using CLP(R) (1993)

Igor Mozetic, Franc Novak, Marina Santo-zarnik, Anton Biasizzo

Recently, a design-for-test (DFT) methodology for active analog filters was proposed with the primary goal in increased controllability and observability. We operationalize and extend the DFT...

A Polynomial-Time Algorithm for Model-Based Diagnosis (1992)

Igor Mozetic

We present IDA --- an Incremental Diagnostic Algorithm which computes minimal diagnoses from diagnoses, and not from conflicts. As a consequence, by using a `weak' fault model, the worst-case...

Improving Diagnostic Efficiency in KARDIO: Abstractions, Constraint Propagation, and Model Compilation (1992)

Igor Mozetic, Bernhard Pfahringer

ions, Constraint Propagation, and Model Compilation 1 Igor Mozetic and Bernhard Pfahringer Austrian Research Institute for Artificial Intelligence Schottengasse 3, A-1010 Vienna, Austria e-mail:...

Second Generation Knowledge Acquisition Methods and Their Application to Medicine (1992)

Nada Lavrac, Igor Mozetic

First generation expert systems rely on the use of surface knowledge, such as associational or heuristic. This knowledge is typically acquired from domain experts through exhaustive knowledge...

Model-Based Diagnosis: An Overview (1992)

Igor Mozetic

Diagnosis is an important application area of Artificial Intelligence. First generation expert diagnostic systems had exhibited difficulties which motivated the development of model-based reasoning...

Extending Explanation-Based Generalization by Abstraction Operators (1991)

Igor Mozetic, Christian Holzbaur

ion Operators Igor Mozetic Austrian Research Institute for Artificial Intelligence Schottengasse 3, A-1010 Vienna, Austria igor@ai-vie.uucp Christian Holzbaur Austrian Research Institute for...

Hierarchical Model-Based Diagnosis (1991)

Igor Mozetic

Model-based reasoning about a system requires an explicit representation of the system's components and their connections. Diagnosing such a system consists of locating those components whose...

Integrating Numerical and Qualitative Models within Constraint Logic Programming (1991)

Igor Mozetic Austrian, Igor Mozetic, Christian Holzbaur

The paper describes an interplay between numerical and qualitative models represented in a uniform Constraint Logic Programming framework. In the context of model-based diagnosis a detailed,...

Model-Based Diagnosis with Constraint Logic Programs (1991)

Igor Mozetic, Christian Holzbaur

Model-based diagnosis is the activity of locating malfunctioning components of a system solely on the basis of its structure and behavior. In the paper we describe the role of Constraint Logic...

Reduction of Diagnostic Complexity through Model Abstractions (1990)

Igor Mozetic

ions Igor Mozetic Austrian Research Institute for Artificial Intelligence Schottengasse 3, A-1010 Vienna Austria igor@ai.univie.ac.at Abstract The paper presents an application of abstractions to...

The AQ15 Inductive Learning System: An Overview and Experiments (1986)

Michalski, Ryszard S., Mozetic, Igor, Hong, Jiarong, Lavrac, Nada

This research was supported in part by the National Science Foundation under Grant No. DCR 84-06801, the Office of Naval Research under Grant No. N00014-82-K-0186, the Defense Advanced Research...

Collaboration Opportunity Finder (1970)

Damjan Demsar, Igor Mozetic, Nada Lavrac

We have designed and implemented a software tool coFinder C a collaboration opportunity finder - aimed at facilitating the work of an opportunity broker in Collaborative Networked Organizations. It...