Compulsory reduction in linear derivation systems

Artificial Intelligence 50 (1):131-132 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(91)90095-2

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Reduction rules for resolution-based systems.Norbert Eisinger, Hans Jürgen Ohlbach & Axel Präcklein - 1991 - Artificial Intelligence 50 (2):141-181.
Automatic qualitative analysis of dynamic systems using piecewise linear approximations.Elisha Sacks - 1990 - Artificial Intelligence 41 (3):313-364.
Stability margin for linear systems with fuzzy parametric uncertainty.Petr Hušek - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), PRICAI 2008: Trends in Artificial Intelligence. Springer. pp. 708--717.
Qualitative analysis of behavior of systems of piecewise linear differential equations with two state variables.Toyoaki Nishida & Shuji Doshita - 1995 - Artificial Intelligence 75 (1):3-29.
Finding optimal derivation strategies in redundant knowledge bases.Russell Greiner - 1991 - Artificial Intelligence 50 (1):95-115.
Relational linear programming.Kristian Kersting, Martin Mladenov & Pavel Tokmakov - 2017 - Artificial Intelligence 244 (C):188-216.
Linear resolution for consequence finding.Katsumi Inoue - 1992 - Artificial Intelligence 56 (2-3):301-353.
Deduction Systems in Artificial Intelligence.Karl Hans Bläsius & Hans-Jürgen Bürckert - 1989
A linear approximation method for the Shapley value.Shaheen S. Fatima, Michael Wooldridge & Nicholas R. Jennings - 2008 - Artificial Intelligence 172 (14):1673-1699.
Linear resolution with selection function.Robert Kowalski & Donald Kuehner - 1971 - Artificial Intelligence 2 (3-4):227-260.

Analytics

Added to PP
2020-12-22

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Linear resolution with selection function.Robert Kowalski & Donald Kuehner - 1971 - Artificial Intelligence 2 (3-4):227-260.
Refutation graphs.Robert E. Shostak - 1976 - Artificial Intelligence 7 (1):51-64.

Add more references