Items where Author is "Baaz, M."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Category | No Grouping
Jump to: Journal Paper | Paper in Conference Proceedings or in Workshop Proceedings
Number of items: 13.

Journal Paper

  • Juridische Schlüsse und Mehrwertige Logik
    Quirchmayr, Gerald and Baaz, M. Jahrbuch der Kurt-Gödel-Gesellschaft, 1 (1). Kurt-Gödel-Gesellschaft (1988)

    • Paper in Conference Proceedings or in Workshop Proceedings

  • The Application of Kripke-Type Structures to Regional Development Programs
    Quirchmayr, Gerald and Baaz, M. and Galindo, F. and Vazquez, M. In: DEXA '93 , 1993-08-01 , Prague, Czech Republic (1993)

  • Analogical Reasoning and Logic Based Knowledge Representation in Business Environments
    Quirchmayr, Gerald and Baaz, M. In: 4th International Computing Congress: Artificial Intelligence Technology , 1993-12-01 , Hyderabad (1993)

  • A Many-Valued Logic for Default Reasoning
    Quirchmayr, Gerald and Baaz, M. and Fermuller, G. and Zach, R. In: 8th International Symposium on Computer and Information Sciences , 1993-11-01 , Istanbul, Turkey (1993)

  • Analogical Reasoning in Legal Expert Systems
    Quirchmayr, Gerald and Baaz, M. In: I.I.T.T. Conference on "Expert Systems Applications" , 1992-01-01 , Texas, Houston (1992)

  • A Formal Model of Analogical Reasoning: a Logic-based Approach
    Quirchmayr, Gerald and Baaz, M. In: 6th Czechoslovak Annual Conference on Artificial Intelligence , 1991-06-01 , Prague, Czechoslovakia (1991)

  • A Formal Model for the Support of Analogical Reasoning in Legal Expert Systems
    Quirchmayr, Gerald and Baaz, M. In: DEXA 91' Conference , 1991-01-01 , Berlin, Germany (1991)

  • A Formal Model of Managerial Decision Making
    Quirchmayr, Gerald and Baaz, M. In: ISCIS VI , 1991-01-01 , Antalya, Turkey (1991)

  • A Logic-based Model of Legal Decision Making
    Quirchmayr, Gerald and Baaz, M. In: 10th International Workshop on Expert Systems and their Applications , 1990-01-01 , Nanterre (1990)

  • Automated Theorem Proving for the Deduction of Knowledge in Databases with Contradictory Information
    Quirchmayr, Gerald and Baaz, M. In: International Symposium Applied Informatics , 1988-01-01 , Anaheim, Calgary (1988)

  • Models of Juridical Decisions Based on the Concept of Possible Words
    Quirchmayr, Gerald and Baaz, M. In: 8th International Workshop on Expert Systems and their Applications , 1988-01-01 , Nanterre (1988)

  • The Application of Multiple Valued Logic in Supporting Legal Decision Making
    Quirchmayr, Gerald and Baaz, M. In: 17th International Symposium on Multiple-Valued Logic , 1987-01-01 , Washington, USA (1987)

  • Modelling Priorities in Legal Expert Systems
    Quirchmayr, Gerald and Baaz, M. In: 7th International Congress of Cybernetics and Systems , 1987-01-01 , keine Angabe (1987)

    • This list was generated on Thu Nov 21 13:06:31 2024 CET.
    Universität Wien| Fakultät für Informatik | Währinger Straße 29 | 1090 Wien | T +43-1-4277-780 01 | Imprint | Webteam
    EPrints Logo
    CS is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.