dr Michał Wrona

Jednostki:

  • Wydział Matematyki i Informatyki UJ
  • Zespół Katedr i Zakładów Informatyki Matematycznej
  • Katedra Algorytmiki

Publikacje:

15.
The Complexity of Minimal Inference Problem for Conservative Constraint Languages, PROCEEDINGS OF THE ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS) (2017),
14.
Minimal Inference Problem over Finite Domains: The Landscape of Complexity, PROCEDINGS OF THE INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR) (2017),
10.
Local-to-Global Consistency Implies Tractability of Abduction, PROCEEDINGS OF THE TWENTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (2014), 1128--1134
8.
The Complexity of Abduction for Equality Constraint Languages, LIPICS–LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS vol. 23 (2013), 615--633
7.
Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction, 19TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (2012), 99--106
6.
Equivalence Constraint Satisfaction Problems, LIPICS - LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS (2012), 122--136
2.
2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices, 37TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, ISMVL 2007 vol. IEEE Computer Society (2007), 21