pith. sign in

Miroslaw Truszczynski

Identifiers

  • name variant Miroslaw Truszczynski 0.60 · backfill

Papers (33)

  1. Maximin share allocations on cycles cs.SI · 2019 · author #2
  2. The informal semantics of Answer Set Programming: A Tarskian perspective cs.AI · 2019 · author #3
  3. New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs cs.LO · 2018 · author #3
  4. Dual-normal Logic Programs - the Forgotten Class cs.CC · 2015 · author #2
  5. Abstract Modular Systems and Solvers cs.AI · 2013 · author #2
  6. The View-Update Problem for Indefinite Databases cs.DB · 2012 · author #3
  7. Origins of Answer-Set Programming - Some Background And Two Personal Accounts cs.AI · 2011 · author #3
  8. Revisiting Epistemic Specifications cs.AI · 2011 · author #1
  9. Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too cs.AI · 2011 · author #3
  10. Constructions of asymptotically shortest k-radius sequences math.CO · 2011 · author #3
  11. Transition Systems for Model Generators - A Unifying Approach cs.AI · 2011 · author #2
  12. Trichotomy and Dichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs cs.LO · 2010 · author #1
  13. On graph equivalences preserved under extensions math.CO · 2010 · author #2
  14. Satisfiability and computing van der Waerden numbers cs.LO · 2003 · author #3
  15. Logic programs with monotone cardinality atoms cs.LO · 2003 · author #3
  16. WSAT(cc) - a fast local-search ASP solver cs.AI · 2003 · author #2
  17. Local-search techniques for propositional logic extended with cardinality constraints cs.AI · 2003 · author #2
  18. Propositional satisfiability in declarative programming cs.LO · 2002 · author #2
  19. Ultimate approximations in nonmonotonic knowledge representation systems cs.AI · 2002 · author #3
  20. Computing stable models: worst-case performance estimates cs.LO · 2002 · author #2
  21. Propositional satisfiability in answer-set programming cs.AI · 2001 · author #2
  22. Fixed-parameter complexity of semantics for logic programs cs.LO · 2001 · author #2
  23. Annotated revision programs cs.AI · 2001 · author #3
  24. On the problem of computing the well-founded semantics cs.LO · 2001 · author #2
  25. DATALOG with constraints - an answer-set programming system cs.AI · 2000 · author #2
  26. Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000 cs.AI · 2000 · author #2
  27. dcs: An Implementation of DATALOG with Constraints cs.AI · 2000 · author #2
  28. On the accuracy and running time of GSAT cs.AI · 2000 · author #2
  29. Uniform semantic treatment of default and autoepistemic logics cs.AI · 2000 · author #3
  30. Computing large and small stable models cs.LO · 2000 · author #1
  31. Representation Theory for Default Logic cs.LO · 1999 · author #3
  32. Extremal problems in logic programming and stable model computation cs.LO · 1999 · author #2
  33. Stable models and an alternative logic programming paradigm cs.LO · 1998 · author #2

Mentions

  • 1507.05388 #2 · backfill · confidence 0.70 Miroslaw Truszczynski
  • 1312.6151 #2 · backfill · confidence 0.70 Miroslaw Truszczynski
  • 1205.4655 #3 · backfill · confidence 0.70 Miroslaw Truszczynski
  • 1108.3281 #3 · backfill · confidence 0.70 Miroslaw Truszczynski
  • 1108.3279 #1 · backfill · confidence 0.70 Miroslaw Truszczynski
  • 1108.3278 #3 · backfill · confidence 0.70 Miroslaw Truszczynski
  • 1105.0654 #3 · backfill · confidence 0.70 Miroslaw Truszczynski
  • 1105.0650 #2 · backfill · confidence 0.70 Miroslaw Truszczynski
  • 1007.2816 #1 · backfill · confidence 0.70 Miroslaw Truszczynski
  • 1002.1749 #2 · backfill · confidence 0.70 Miroslaw Truszczynski

Frequent Coauthors