Algorithms for computing minimal equivalent subformulas

, , &
Artificial Intelligence 216:309-326 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2014.07.011

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,139

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

Algorithms for computing strategies in two-player simultaneous move games.Branislav Bošanský, Viliam Lisý, Marc Lanctot, Jiří Čermák & Mark H. M. Winands - 2016 - Artificial Intelligence 237:1-40.
Reasoning with minimal models: efficient algorithms and applications.Rachel Ben-Eliyahu-Zohary & Luigi Palopoli - 1997 - Artificial Intelligence 96 (2):421-449.
Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure.Alfonso E. Gerevini & Alessandro Saetti - 2011 - Artificial Intelligence 175 (2):556-585.
In Algorithms We Trust: Magical Thinking, Superintelligent Ai and Quantum Computing.Nathan Schradle - 2020 - Zygon 55 (3):733-747.
Algorithms for computing minimal conflicts.S. Luan, L. Magnani & G. Dai - 2006 - Logic Journal of the IGPL 14 (2):391--406.
Thinking Computers and Virtual Persons: Essays on the Intentionality of Machines.Eric Dietrich (ed.) - 1994 - Academic Press.
Logics in Artificial Intelligence (JELIA 2004).Jose Alferes & Joao Leite (eds.) - 2004 - Springer.
Expression unleashed in artificial intelligence.Ekaterina I. Tolstaya, Abhinav Gupta & Edward Hughes - 2023 - Behavioral and Brain Sciences 46:e16.
Memetic algorithms outperform evolutionary algorithms in multimodal optimisation.Phan Trung Hai Nguyen & Dirk Sudholt - 2020 - Artificial Intelligence 287 (C):103345.
The Society Of Mind.Marvin Minsky - 1986 - Simon & Schuster.

Analytics

Added to PP
2020-12-22

Downloads
17 (#1,153,842)

6 months
10 (#413,587)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Redundancy in logic I: CNF propositional formulae.Paolo Liberatore - 2005 - Artificial Intelligence 163 (2):203-232.
Redundancy in logic II: 2CNF and Horn propositional formulae.Paolo Liberatore - 2008 - Artificial Intelligence 172 (2-3):265-299.
Redundancy in logic III: Non-monotonic reasoning.Paolo Liberatore - 2008 - Artificial Intelligence 172 (11):1317-1359.

Add more references