| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jerzy W. Jaromczyk, Zbigniew Lonc, Miroslaw Truszczynski |
Constructions of asymptotically shortest k-radius sequences.  |
J. Comb. Theory, Ser. A  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund |
Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving. |
PADL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbin Li, Jane Huffman Hayes, Miroslaw Truszczynski |
Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements - (Preliminary Results). |
NASA Formal Methods |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zbigniew Lonc, Miroslaw Truszczynski |
On graph equivalences preserved under extensions. |
Discrete Mathematics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski |
Answer set programming at a glance. |
Commun. ACM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, Victor W. Marek, Miroslaw Truszczynski |
Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yuliya Lierler, Miroslaw Truszczynski |
Transition Systems for Model Generators - A Unifying Approach |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Miroslaw Truszczynski |
Revisiting Epistemic Specifications |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran |
Strong Equivalence of Qualitative Optimization Problems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski |
Origins of Answer-Set Programming - Some Background And Two Personal Accounts |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Lengning Liu, Miroslaw Truszczynski |
Properties and Applications of Programs with Monotone and Convex Constraints |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Luciano Caroprese, Miroslaw Truszczynski |
Active integrity constraints and revision programming. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler, Miroslaw Truszczynski |
Transition systems for model generators - A unifying approach. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Truszczynski |
Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Truszczynski |
Revisiting Epistemic Specifications. |
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Truszczynski |
Trichotomy and Dichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Luciano Caroprese, Miroslaw Truszczynski |
Active Integrity Constraints and Revision Programming |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski |
Logic programs with abstract constraint atoms: The role of computations. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Truszczynski |
Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gayathri Namasivayam, Miroslaw Truszczynski |
Simple but Hard Mixed Horn Formulas. |
SAT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski (eds.) |
Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010 |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Brewka, Miroslaw Truszczynski, Stefan Woltran |
Representing Preferences Among Sets. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Miroslaw Truszczynski, Stefan Woltran |
Relativized hyperequivalence of logic programs for modular programming |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Miroslaw Truszczynski, Stefan Woltran |
Relativized hyperequivalence of logic programs for modular programming. |
TPLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Truszczynski |
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
logic here-and-there, answer-set programming, Stable models |
| 1 | Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski |
The Second Answer Set Programming Competition. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gayathri Namasivayam, Miroslaw Truszczynski |
Simple Random Logic Programs. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Truszczynski |
Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zbigniew Lonc, Miroslaw Truszczynski |
On the number of minimal transversals in 3-uniform hypergraphs. |
Discrete Mathematics |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor W. Marek, Miroslaw Truszczynski |
Approximation Schemes in Logic and Artificial Intelligence. |
T. Rough Sets |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson |
The Computational Complexity of Dominance and Consistency in CP-Nets. |
J. Artif. Intell. Res. (JAIR) |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski |
Preferences and Nonmonotonic Reasoning. |
AI Magazine |
2008 |
DBLP BibTeX RDF |
|
| 1 | Miroslaw Truszczynski, Stefan Woltran |
Hyperequivalence of logic programs with respect to supported models. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68Q17, 68T30 |
| 1 | Miroslaw Truszczynski |
My six encounters with Victor Marek - a personal account. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 01A70 |
| 1 | Michael Kaminski, Miroslaw Truszczynski |
Preface. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski |
Logic programs with monotone abstract constraint atoms. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Truszczynski, Stefan Woltran |
Relativized Hyperequivalence of Logic Programs for Modular Programming. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Caroprese, Miroslaw Truszczynski |
Declarative Semantics for Active Integrity Constraints. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Caroprese, Miroslaw Truszczynski |
Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Truszczynski, Stefan Woltran |
Hyperequivalence of Programs and Operators. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Miroslaw Truszczynski, Stefan Woltran |
Hyperequivalence of Logic Programs with Respect to Supported Models. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Lengning Liu, Miroslaw Truszczynski |
Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques. |
Constraints |
2007 |
DBLP DOI BibTeX RDF |
Pseudo-Boolean constraints, Boolean satisfiability, Stochastic local search |
| 1 | Artur Mikitiuk, Eric Moseley, Miroslaw Truszczynski |
Towards Debugging of Answer-Set Programs in the Language PSpb. |
IC-AI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski |
Logic Programs with Abstract Constraint Atoms: The Role of Computations. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Truszczynski |
Logic Programming for Knowledge Representation. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor W. Marek, Miroslaw Truszczynski |
Rough Sets and Approximation Schemes. |
RSEISP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gayathri Namasivayam, Miroslaw Truszczynski |
An Smodels System with Limited Lookahead Computation. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski |
The First Answer Set Programming System Competition. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Truszczynski |
The Modal Logic S4F, the Default Logic, and the Logic Here-and-There. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Deborah East, Mikhail Iakhiaev, Artur Mikitiuk, Miroslaw Truszczynski |
Tools for modeling and solving search problems. |
AI Commun. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski |
Logic programs with monotone abstract constraint atoms |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Lengning Liu, Miroslaw Truszczynski |
Properties and Applications of Programs with Monotone and Convex Constraints. |
J. Artif. Intell. Res. (JAIR) |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Deborah East, Miroslaw Truszczynski |
Predicate-calculus-based logics for modeling and solving search problems. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
pseudo-Boolean constraints, constraints, Satisfiability, search problems, predicate logic |
| 1 | Miroslaw Truszczynski |
Strong and uniform equivalence of nonmonotonic theories - an algebraic approach. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 06B99 |
| 1 | Zbigniew Lonc, Miroslaw Truszczynski |
Computing minimal models, stable models and answer sets. |
TPLP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Truszczynski, V. Wiktor Marek, Raphael A. Finkel |
Generating Cellular Puzzles with Logic Programs. |
IC-AI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Sandro Etalle, Miroslaw Truszczynski (eds.) |
Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings |
ICLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Miroslaw Truszczynski |
Strong and Uniform Equivalence of Nonmonotonic Theories - An Algebraic Approach. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Miroslaw Truszczynski |
Nonmonotonic Logics and Their Algebraic Foundations. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lengning Liu, Miroslaw Truszczynski |
Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Zbigniew Lonc, Miroslaw Truszczynski |
Computing minimal models, stable models and answer sets |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson |
The computational complexity of dominance and consistency in CP-nets. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens |
05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints. |
Nonmonotonic Reasoning, Answer Set Programming and Constraints |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski |
05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints. |
Nonmonotonic Reasoning, Answer Set Programming and Constraints |
2005 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski (eds.) |
Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005 |
Nonmonotonic Reasoning, Answer Set Programming and Constraints |
2005 |
DBLP BibTeX RDF |
|
| 1 | Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski |
Approximating Answer Sets of Unitary Lifschitz-Woo Programs. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lengning Liu, Miroslaw Truszczynski |
Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski |
Prioritized Component Systems. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Lengning Liu, Miroslaw Truszczynski |
Properties of Programs with Monotone and Convex Constraints. |
AAAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Marc Denecker, Victor W. Marek, Miroslaw Truszczynski |
Ultimate approximation and its application in nonmonotonic knowledge representation systems. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski |
Constraint Lingo: towards high-level constraint programming. |
Softw., Pract. Exper. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski |
Satisfiability and Computing van der Waerden Numbers. |
Electr. J. Comb. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Miroslaw Truszczynski |
Book review: Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral, Cambridge University press, 2003, ISBN 0-521-81802-8. |
TPLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zbigniew Lonc, Miroslaw Truszczynski |
Computing stable models: worst-case performance estimates. |
TPLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hemantha Ponnuru, Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski |
Automatic Generation of English-language Steps in Puzzle Solving. |
IC-AI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Lengning Liu, Miroslaw Truszczynski |
Local Search with Bootstrapping. |
SAT |
2004 |
DBLP BibTeX RDF |
|
| 1 | V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski |
Logic Programs With Monotone Cardinality Atoms. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lengning Liu, Miroslaw Truszczynski |
WSAT(CC) - A Fast Local-Search ASP Solver. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski |
Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Pelov, Miroslaw Truszczynski |
Semantics of disjunctive programs with monotone aggregates - an operator-based approach. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Victor W. Marek, Miroslaw Truszczynski |
Logic Programs with Abstract Constraint Atoms. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Lengning Liu, Miroslaw Truszczynski |
Local-search techniques for propositional logic extended with cardinality constraints |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski |
Satisfiability and computing van der Waerden numbers |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Lengning Liu, Miroslaw Truszczynski |
WSAT(cc) - a fast local-search ASP solver |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski |
Logic programs with monotone cardinality atoms |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski |
Uniform semantic treatment of default and autoepistemic logics. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Zbigniew Lonc, Miroslaw Truszczynski |
Fixed-parameter complexity of semantics for logic programs. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
Normal logic programs, fixed-parameter complexity, supported models, stable models |
| 1 | Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski |
Answer Set Optimization. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski |
Satisfiability and Computing van der Waerden Numbers. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Zbigniew Lonc, Miroslaw Truszczynski |
Computing Minimal Models, Stable Models, and Answer Sets. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lengning Liu, Miroslaw Truszczynski |
Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Deborah East, Miroslaw Truszczynski |
Propositional satisfiability in declarative programming |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Zbigniew Lonc, Miroslaw Truszczynski |
Computing stable models: worst-case performance estimates |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski |
Ultimate approximations in nonmonotonic knowledge representation systems |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski |
Annotated revision programs. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Miroslaw Truszczynski |
Computing large and small stable models. |
TPLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Zbigniew Lonc, Miroslaw Truszczynski |
Computing Stable Models: Worst-Case Performance Estimates. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski |
Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Deborah East, Miroslaw Truszczynski |
The aspps System. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski |
Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. |
KR |
2002 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")