Zobrazeno 1 - 10
of 12
pro vyhledávání: '"Michał Zawidzki"'
Autor:
Andrzej Indrzejczak, Michał Zawidzki
Publikováno v:
Synthese. 201
Definite descriptions are widely discussed in linguistics and formal semantics, but their formal treatment in logic is surprisingly modest. In this article we present a sound, complete, and cut-free tableau calculus $${\textbf{TC}}_{R_{\lambda }}$$ T
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9e2dcf957401bb03bee9a7ed1e7e9e8c
https://doi.org/10.1007/s11229-023-04048-y
https://doi.org/10.1007/s11229-023-04048-y
Autor:
Andrzej Indrzejczak, Michał Zawidzki
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 358
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::19e9f0f4efe88745b9f6a0f6965c4171
https://doi.org/10.4204/eptcs.358.0
https://doi.org/10.4204/eptcs.358.0
Publikováno v:
KR
DatalogMTL is an extension of Datalog with metric temporal operators that has recently received significant attention. In contrast to plain Datalog, where scalable implementations are often based on materialisation (a.k.a. forward chaining), reasonin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c4a09417123b8d09a736fec0fb96ce42
https://doi.org/10.24963/kr.2021/59
https://doi.org/10.24963/kr.2021/59
Publikováno v:
Automated Deduction – CADE 28 ISBN: 9783030798758
Sentential Calculus with Identity (SCI) is an extension of classical propositional logic, featuring a new connective of identity between formulas. In SCI two formulas are said to be identical if they share the same denotation. In the semantics of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a627c4d36135dc73cf14290b7f502c8
https://doi.org/10.1007/978-3-030-79876-5_3
https://doi.org/10.1007/978-3-030-79876-5_3
Autor:
Andrzej Indrzejczak, Michał Zawidzki
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030860585
TABLEAUX
TABLEAUX
The paper provides a tableau approach to definite descriptions. We focus on several formalizations of the so-called minimal free description theory (MFD) usually formulated axiomatically in the setting of free logic. We consider five analytic tableau
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::15f3352bc6a013c3614555efb0d188c7
We present a modal logic for subject-oriented representation and reasoning about a two-dimensional space, which we call SOSL . The space is represented with the polar coordinate system where the subject occupies the central point and modal operators
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8ac1c8f42c9bc2329f1a668b299ae111
https://doi.org/10.1016/j.ic.2020.104643
https://doi.org/10.1016/j.ic.2020.104643
Publikováno v:
IEEE Transactions on Computational Intelligence and AI in Games. 8:152-165
In this paper, we present a program designed to successfully and autonomously play Angry Birds , which attempts to embrace motives of human players in their choices of targets they want to shoot at in a game play. The program comprises two modules: t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e88eef684314ad843eb8f8d425ea3136
https://doi.org/10.1109/tciaig.2016.2561080
https://doi.org/10.1109/tciaig.2016.2561080
Publikováno v:
Outstanding Contributions to Logic ISBN: 9783319978789
This chapter provides a concise overview of Ewa Orlowska’s research contributions and the content of the volume.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d478409ee248c7e77fa57d86ffd75ad3
https://doi.org/10.1007/978-3-319-97879-6_1
https://doi.org/10.1007/978-3-319-97879-6_1
Publikováno v:
Outstanding Contributions to Logic ISBN: 9783319978789
The chapter is a transcription of editors’ discussion with Ewa Orlowska. It reveals some extracurricular flavors of Ewa Orlowska’s biography, brings to light a difficult historical context of her academic career and life, and shows how much inter
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::68f51c0f6dd6398e0ccfd77c0aed2136
https://doi.org/10.1007/978-3-319-97879-6_3
https://doi.org/10.1007/978-3-319-97879-6_3
This book is a tribute to Professor Ewa Orłowska, a Polish logician who was celebrating the 60th year of her scientific career in 2017. It offers a collection of contributed papers by different authors and covers the most important areas of her rese