An Answer Set Prolog formalization of shikake principles and examples

AI and Society 30 (4):537-547 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/s00146-014-0555-6

Links

PhilArchive



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

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

The Mechanism and Freedom of Logic.Granville C. Henry - 1993 - Upa.
The Implementation of Prolog.Patrice Boizumault - 2014 - Princeton Legacy Library.
Berkeley and Idealism.Noel Fleming - 1985 - Philosophy 60 (233):309 - 325.
A Prolog Implementation of the Method of Euler Circles for Syllogistic Reasoning.Peter Yule - 1996 - Hcrc Publications, University of Edinburgh.
Limitations of formalization.Constantine Politis - 1965 - Philosophy of Science 32 (3/4):356-360.
Mints type deductive calculi for logic programming.J. C. Shepherdson - 1992 - Annals of Pure and Applied Logic 56 (1-3):7-17.
Prolog Programming for Students: With Expert Systems and Artificial Intelligence Topics.David Callear - 2001 - Cengage Learning Business Press.
Prolog for Automatic Processing of Synonymy.Santiago Lanza - 2000 - Logica Trianguli 4:25-39.
What is answer set programming?Vladimir Lifschitz - unknown
The role of examples in moral philosophy.Alan Brinton - 1988 - Argumentation 2 (2):209-220.
Enhancing engagement behavior using Shikake.Hikaru Yamamoto - 2015 - AI and Society 30 (4):519-525.
Study on design of Shikake for landscape foreignization.Chikahiro Hanamura - 2015 - AI and Society 30 (4):527-536.
A Fuzzy PROLOG Database System.Deyi Li & Dongbo Liu - 1990 - *Research Studies Press.
Logic and Prolog.Richard Spencer-Smith - 1991
First-order theories for pure Prolog programs with negation.Robert F. Stärk - 1995 - Archive for Mathematical Logic 34 (2):113-144.

Analytics

Added to PP
2015-09-02

Downloads
26 (#592,813)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Some philosophical problems from the standpoint of artificial intelligence.John McCarthy & Patrick Hayes - 1969 - In B. Meltzer & Donald Michie (eds.), Machine Intelligence 4. Edinburgh University Press. pp. 463--502.
The Stable Model Semantics for Logic Programming.Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.
Some properties of system descriptions of.Michael Gelfond & Daniela Inclezan - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):105-120.

Add more references