Graph-based construction of minimal models

, , &
Artificial Intelligence 313 (C):103754 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2022.103754

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,829

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

On the tractability of minimal model computation for some CNF theories.Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Fabio Fassetti & Luigi Palopoli - 2014 - Artificial Intelligence 210 (C):56-77.
Isomorphism and equational equivalence of continuous λ-models.Rainer Kerth - 1998 - Studia Logica 61 (3):403-415.
Reasoning with minimal models: efficient algorithms and applications.Rachel Ben-Eliyahu-Zohary & Luigi Palopoli - 1997 - Artificial Intelligence 96 (2):421-449.
Outlier detection using default reasoning.Fabrizio Angiulli, Rachel Ben-Eliyahu – Zohary & Luigi Palopoli - 2008 - Artificial Intelligence 172 (16-17):1837-1872.
Outlier detection for simple default theories.Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary & Luigi Palopoli - 2010 - Artificial Intelligence 174 (15):1247-1253.
On best transitive approximations to simple graphs.Leon Horsten - unknown
Minimal Type Theory (MTT).P. Olcott - manuscript
Isomorphisms and nonisomorphisms of graph models.Harold Schellinx - 1991 - Journal of Symbolic Logic 56 (1):227-249.
An incremental algorithm for generating all minimal models.Rachel Ben-Eliyahu – Zohary - 2005 - Artificial Intelligence 169 (1):1-22.
Construction of saturated quasi-minimal structure.Masanori Itai, Akito Tsuboi & Kentaro Wakai - 2004 - Journal of Symbolic Logic 69 (1):9-22.
Vectorization hierarchies of some graph quantifiers.Lauri Hella & Juha Nurmonen - 2000 - Archive for Mathematical Logic 39 (3):183-207.
Not-So-Minimal Models: Between Isolation and Imagination.Lorenzo Casini - 2014 - Philosophy of the Social Sciences 44 (5):646-672.
On graph-theoretic fibring of logics.A. Sernadas, C. Sernadas, J. Rasga & M. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1321-1357.
A new spectrum of recursive models using an amalgamation construction.Uri Andrews - 2011 - Journal of Symbolic Logic 76 (3):883 - 896.
No Learning from Minimal Models.Roberto Fumagalli - 2015 - Philosophy of Science 82 (5):798-809.

Analytics

Added to PP
2022-09-13

Downloads
8 (#1,316,752)

6 months
2 (#1,196,523)

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

Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.

View all 17 references / Add more references