Basic definitions and results

Dov M. Gabbay; Karl Schlechta

doi:10.1007/978-3-642-04407-6_2

Basic definitions and results

Dov M. Gabbay, Karl Schlechta

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Abstract

Notation 2.1.1 We use sometimes FOL as abbreviation for first-order logic and NML for nonmonotonic logic.

Original language	English
Title of host publication	Cognitive Technologies
Publisher	Springer Verlag
Pages	31-51
Number of pages	21
Edition	9783642044069
DOIs	https://doi.org/10.1007/978-3-642-04407-6_2
State	Published - 2010

Publication series

Name	Cognitive Technologies
Number	9783642044069
ISSN (Print)	1611-2482

Bibliographical note

Publisher Copyright:
© 2010, Springer-Verlag Berlin Heidelberg.

Access to Document

10.1007/978-3-642-04407-6_2

Cite this

@inbook{48e421e8b2c34ac5b73c80a330169360,

title = "Basic definitions and results",

abstract = "Notation 2.1.1 We use sometimes FOL as abbreviation for first-order logic and NML for nonmonotonic logic.",

author = "Gabbay, {Dov M.} and Karl Schlechta",

note = "Publisher Copyright: {\textcopyright} 2010, Springer-Verlag Berlin Heidelberg.",

year = "2010",

doi = "10.1007/978-3-642-04407-6_2",

language = "אנגלית",

series = "Cognitive Technologies",

publisher = "Springer Verlag",

number = "9783642044069",

pages = "31--51",

booktitle = "Cognitive Technologies",

address = "גרמניה",

edition = "9783642044069",

}

TY - CHAP

T1 - Basic definitions and results

AU - Gabbay, Dov M.

AU - Schlechta, Karl

PY - 2010

Y1 - 2010

N2 - Notation 2.1.1 We use sometimes FOL as abbreviation for first-order logic and NML for nonmonotonic logic.

AB - Notation 2.1.1 We use sometimes FOL as abbreviation for first-order logic and NML for nonmonotonic logic.

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

U2 - 10.1007/978-3-642-04407-6_2

DO - 10.1007/978-3-642-04407-6_2

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.chapter???

AN - SCOPUS:85028646524

T3 - Cognitive Technologies

SP - 31

EP - 51

BT - Cognitive Technologies

PB - Springer Verlag

ER -

Basic definitions and results

Abstract

Publication series

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this