Miroslaw Truszczynski
Orcid: 0000-0001-7277-1232Affiliations:
- University of Kentucky, Department of Computer Science, Lexington, KY, USA
According to our database1,
Miroslaw Truszczynski
authored at least 204 papers
between 1980 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Theory Pract. Log. Program., 2023
2022
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282).
Dagstuhl Reports, July, 2022
Theory Pract. Log. Program., 2022
A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022
2021
Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021
Proceedings of the Algorithmic Decision Theory - 7th International Conference, 2021
2020
Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020
New models for generating hard random boolean formulas and disjunctive logic programs.
Artif. Intell., 2020
Proceedings of the Thirty-Third International Florida Artificial Intelligence Research Society Conference, 2020
2019
J. Artif. Intell. Res., 2019
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019
Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains.
Ann. Math. Artif. Intell., 2019
New Complexity Results on Aggregating Lexicographic Preference Trees Using Positional Scoring Rules.
Proceedings of the Algorithmic Decision Theory - 6th International Conference, 2019
2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Preference Learning and Optimization for Partial Lexicographic Preference Forests over Combinatorial Domains.
Proceedings of the Foundations of Information and Knowledge Systems, 2018
Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018
2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
2016
AI Mag., 2016
Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016
Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes.
Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016
2015
Theory Pract. Log. Program., 2015
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2015
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015
Proceedings of the Algorithmic Decision Theory - 4th International Conference, 2015
Proceedings of the Algorithmic Decision Theory - 4th International Conference, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
Theory Pract. Log. Program., 2014
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2014
Proceedings of the Multidisciplinary Workshop on Advances in Preference Handling, 2014
Preference Trees: A Language for Representing and Reasoning about Qualitative Preferences.
Proceedings of the Multidisciplinary Workshop on Advances in Preference Handling, 2014
2013
J. Artif. Intell. Res., 2013
The View-Update Problem for Indefinite Databases.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Aggregating Conditionally Lexicographic Preferences Using Answer Set Programming Solvers.
Proceedings of the Algorithmic Decision Theory - Third International Conference, 2013
Proceedings of the Late-Breaking Developments in the Field of Artificial Intelligence, 2013
Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
2012
J. Comb. Theory, Ser. A, 2012
Proceedings of the Practical Aspects of Declarative Languages, 2012
Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements - (Preliminary Results).
Proceedings of the NASA Formal Methods, 2012
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
Proceedings of the Correct Reasoning, 2012
2011
Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs.
Theory Pract. Log. Program., 2011
Theory Pract. Log. Program., 2011
Theory Pract. Log. Program., 2011
CoRR, 2011
CoRR, 2011
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011
2010
Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs.
Artif. Intell., 2010
Artif. Intell., 2010
Proceedings of the Theory and Applications of Satisfiability Testing, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Theory Pract. Log. Program., 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
2008
Proceedings of the Handbook of Knowledge Representation, 2008
Theory Pract. Log. Program., 2008
J. Artif. Intell. Res., 2008
Ann. Math. Artif. Intell., 2008
Ann. Math. Artif. Intell., 2008
Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints.
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
2007
Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques.
Constraints An Int. J., 2007
Proceedings of the Rough Sets and Intelligent Systems Paradigms, International Conference, 2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the Logic Programming, 23rd International Conference, 2007
Towards Debugging of Answer-Set Programs in the Language PSpb.
Proceedings of the 2007 International Conference on Artificial Intelligence, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Theory Pract. Log. Program., 2006
ACM Trans. Comput. Log., 2006
J. Artif. Intell. Res., 2006
Ann. Math. Artif. Intell., 2006
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2006
Generating Cellular Puzzles with Logic Programs.
Proceedings of the 2006 International Conference on Artificial Intelligence, 2006
Proceedings of the Computer Science Logic, 20th International Workshop, 2006
Proceedings of the Proceedings, 2006
2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints.
Proceedings of the Nonmonotonic Reasoning, 2005
05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints.
Proceedings of the Nonmonotonic Reasoning, 2005
Proceedings of the Proceedings, 2005
2004
Book review: Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral, Cambridge University press, 2003, ISBN 0-521-81802-8.
Theory Pract. Log. Program., 2004
Theory Pract. Log. Program., 2004
Softw. Pract. Exp., 2004
Ultimate approximation and its application in nonmonotonic knowledge representation systems.
Inf. Comput., 2004
Semantics of disjunctive programs with monotone aggregates - an operator-based approach.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Automatic Generation of English-language Steps in Puzzle Solving.
Proceedings of the International Conference on Artificial Intelligence, 2004
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004
2003
ACM Trans. Comput. Log., 2003
Proceedings of the Theory and Applications of Satisfiability Testing, 2003
Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2003
2002
Ultimate Approximations in Nonmonotonic Knowledge Representation Systems.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002
Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
2001
Theory Pract. Log. Program., 2001
J. Exp. Theor. Artif. Intell., 2001
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001
Proceedings of the Answer Set Programming, 2001
2000
CoRR, 2000
Uniform semantic treatment of default and autoepistemic logic.
Proceedings of the KR 2000, 2000
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000
1999
J. Log. Program., 1999
Proceedings of the Progress in Artificial Intelligence, 1999
The rectilinear Steiner tree problem: algorithms and examples using permutations of the terminal set.
Proceedings of the 37th Annual ACM Southeast Regional Conference, 1999
Proceedings of the Logic Programming Paradigm - A 25-Year Perspective, 1999
1998
Proceedings of the Rough Sets and Current Trends in Computing, 1998
Proceedings of the Computer Science Logic, 12th International Workshop, 1998
Proceedings of the AMIA 1998, 1998
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998
1997
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997
Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997
1996
Default Reasoning System DeReS.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996
1995
Ann. Math. Artif. Intell., 1995
Proceedings of the 1995 International Conference on Object Oriented Information Systems, 1995
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995
Experimenting with Nonmonotonic Reasoning.
Proceedings of the Logic Programming, 1995
Proceedings of the Database Theory, 1995
1994
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994
1993
Rational Default Logic and Disjunctive Logic Programming.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993
Reflective Autoepistemic Logic and Logic Programming.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993
Artificial intelligence, Springer, ISBN: 0-387-56448-9, 1993
1992
More on modal aspects of default logic.
Fundam. Informaticae, 1992
Rado's selection principle: applications to binary relations, graph and hypergraph colorings and partially ordered sets.
Discret. Math., 1992
Discret. Appl. Math., 1992
Modal Logic S4F and The Minimal Knowledge Paradigm.
Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge, 1992
An algorithm for embedding a class of non-even routing problems in even routing problems.
Proceedings of the Second Great Lakes Symposium on VLSI, 1992
1991
Modal nonmonotonic logic with restricted application of the negation as failure to prove rule.
Fundam. Informaticae, 1991
Discret. Math., 1991
Proceedings of the Nonmonotonic and Inductive Logic, 1991
Embedding Default Logic into Modal Nonmonotonic Logics.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991
Computing Intersection of Autoepistemic Expansions.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991
Disjective Defaults.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991
Proceedings of the First Great Lakes Symposium on VLSI, 1991
1990
Proceedings of the Nonmonotonic and Inductive Logic, 1990
1989
Stable Semantics for Logic Programs and Default Theories.
Proceedings of the Logic Programming, 1989
Relating Autoepistemic and Default Logics.
Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989
1987
1985
Note on the decomposition of lambdaK<sub>m, n</sub> (lambdaK<sub>m, n</sub><sup>*</sup>) into paths.
Discret. Math., 1985
1981
Algorithmic aspects of the attribute set minimization problem.
Fundam. Informaticae, 1981
On Admissible Families of Sets.
Proceedings of the Data Base File Organization, 1981
Optimal F-Graphs for the Family of all K-Subsets of an N-Set.
Proceedings of the Data Base File Organization, 1981
Optimal F-Graphs for Balanced Families of Sets.
Proceedings of the Data Base File Organization, 1981
1980
An algorithm of finding an acyclic f-graph for a family od sets.
Fundam. Informaticae, 1980