On the relationship between annotated logic programs and nonmonotonic formalisms

Krishnaprasad Thirunarayan

doi:10.1080/09528139508953819

On the relationship between annotated logic programs and nonmonotonic formalisms

Wright State University

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	391-406
Number of pages	16
Journal	Journal of Experimental and Theoretical Artificial Intelligence
Volume	7
Issue number	4
DOIs	https://doi.org/10.1080/09528139508953819
State	Published - Jan 1 1995

ASJC Scopus Subject Areas

Software
Theoretical Computer Science
Artificial Intelligence

Keywords

Logic programming
Negation
Nonmonotonic reasoning
Stratification

Disciplines

Bioinformatics
Communication
Communication Technology and New Media
Computer Sciences
Databases and Information Systems
Life Sciences
OS and Networks
Physical Sciences and Mathematics
Science and Technology Studies
Social and Behavioral Sciences

Access to Document

10.1080/09528139508953819

Cite this

@article{f243a2e1b1b54d1485c1db28ceccf788,

title = "On the relationship between annotated logic programs and nonmonotonic formalisms",

keywords = "Logic programming, Negation, Nonmonotonic reasoning, Stratification",

author = "Krishnaprasad Thirunarayan",

year = "1995",

month = jan,

day = "1",

doi = "10.1080/09528139508953819",

language = "English",

volume = "7",

pages = "391--406",

journal = "Journal of Experimental and Theoretical Artificial Intelligence",

issn = "0952-813X",

number = "4",

}

TY - JOUR

T1 - On the relationship between annotated logic programs and nonmonotonic formalisms

AU - Thirunarayan, Krishnaprasad

PY - 1995/1/1

Y1 - 1995/1/1

KW - Logic programming

KW - Negation

KW - Nonmonotonic reasoning

KW - Stratification

UR - http://www.scopus.com/inward/record.url?scp=21844490147&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=21844490147&partnerID=8YFLogxK

UR - https://corescholar.libraries.wright.edu/knoesis/865

U2 - 10.1080/09528139508953819

DO - 10.1080/09528139508953819

M3 - Article

AN - SCOPUS:21844490147

SN - 0952-813X

VL - 7

SP - 391

EP - 406

JO - Journal of Experimental and Theoretical Artificial Intelligence

JF - Journal of Experimental and Theoretical Artificial Intelligence

IS - 4

ER -

On the relationship between annotated logic programs and nonmonotonic formalisms

ASJC Scopus Subject Areas

Keywords

Disciplines

Access to Document

Other files and links

Cite this