A compositional reasoning system for executing nonmonotonic theories of reasoning

J. Engelfriet; J. Treur

doi:10.1007/BFb0035627

A compositional reasoning system for executing nonmonotonic theories of reasoning

J. Engelfriet, J. Treur

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

Original language	English
Title of host publication	Qualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings
Publisher	Springer/Verlag
Pages	252-266
Number of pages	15
Volume	1244
ISBN (Print)	3-540-63095-3, 9783540630951
DOIs	https://doi.org/10.1007/BFb0035627
Publication status	Published - 1997
Event	1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997 - Bad Honnef, Germany Duration: 9 Jun 1997 → 12 Jun 1997

Publication series

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

Conference

Conference	1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997
Country/Territory	Germany
City	Bad Honnef
Period	9/06/97 → 12/06/97

Access to Document

10.1007/BFb0035627

Handle.net

Persistent link

Cite this

Engelfriet, J., & Treur, J. (1997). A compositional reasoning system for executing nonmonotonic theories of reasoning. In Qualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings (Vol. 1244, pp. 252-266). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1244). Springer/Verlag. https://doi.org/10.1007/BFb0035627

Engelfriet, J. ; Treur, J. / A compositional reasoning system for executing nonmonotonic theories of reasoning. Qualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings. Vol. 1244 Springer/Verlag, 1997. pp. 252-266 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{a4940ee77c6541a7b000b40c31bc8862,

title = "A compositional reasoning system for executing nonmonotonic theories of reasoning",

author = "J. Engelfriet and J. Treur",

year = "1997",

doi = "10.1007/BFb0035627",

language = "English",

isbn = "3-540-63095-3",

volume = "1244",

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

publisher = "Springer/Verlag",

pages = "252--266",

booktitle = "Qualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings",

note = "1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997 ; Conference date: 09-06-1997 Through 12-06-1997",

}

Engelfriet, J & Treur, J 1997, A compositional reasoning system for executing nonmonotonic theories of reasoning. in Qualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings. vol. 1244, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1244, Springer/Verlag, pp. 252-266, 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Bad Honnef, Germany, 9/06/97. https://doi.org/10.1007/BFb0035627

A compositional reasoning system for executing nonmonotonic theories of reasoning. / Engelfriet, J.; Treur, J.
Qualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings. Vol. 1244 Springer/Verlag, 1997. p. 252-266 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1244).

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

TY - GEN

T1 - A compositional reasoning system for executing nonmonotonic theories of reasoning

AU - Engelfriet, J.

AU - Treur, J.

PY - 1997

Y1 - 1997

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

U2 - 10.1007/BFb0035627

DO - 10.1007/BFb0035627

M3 - Conference contribution

SN - 3-540-63095-3

SN - 9783540630951

VL - 1244

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

SP - 252

EP - 266

BT - Qualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings

PB - Springer/Verlag

T2 - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997

Y2 - 9 June 1997 through 12 June 1997

ER -

Engelfriet J, Treur J. A compositional reasoning system for executing nonmonotonic theories of reasoning. In Qualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings. Vol. 1244. Springer/Verlag. 1997. p. 252-266. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/BFb0035627

A compositional reasoning system for executing nonmonotonic theories of reasoning

Publication series

Conference

Access to Document

Handle.net

Other files and links

Cite this