Tomasz Kowalski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2006–2022
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | AiML | Robinson consistency in many-sorted hybrid first-order logics. | Guillermo Badia, Tomasz Kowalski, Daniel Gaina |
| 2018 | AiML | Normal Extensions of KTB of Codimension 3. | James Koussas, Tomasz Kowalski, Yutaka Miyazaki, Michael Stevens |
| 2018 | AiML | Coherence in Modal Logic. | Tomasz Kowalski, George Metcalfe |
| 2008 | ECAI | Combining binary constraint networks in qualitative reasoning. | Jason Jingshi Li, Tomasz Kowalski, Jochen Renz, Sanjiang Li |
| 2006 | SMC | Net Verifier of Discrete Event System models expressed by UML Activity Diagrams. | Tomasz Kowalski |