Formalizing narratives using nested circumscription

, &
Artificial Intelligence 104 (1-2):107-164 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(98)00070-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,410

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

Value minimization in circumscription.China Baral, Alfredo Gabaldon & Alessandro Provetti - 1998 - Artificial Intelligence 102 (2):163-186.
Circumscriptive theories: A logic-based framework for knowledge representation. [REVIEW]Vladimir Lifshitz - 1988 - Journal of Philosophical Logic 17 (4):391 - 441.
Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.
Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu.Michał Tyburski - 2009 - Filozofia Nauki 17 (1).
Formalizing sensing actions— A transition function based approach.Tran Cao Son & Chitta Baral - 2001 - Artificial Intelligence 125 (1-2):19-91.
Decidability and definability with circumscription.John S. Schlipf - 1987 - Annals of Pure and Applied Logic 35 (C):173-191.
FDE Circumscription.Daniel Skurt - 2017 - Australasian Journal of Logic 14 (2).
Nested art.Paisley Nathan Livingston - 2003 - Journal of Aesthetics and Art Criticism 61 (3):233–246.
Expressiveness and definability in circumscription.Francicleber Martins Ferreira & Ana Teresa Martins - 2011 - Manuscrito 34 (1):233-266.
Nested PLS.Toshiyasu Arai - 2011 - Archive for Mathematical Logic 50 (3-4):395-409.
Nested sets and base-rate neglect: Two types of reasoning?Wim De Neys - 2007 - Behavioral and Brain Sciences 30 (3):260-261.
On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems.Tim Lyon - 2020 - In Sergei Artemov & Anil Nerode (eds.), Logical Foundations of Computer Science. Cham: pp. 177-194.
Mind as a nested operational architectonics of the brain.Andrew A. Fingelkurts & Alexander A. Fingelkurts - 2012 - Physics of Life Reviews 9 (1):49-50.
Nested Named Entity Recognition.Christopher D. Manning - unknown
Trinity as Circumscription of Divine Love according to Friedrich Schleiermacher.Gregory A. Walter - 2008 - Neue Zeitschrift für Systematicsche Theologie Und Religionsphilosophie 50 (1):62-74.

Analytics

Added to PP
2020-12-22

Downloads
7 (#1,393,654)

6 months
4 (#799,368)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Abductive reasoning through filtering.Chitta Baral - 2000 - Artificial Intelligence 120 (1):1-28.

Add more citations

References found in this work

Towards a general theory of action and time.James F. Allen - 1984 - Artificial Intelligence 23 (2):123-154.

View all 7 references / Add more references