Reduction rules for resolution-based systems

, &
Artificial Intelligence 50 (2):141-181 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(91)90098-5

Links

PhilArchive



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

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

Compulsory reduction in linear derivation systems.Geoff Sutcliffe - 1991 - Artificial Intelligence 50 (1):131-132.
Diversity of Rule-based Approaches: Classic Systems and Recent Applications.Grzegorz J. Nalepa - 2016 - Avant: Trends in Interdisciplinary Studies 7 (2):104-116.
General Systems Theory and Creative Artificial Intelligence.Andrei Armovich Gribkov & Aleksandr Aleksandrovich Zelenskii - forthcoming - Philosophy and Culture (Russian Journal).
Learning from others: Exchange of classification rules in intelligent distributed systems.Dominik Fisch, Martin Jänicke, Edgar Kalkowski & Bernhard Sick - 2012 - Artificial Intelligence 187-188 (C):90-114.
On the resolution-based family of abstract argumentation semantics and its grounded instance.P. Baroni, P. E. Dunne & M. Giacomin - 2011 - Artificial Intelligence 175 (3-4):791-813.
Production rules as a representation for a knowledge-based consultation program☆.Randall Davis, Bruce Buchanan & Edward Shortliffe - 1977 - Artificial Intelligence 8 (1):15-45.
Utilitarian welfare and representation guarantees of approval-based multiwinner rules.Martin Lackner & Piotr Skowron - 2020 - Artificial Intelligence 288 (C):103366.
Change in the rules; computers, dynamical systems and searle.Michael Wheeler - 2002 - In John Mark Bishop & John Preston (eds.), Views Into the Chinese Room: New Essays on Searle and Artificial Intelligence. London: Oxford University Press. pp. 338--359.
Retrospective on “Production rules as a representation for a knowledge-based consultation program”.Randall Davis, Bruce G. Buchanan & Edward H. Shortliffe - 1993 - Artificial Intelligence 59 (1-2):181-189.
Hybrid artificial intelligence system in constraint based scheduling of integrated manufacturing ERP systems.Izabela Rojek & Mieczysław Jagodziński - 2012 - In Emilio Corchado, Vaclav Snasel, Ajith Abraham, Michał Woźniak, Manuel Grana & Sung-Bae Cho (eds.), Hybrid Artificial Intelligent Systems. Springer. pp. 229--240.

Analytics

Added to PP
2020-12-22

Downloads
3 (#1,729,833)

6 months
2 (#1,445,320)

Historical graph of downloads
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.

Add more references