Other formats:
BibTeX
LaTeX
RIS
@proceedings{1356883, author = {Štěpánek, Jan and Ondráček, Tomáš}, booktitle = {Logic Café Workshop, 6. 10. 2016, Ostrava}, keywords = {adaptive logic; defeasible reasoning; non-monotonic logic; dynamic proof}, language = {eng}, title = {An Outine of the Concept of Adaptive Logics}, year = {2016} }
TY - CONF ID - 1356883 AU - Štěpánek, Jan - Ondráček, Tomáš PY - 2016 TI - An Outine of the Concept of Adaptive Logics KW - adaptive logic KW - defeasible reasoning KW - non-monotonic logic KW - dynamic proof N2 - The aim of this talk is to introduce the concept of adaptive logics (AL for short). A motivation and an emergence of AL are briefly introduced. Specifics of AL are analysed – especially its non-monotonic character, internal and external dynamics, as well as the structure of AL, namely the role of so called upper limit logic and lower limit logic. Dynamic proof is also described in the last part of the talk. ER -
ŠTĚPÁNEK, Jan and Tomáš ONDRÁČEK. An Outine of the Concept of Adaptive Logics. In \textit{Logic Café Workshop, 6. 10. 2016, Ostrava}. 2016.
|