Solving problems by formula manipulation in logic and linear inequalities

Artificial Intelligence 3 (C):165-174 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(72)90046-x

Links

PhilArchive



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

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

Solving the Contamination Minimization Problem on Networks for the Linear Threshold Model.Masahiro Kimura, Kazumi Saito & Hiroshi Motoda - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), PRICAI 2008: Trends in Artificial Intelligence. Springer. pp. 977--984.
Computer models solving intelligence test problems: Progress and implications.José Hernández-Orallo, Fernando Martínez-Plumed, Ute Schmid, Michael Siebers & David L. Dowe - 2016 - Artificial Intelligence 230 (C):74-107.
Solving quantified constraint satisfaction problems.Ian P. Gent, Peter Nightingale, Andrew Rowley & Kostas Stergiou - 2008 - Artificial Intelligence 172 (6-7):738-771.
A language and a program for stating and solving combinatorial problems.Jena-Lonis Lauriere - 1978 - Artificial Intelligence 10 (1):29-127.
REF-ARF: A system for solving problems stated as procedures.Richard E. Fikes - 1970 - Artificial Intelligence 1 (1-2):27-120.
Methods for solving reasoning problems in abstract argumentation – A survey.Günther Charwat, Wolfgang Dvořák, Sarah A. Gaggl, Johannes P. Wallner & Stefan Woltran - 2015 - Artificial Intelligence 220 (C):28-63.
Constraint partitioning in penalty formulations for solving temporal planning problems.Benjamin W. Wah & Yixin Chen - 2006 - Artificial Intelligence 170 (3):187-231.
Socially useful artificial intelligence.Richard Ennals - 1987 - AI and Society 1 (1):5-15.
Solving logic program conflict through strong and weak forgettings.Yan Zhang & Norman Y. Foo - 2006 - Artificial Intelligence 170 (8-9):739-778.
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings.Jacques Calmet - 1998 - Boom Koninklijke Uitgevers.

Analytics

Added to PP
2020-12-22

Downloads
1 (#1,913,683)

6 months
4 (#862,833)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references