Miroslaw Truszczynski

发表

Once More on Storage for Consecutive Retrieval

Miroslaw Truszczynski, M. Truszczynski, 1980, Inf. Process. Lett..

Decompositions of regular bipartite graphs

Zsolt Tuza, Miroslaw Truszczynski, Michael S. Jacobson, 1991, Discret. Math..

Subnormal Modal Logics for Knowledge Representation

Miroslaw Truszczynski, Grigori Schwarz, 1993, AAAI.

General default theories

Miroslaw Truszczynski, V. Wiktor Marek, 1993 .

Annotated Revision Programs

Victor W. Marek, Miroslaw Truszczynski, Inna Pivkina, 1999, LPNMR.

Logic Programs with Abstract Constraint Atoms

Victor W. Marek, Miroslaw Truszczynski, 2004, AAAI.

A logical framework for view updating in indefinite databases

Miroslaw Truszczynski, Irina Trubitsyna, Ester Zumpano, 2019, Log. J. IGPL.

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation

Miroslaw Truszczynski, Hannes Strass, Stefan Woltran, 2015, Lecture Notes in Computer Science.

Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided?

Miroslaw Truszczynski, Stefan Woltran, Jan Maly, 2018, IJCAI.

Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday on Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Volume 9060

Miroslaw Truszczynski, Hannes Strass, Stefan Woltran, 2014 .

Maximin Share Allocations on Cycles

Miroslaw Truszczynski, Zbigniew Lonc, Zbigniew Lonc, 2018, IJCAI.

The aspps System

Miroslaw Truszczynski, Deborah East, M. Truszczynski, 2002, JELIA.

Logic Programming and Nonmonotonic Reasoning: 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Miroslaw Truszczynski, Giovambattista Ianni, Francesco Calimeri, 2015 .

A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence

Miroslaw Truszczynski, Hannes Strass, Stefan Woltran, 2014, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation.

Answer set programming at a glance

Miroslaw Truszczynski, Thomas Eiter, Gerhard Brewka, 2011, Commun. ACM.

Revision Programming

Victor W. Marek, Miroslaw Truszczynski, V. Marek, 1998, Theor. Comput. Sci..

Skeptical Rational Extensions

Miroslaw Truszczynski, Artur Mikitiuk, 1995, LPNMR.

Semantics of disjunctive programs with monotone aggregates - an operator-based approach

Miroslaw Truszczynski, Nikolay Pelov, 2004, NMR.

Disjective Defaults

Miroslaw Truszczynski, Michael Gelfond, Vladimir Lifschitz, 1991, KR.

Properties of Programs with Monotone and Convex Constraints

Miroslaw Truszczynski, Lengning Liu, M. Truszczynski, 2005, AAAI.

Note on the decomposition of lambdaKm, n (lambdaKm, n*) into paths

Miroslaw Truszczynski, 1985, Discret. Math..

Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints

Miroslaw Truszczynski, Lengning Liu, 2006, AAAI.

Revision Specifications by Means of Programs

Victor W. Marek, Miroslaw Truszczynski, V. Marek, 1994, JELIA.

Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning

Victor W. Marek, Miroslaw Truszczynski, Marc Denecker, 2000 .

Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005

Miroslaw Truszczynski, Torsten Schaub, Gerhard Brewka, 2005, Nonmonotonic Reasoning, Answer Set Programming and Constraints.

The Modal Logic S4F, the Default Logic, and the Logic Here-and-There

Miroslaw Truszczynski, 2007, AAAI.

More on Wire Routing with ASP

Miroslaw Truszczynski, Deborah East, 2001, Answer Set Programming.

Modal Logic S4F and The Minimal Knowledge Paradigm

Miroslaw Truszczynski, Grigori Schwarz, M. Truszczynski, 1992, TARK.

05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints

Miroslaw Truszczynski, Torsten Schaub, Ilkka Niemelä, 2005, Nonmonotonic Reasoning, Answer Set Programming and Constraints.

On equivalence of infinitary formulas under the stable model semantics

Miroslaw Truszczynski, Vladimir Lifschitz, Amelia Harrison, 2014, Theory and Practice of Logic Programming.

Complexity of some forms of nonmonotonic reasoning

Miroslaw Truszczynski, V. Wiktor Marek, 1993 .

Strong Equivalence of Qualitative Optimization Problems pdf

Miroslaw Truszczynski, Wolfgang Faber, Stefan Woltran, 2012, KR.

Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints

Miroslaw Truszczynski, Luciano Caroprese, Luciano Caroprese, 2008, JELIA.

Connecting First-Order ASP and the Logic FO(ID) through Reducts

Miroslaw Truszczynski, M. Truszczynski, 2012, Correct Reasoning.

Tabular Constraint-Satisfaction Problems and Answer Set Programming

Victor W. Marek, Miroslaw Truszczynski, Raphael A. Finkel, 2001, Answer Set Programming.

Preferences and Nonmonotonic Reasoning

Miroslaw Truszczynski, Ilkka Niemelä, Gerhard Brewka, 2008, AI Mag..

Logic Programs With Monotone Cardinality Atoms

Victor W. Marek, Miroslaw Truszczynski, Ilkka Niemelä, 2003, LPNMR.

Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving

Miroslaw Truszczynski, Yuliya Lierler, Shaden Smith, 2012, PADL.

Nonmonotonic logic of pure necessitation and autoepistemic logics

Miroslaw Truszczynski, V. Wiktor Marek, 1993 .

Logic Programming for Knowledge Representation

Miroslaw Truszczynski, 2007, ICLP.

Manipulation and Bribery in Preference Reasoning under Pareto Principle

Miroslaw Truszczynski, Ying Zhu, 2014, MPREF@AAAI.

Generating Cellular Puzzles with Logic Programs

Victor W. Marek, Miroslaw Truszczynski, Raphael A. Finkel, 2006, IC-AI.

On abstract modular inference systems and solvers

Miroslaw Truszczynski, Yuliya Lierler, M. Truszczynski, 2014, Artif. Intell..

Prioritized Component Systems

Miroslaw Truszczynski, Ilkka Niemelä, Gerhard Brewka, 2005, AAAI.

The Second Answer Set Programming Competition

Miroslaw Truszczynski, Martin Gebser, Joost Vennekens, 2009, LPNMR.

Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000

Miroslaw Truszczynski, Chitta Baral, 2000, ArXiv.

Rado's selection principle: applications to binary relations, graph and hypergraph colorings and partially ordered sets

Zsolt Tuza, Miroslaw Truszczynski, Z. Tuza, 1992, Discret. Math..

Investigations of Logic of Introspection and Related Modes of Reasoning with Applications

Victor W. Marek, Miroslaw Truszczynski, V. Marek, 1992 .

Approximation Schemes in Logic and Artificial Intelligence

Victor W. Marek, Miroslaw Truszczynski, V. Marek, 2008, Trans. Rough Sets.

The rectilinear Steiner tree problem: algorithms and examples using permutations of the terminal set

Miroslaw Truszczynski, Christine R. Leverenz, 1999, ACM-SE 37.

Simulating patients with Parallel Health State Networks

Victor W. Marek, Miroslaw Truszczynski, Walton Sumner, 1998, AMIA.

The View-Update Problem for Indefinite Databases

Miroslaw Truszczynski, Irina Trubitsyna, Ester Zumpano, 2013, SEBD.

Algorithms for Maintaining Authorization Bases

Miroslaw Truszczynski, V. Wiktor Marek, William H. Brooks, 1995, OOIS.

Logic programs with abstract constraint atoms: The role of computations

Miroslaw Truszczynski, Enrico Pontelli, Tran Cao Son, 2007, Artif. Intell..

Extremal Problems in Logic Programming and Stable Model Computation

Miroslaw Truszczynski, Pawel Cholewinski, 1996, J. Log. Program..

Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs

Miroslaw Truszczynski, M. Truszczynski, 2009, Artif. Intell..

Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains

Miroslaw Truszczynski, Xudong Liu, 2019, Annals of Mathematics and Artificial Intelligence.

Simple Random Logic Programs

Miroslaw Truszczynski, Gayathri Namasivayam, M. Truszczynski, 2009, LPNMR.

On Admissible Families of Sets

Miroslaw Truszczynski, 1981, FODO.

Dual-normal logic programs – the forgotten class pdf

Miroslaw Truszczynski, Stefan Woltran, Johannes Klaus Fichte, 2015, Theory and Practice of Logic Programming.

Constraint Lingo: towards high‐level constraint programming

Victor W. Marek, Miroslaw Truszczynski, Raphael A. Finkel, 2004, Softw. Pract. Exp..

Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques

Miroslaw Truszczynski, Lengning Liu, 2007, Constraints.

Packing analogue of k-radius sequences

Miroslaw Truszczynski, Zbigniew Lonc, Zbigniew Lonc, 2016, Eur. J. Comb..

Fixpoint 3-Valued Semantics for Autoepistemic Logic

Victor W. Marek, Miroslaw Truszczynski, Marc Denecker, 1998, AAAI/IAAI.

Declarative Semantics for Active Integrity Constraints

Miroslaw Truszczynski, Luciano Caroprese, 2008, ICLP.

Simple but Hard Mixed Horn Formulas

Miroslaw Truszczynski, Gayathri Namasivayam, 2010, SAT.

Algorithmic aspects of the attribute set minimization problem

Miroslaw Truszczynski, 1981, Fundam. Informaticae.

Modal logic for default reasoning

Victor W. Marek, Miroslaw Truszczynski, V. Marek, 1990, Annals of Mathematics and Artificial Intelligence.

Complexity of computing with extended propositional logic programs

Victor W. Marek, Miroslaw Truszczynski, Arcot Rajasekar, 2005, Annals of Mathematics and Artificial Intelligence.

On Optimal Solutions of Answer Set Optimization Problems

Miroslaw Truszczynski, Ying Zhu, 2013, LPNMR.

Primal graphs with small degrees

Miroslaw Truszczynski, Phyllis Z. Chinn, R. Bruce Richter, 1991, Discret. Math..

Propositional satisfiability in declarative programming

Miroslaw Truszczynski, Deborah East, M. Truszczynski, 2002, ArXiv.

Preface: The logic programming paradigm: a 25-year perspective 1999

Victor W. Marek, Miroslaw Truszczynski, Krzysztof R. Apt, 1999 .

DATALOG with Constraints - An Answer-Set Programming System

Miroslaw Truszczynski, Deborah East, 2000, AAAI/IAAI.

On graph equivalences preserved under extensions

Miroslaw Truszczynski, Zbigniew Lonc, 2011, Discret. Math..

The Pure Logic of Necessitation

Victor W. Marek, Miroslaw Truszczynski, Melvin Fitting, 1992, J. Log. Comput..

Hyperequivalence of Programs and Operators

Miroslaw Truszczynski, Stefan Woltran, 2008, ISAIM.

A note on local colorings of graphs

Miroslaw Truszczynski, Andrzej Rucinski, 1997, Discret. Math..

First Order Logic with Inductive Definitions for Model-Based Problem Solving

Miroslaw Truszczynski, Maurice Bruynooghe, Marc Denecker, 2016, AI Mag..

My six encounters with Victor Marek—a personal account

Miroslaw Truszczynski, 2009, Annals of Mathematics and Artificial Intelligence.

Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints

Miroslaw Truszczynski, Lengning Liu, M. Truszczynski, 2003, CP.

Computing minimal models, stable models and answer sets

Miroslaw Truszczynski, Zbigniew Lonc, Zbigniew Lonc, 2006, Theory and Practice of Logic Programming.

Linear upper bounds for local Ramsey numbers

Zsolt Tuza, Miroslaw Truszczynski, 1987, Graphs Comb..

Towards Debugging of Answer-Set Programs in the Language PSpb

Miroslaw Truszczynski, Artur Mikitiuk, Eric Moseley, 2007, IC-AI.

On the Problem of Computing the Well-Founded Semantics

Miroslaw Truszczynski, Zbigniew Lonc, 2000, Computational Logic.

An Smodels System with Limited Lookahead Computation

Miroslaw Truszczynski, Gayathri Namasivayam, 2007, LPNMR.

Stable Semantics for Logic Programs and Default Theories

Victor W. Marek, Miroslaw Truszczynski, Miroslaw Truszczynski, 1989, NACLP.

Modal nonmonotonic logic with restricted application of the negation as failure to prove rule

Miroslaw Truszczynski, M. Truszczynski, 1991, Fundamenta Informaticae.

Annotated revision programs

Victor W. Marek, Miroslaw Truszczynski, Inna Pivkina, 1999, Artif. Intell..

Nonmonotonic Reasoning is Sometimes Simpler

Miroslaw Truszczynski, Grigori Schwarz, M. Truszczynski, 1993, Kurt Gödel Colloquium.

Approximating the Stable Model Semantics is Hard

Miroslaw Truszczynski, Georg Gottlob, 1996, Fundam. Informaticae.

Computing stable models: worst-case performance estimates

Miroslaw Truszczynski, Zbigniew Lonc, Zbigniew Lonc, 2002, Theory and Practice of Logic Programming.

Rough Sets and Approximation Schemes

Victor W. Marek, Miroslaw Truszczynski, V. Marek, 2007, RSEISP.

Logic Programming and Nonmotonic Reasoning

Miroslaw Truszczynski, Thomas Eiter, Wolfgang Faber, 2001, Lecture Notes in Computer Science.

WSAT(CC) - A Fast Local-Search ASP Solver

Miroslaw Truszczynski, Lengning Liu, M. Truszczynski, 2003, LPNMR.

Logic programs with monotone abstract constraint atoms* pdf

Victor W. Marek, Miroslaw Truszczynski, Ilkka Niemelä, 2006, Theory and Practice of Logic Programming.

Abstract Modular Systems and Solvers pdf

Miroslaw Truszczynski, Yuliya Lierler, Yuliya Lierler, 2013, ArXiv.

Book review: Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral, Cambridge University press, 2003, ISBN 0-521-81802-8

Miroslaw Truszczynski, 2004, Theory Pract. Log. Program..

Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs

Miroslaw Truszczynski, 2010, Artif. Intell..

Random Models of Very Hard 2QBF and Disjunctive Programs: An Overview

Miroslaw Truszczynski, Francesco Ricca, Giovanni Amendola, 2018 .

Logic Programs with Abstract Constraint Atoms: The Role of Computations

Miroslaw Truszczynski, Enrico Pontelli, Tran Cao Son, 2007, ICLP.

Modular Answer Set Solving

Miroslaw Truszczynski, Yuliya Lierler, Yuliya Lierler, 2013, AAAI.

Computing large and small stable models

Miroslaw Truszczynski, 2002, Theory Pract. Log. Program..

Relativized Hyperequivalence of Logic Programs for Modular Programming

Miroslaw Truszczynski, Stefan Woltran, 2008, ICLP.

Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010

Miroslaw Truszczynski, Fangzhen Lin, Ulrike Sattler, 2010, KR.

Revision Programming = Logic Programming + Integrity Constraints

Victor W. Marek, Miroslaw Truszczynski, Inna Pivkina, 1998, CSL.

Uniform semantic treatment of default and autoepistemic logics

Victor W. Marek, Miroslaw Truszczynski, Marc Denecker, 2000, Artif. Intell..

Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements - (Preliminary Results)

Wenbin Li, Miroslaw Truszczynski, Jane Huffman Hayes, 2012, NASA Formal Methods.

On abstract modular inference systems and solvers

Miroslaw Truszczynski, Yuliya Lierler, M. Truszczynski, 2016, Artif. Intell..

Nonmonotonic logic - context-dependent reasoning

Victor W. Marek, Miroslaw Truszczynski, V. Marek, 1997, Artificial intelligence.

Automatic Generation of English-language Steps in Puzzle Solving

Victor W. Marek, Miroslaw Truszczynski, Raphael A. Finkel, 2004, IC-AI.

The informal semantics of Answer Set Programming: A Tarskian perspective pdf

Miroslaw Truszczynski, Yuliya Lierler, Joost Vennekens, 2019, ArXiv.

Preference Learning and Optimization for Partial Lexicographic Preference Forests over Combinatorial Domains

Miroslaw Truszczynski, Xudong Liu, 2018, FoIKS.

A Measure of Arbitrariness in Abductive Explanations pdf

Miroslaw Truszczynski, Irina Trubitsyna, Ester Zumpano, 2014, Theory and Practice of Logic Programming.

Answer-Set Programming in Requirements Engineering

Wenbin Li, Miroslaw Truszczynski, Jane Huffman Hayes, 2014, REFSQ.

Learning Partial Lexicographic Preference Trees over Combinatorial Domains

Miroslaw Truszczynski, Xudong Liu, 2015, AAAI.

Implementing Informal Semantics of ASP

Miroslaw Truszczynski, Artur Mikitiuk, 2013, LPNMR.

Ranges of Strong Modal Nonmonotonic Logics

Victor W. Marek, Miroslaw Truszczynski, Grigori Schwarz, 1990, Nonmonotonic and Inductive Logic.

Intelligent Computation of Presentation Documents

Victor W. Marek, Miroslaw Truszczynski, Joseph D. Oldham, 1997, ISMIS.

Data Transformations for Patient Simulations

Victor W. Marek, Miroslaw Truszczynski, Miroslaw Truszczynski, 1995 .

Answer Set Programming: An Introduction to the Special Issue

Miroslaw Truszczynski, Thomas Eiter, Gerhard Brewka, 2016, AI Mag..

On the problem of computing the well-founded semantics

Miroslaw Truszczynski, Zbigniew Lonc, 2001, Theory Pract. Log. Program..

Routing non-convex grids without holes

Miroslaw Truszczynski, Dee Parks, 1991, [1991] Proceedings. First Great Lakes Symposium on VLSI.

Properties and Applications of Programs with Monotone and Convex Constraints pdf

Miroslaw Truszczynski, Lengning Liu, M. Truszczynski, 2006, J. Artif. Intell. Res..

On the number of minimal transversals in 3-uniform hypergraphs

Miroslaw Truszczynski, Zbigniew Lonc, 2008, Discret. Math..

An algorithm of finding an acyclic f-graph for a family od sets

Miroslaw Truszczynski, M. Truszczynski, 1980, Fundamenta Informaticae.

Modal nonmonotonic logics

Miroslaw Truszczynski, V. Wiktor Marek, V. Marek, 1993 .

Relating Autoepistemic and Default Logics

Victor W. Marek, Miroslaw Truszczynski, V. Marek, 1989, KR.

Answer Set Optimization

Miroslaw Truszczynski, Ilkka Niemelä, Gerhard Brewka, 2003, IJCAI.

Constrained and Rational Default Logics

Miroslaw Truszczynski, Artur Mikitiuk, 1995, IJCAI.

Fixed-parameter complexity of semantics for logic programs

Miroslaw Truszczynski, Zbigniew Lonc, Zbigniew Lonc, 2001, TOCL.

Default Reasoning System DeReS

Victor W. Marek, Miroslaw Truszczynski, Pawel Cholewinski, 1996, KR.

Embedding Default Logic into Modal Nonmonotonic Logics

Miroslaw Truszczynski, M. Truszczynski, 1991, LPNMR.

Computing Minimal Models, Stable Models, and Answer Sets pdf

Miroslaw Truszczynski, Zbigniew Lonc, Zbigniew Lonc, 2003, ICLP.

Rudiments of logic and set theory

Miroslaw Truszczynski, V. Wiktor Marek, 1993 .

Predicate-calculus-based logics for modeling and solving search problems

Miroslaw Truszczynski, Deborah East, M. Truszczynski, 2006, TOCL.

The Logic Programming Paradigm: A 25-Year Perspective

Victor W. Marek, Miroslaw Truszczynski, Krzysztof R. Apt, 2011 .