A compositional reasoning system for executing nonmonotonic theories of reasoning

J. Engelfriet, J. Treur

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationQualitative and Quantitative Practical Reasoning - 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997, Proceedings
PublisherSpringer/Verlag
Pages252-266
Number of pages15
Volume1244
ISBN (Print)3-540-63095-3, 9783540630951
DOIs
Publication statusPublished - 1997
Event1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997 - Bad Honnef, Germany
Duration: 9 Jun 199712 Jun 1997

Publication series

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

Conference

Conference1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR 1997
CountryGermany
CityBad Honnef
Period9/06/9712/06/97

Cite this