Automated reasoning with nonmonotonic logics (INVITED TALK)

Mirosław Truszczyński

doi:10.1007/3-540-63255-7_8

Automated reasoning with nonmonotonic logics (INVITED TALK)

Mirosław Truszczyński

Computer Science

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

Original language	English
Title of host publication	Logic Programming and Nonmonotonic Reasoning - 4th International Conference, LPNMR 1997, Proceedings
Editors	Jurgen Dix, Ulrich Furbach, Anil Nerode
Pages	112-114
Number of pages	3
DOIs	https://doi.org/10.1007/3-540-63255-7_8
State	Published - 1997
Event	4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997 - Dagstuhl Castle, Germany Duration: Jul 28 1997 → Jul 31 1997

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1265
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997
Country/Territory	Germany
City	Dagstuhl Castle
Period	7/28/97 → 7/31/97

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/3-540-63255-7_8

Cite this

Truszczyński, M. (1997). Automated reasoning with nonmonotonic logics (INVITED TALK). In J. Dix, U. Furbach, & A. Nerode (Eds.), Logic Programming and Nonmonotonic Reasoning - 4th International Conference, LPNMR 1997, Proceedings (pp. 112-114). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1265). https://doi.org/10.1007/3-540-63255-7_8

Truszczyński, Mirosław. / Automated reasoning with nonmonotonic logics (INVITED TALK). Logic Programming and Nonmonotonic Reasoning - 4th International Conference, LPNMR 1997, Proceedings. editor / Jurgen Dix ; Ulrich Furbach ; Anil Nerode. 1997. pp. 112-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4fad12cf9c9d46a799a3d1cc4280127d,

title = "Automated reasoning with nonmonotonic logics (INVITED TALK)",

author = "Miros{\l}aw Truszczy{\'n}ski",

year = "1997",

doi = "10.1007/3-540-63255-7_8",

language = "English",

isbn = "9783540632559",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "112--114",

editor = "Jurgen Dix and Ulrich Furbach and Anil Nerode",

booktitle = "Logic Programming and Nonmonotonic Reasoning - 4th International Conference, LPNMR 1997, Proceedings",

note = "4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997 ; Conference date: 28-07-1997 Through 31-07-1997",

}

Truszczyński, M 1997, Automated reasoning with nonmonotonic logics (INVITED TALK). in J Dix, U Furbach & A Nerode (eds), Logic Programming and Nonmonotonic Reasoning - 4th International Conference, LPNMR 1997, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1265, pp. 112-114, 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997, Dagstuhl Castle, Germany, 7/28/97. https://doi.org/10.1007/3-540-63255-7_8

Automated reasoning with nonmonotonic logics (INVITED TALK). / Truszczyński, Mirosław.
Logic Programming and Nonmonotonic Reasoning - 4th International Conference, LPNMR 1997, Proceedings. ed. / Jurgen Dix; Ulrich Furbach; Anil Nerode. 1997. p. 112-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1265).

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

TY - GEN

T1 - Automated reasoning with nonmonotonic logics (INVITED TALK)

AU - Truszczyński, Mirosław

PY - 1997

Y1 - 1997

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

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

U2 - 10.1007/3-540-63255-7_8

DO - 10.1007/3-540-63255-7_8

M3 - Conference contribution

AN - SCOPUS:84946740129

SN - 9783540632559

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 112

EP - 114

BT - Logic Programming and Nonmonotonic Reasoning - 4th International Conference, LPNMR 1997, Proceedings

A2 - Dix, Jurgen

A2 - Furbach, Ulrich

A2 - Nerode, Anil

T2 - 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997

Y2 - 28 July 1997 through 31 July 1997

ER -

Truszczyński M. Automated reasoning with nonmonotonic logics (INVITED TALK). In Dix J, Furbach U, Nerode A, editors, Logic Programming and Nonmonotonic Reasoning - 4th International Conference, LPNMR 1997, Proceedings. 1997. p. 112-114. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-63255-7_8

Automated reasoning with nonmonotonic logics (INVITED TALK)

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this