Michal Walicki

41 papers A 1B 5C 1Misc 1Journal 22Unranked 11

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