Michal Walicki

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 4

Top Topics

Multiple Kernel Learning

Expressive Power

Histogram Intersection

Top Venues

Publications

Michal Walicki
Extensions in graph normal form. Log. J. IGPL 30 (1) (2022)
Michal Walicki, Sjur K. Dyrkolbotn
Paraconsistency, resolution and relevance. CoRR (2019)
Michal Walicki
Kernels of digraphs with finitely many ends. Discret. Math. 342 (2) (2019)
Michal Walicki
Resolving Infinitary Paradoxes. J. Symb. Log. 82 (2) (2017)
Sjur K. Dyrkolbotn, Michal Walicki
Propositional discourse logic. Synth. 191 (5) (2014)
Sjur K. Dyrkolbotn, Michal Walicki
Kernels in digraphs that are not kernel perfect. Discret. Math. 312 (16) (2012)
Marc Bezem, Clemens Grabmayer, Michal Walicki
Expressive power of digraph solvability. Ann. Pure Appl. Log. 163 (3) (2012)
Michal Walicki, Sjur K. Dyrkolbotn
Finding kernels or solving SAT. J. Discrete Algorithms 10 (2012)
Michal Walicki, Diogo R. Ferreira
Sequence partitioning for process mining with unlabeled event logs. Data Knowl. Eng. 70 (10) (2011)
Michal Walicki, Diogo R. Ferreira
Mining sequences for patterns with non-repeating symbols. IEEE Congress on Evolutionary Computation (2010)
Michal Walicki, Marc Bezem, Wojtek Szajnkenig
Developing Bounded Reasoning. J. Log. Lang. Inf. 18 (1) (2009)
Michal Walicki
Reference, paradoxes and truth. Synth. 171 (1) (2009)
Thomas Ågotnes, Michal Walicki
Complete Axiomatisations of Properties of Finite Sets. Log. J. IGPL 16 (3) (2008)
Marc Bezem, Tore Langholm, Michal Walicki
Completeness and Decidability in Sequence Logic. LPAR (2007)
Yngve Lamo, Michal Walicki
Quantifier-free logic for nondeterministic theories. Theor. Comput. Sci. 355 (2) (2006)
Thomas Ågotnes, Michal Walicki
Complete Axiomatizations of Finite Syntactic Epistemic States. DALT (2005)
Michal Walicki
Bireachability and Final Multialgebras. CALCO (2005)
Thomas Ågotnes, Michal Walicki
Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures. CLIMA (2005)
Thomas Ågotnes, Michal Walicki
A logic of reasoning, communication and cooperation with syntactic knowledge. AAMAS (2005)
Yngve Lamo, Michal Walicki
Quantifier-free logic for multialgebraic theories. Electron. Notes Theor. Comput. Sci. 84 (2003)
Yngve Lamo, Michal Walicki
Composition and refinement of specifications and parameterised data types. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Yngve Lamo, Michal Walicki
Combining Specification Formalisms in the ?General Logic? of Multialgebras. WADT (2002)
Yngve Lamo, Michal Walicki
Modeling Partiality by Nondeterminism. ISAS-SCI (1) (2001)
Michal Walicki, Sigurd Meldal
Nondeterminism vs. Underspecification. ISAS-SCI (1) (2001)
Yngve Lamo, Michal Walicki
Specification of Parametrized Programs - Persistency Revisited. Nord. J. Comput. 8 (3) (2001)
Michal Walicki, Magne Haveraaen, Sigurd Meldal
Computation Algebras. Math. Struct. Comput. Sci. 11 (5) (2001)
Michal Walicki, Adis Hodzic, Sigurd Meldal
Compositional Homomorphisms of Relational Structures. FCT (2001)
Michal Walicki, Sigurd Meldal
Algebraic Approaches to Nondeterminism: An Overview. ACM Comput. Surv. 29 (1) (1997)
Michal Walicki, Marcin Bialasik
Categories of relational structures. WADT (1997)
Michal Walicki, Sigurd Meldal
Singular and Plural Nondeterministic Parameters. SIAM J. Comput. 26 (4) (1997)
Michal Walicki, Sigurd Meldal
A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism. ACM Trans. Program. Lang. Syst. 17 (2) (1995)
Michal Walicki, Sigurd Meldal
Generated Models and the omega-Rule: The Nondeterministic Case. TAPSOFT (1995)
Valentinas Kriauciukas, Michal Walicki
Rewriting and Reasoning with Set-Relations II: The Non-ground Case Completeness. COMPASS/ADT (1995)
Michal Walicki, Manfred Broy
Structured Specifications and Implementation of Nondeterministic Data Types. Nord. J. Comput. 2 (3) (1995)
Michal Walicki, Sigurd Meldal
Multialgebras, Power Algebras and Complete Calculi of Identities and Inclusions. COMPASS/ADT (1994)
Valentinas Kriauciukas, Michal Walicki
Reasoning and Rewriting with Set-Relations I: Ground Completeness. CSL (1994)
Aida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal
On Specialization of Derivations in Axiomatic Equality Theories. LFCS (1994)
Michal Walicki, Sigurd Meldal
Sets and Nondeterminism. ICLP Workshop on Logic Programming with Sets (1993)