BibSLEIGH — Miroslaw

Travelled to:

1 × Canada
1 × Cyprus
1 × Czech Republic
1 × Denmark
1 × France
1 × India
1 × Japan
1 × Portugal
2 × Hungary
2 × United Kingdom
3 × Germany
3 × Italy
8 × USA

Collaborated with:

V.W.Marek ∅ Z.Lonc Y.Lierler S.Woltran P.Cholewinski M.Denecker L.Caroprese W.Li J.H.Hayes G.Namasivayam J.K.Fichte W.Faber M.R.Dransfield I.Pivkina G.F.Shvarts I.Trubitsyna E.Zumpano D.Brown J.Vennekens S.Smith A.Westlund L.Liu E.Pontelli T.C.Son A.Mikitiuk M.Gelfond H.Przymusinska V.Lifschitz

Talks about:

program (13) logic (13) comput (8) semant (7) model (6) nonmonoton (5) problem (5) default (5) stabl (5) system (4)

Person: Miroslaw Truszczynski

DBLP: Truszczynski:Miroslaw

Facilitated 2 volumes:

Contributed to:

2015

2014

2012

2011

2010

2009

2008

2007

2006

2003

2002

2001

2000

1999

1998

1996

1995

1991

1989

Wrote 33 papers:

ICLP-J-2015-FichteTW #logic programming #source code: Dual-normal logic programs — the forgotten class (JKF, MT, SW), pp. 495–510.
REFSQ-2015-LiHT #case study #formal method #performance #requirements #towards: Towards More Efficient Requirements Formalization: A Study (WL, JHH, MT), pp. 181–197.
ICLP-J-2014-CaropreseTTZ #abduction: A Measure of Arbitrariness in Abductive Explanations (LC, IT, MT, EZ), pp. 665–679.
PADL-2014-LierlerT #composition: Abstract Modular Inference Systems and Solvers (YL, MT), pp. 49–64.
REFSQ-2014-LiBHT #programming #requirements: Answer-Set Programming in Requirements Engineering (WL, DB, JHH, MT), pp. 168–183.
ICLP-2012-DeneckerLTV #programming #semantics #set: A Tarskian Informal Semantics for Answer Set Programming (MD, YL, MT, JV), pp. 277–289.
KR-2012-FaberTW #equivalence #optimisation #problem: Strong Equivalence of Qualitative Optimization Problems (WF, MT, SW).
PADL-2012-LierlerSTW #declarative #problem: Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving (YL, SS, MT, AW), pp. 63–77.
ICLP-J-2011-LierlerT #approach #generative: Transition systems for model generators — A unifying approach (YL, MT), pp. 629–646.
SAT-2010-NamasivayamT: Simple but Hard Mixed Horn Formulas (GN, MT), pp. 382–387.
ICLP-2009-Truszczynski #logic programming #satisfiability #semantics #source code: Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (MT), pp. 175–189.
ICLP-2008-CaropreseT #constraints #declarative #semantics: Declarative Semantics for Active Integrity Constraints (LC, MT), pp. 269–283.
ICLP-2008-TruszczynskiW #composition #logic programming #source code: Relativized Hyperequivalence of Logic Programs for Modular Programming (MT, SW), pp. 576–590.
ICLP-2007-LiuPST #constraints #logic programming #source code: Logic Programs with Abstract Constraint Atoms: The Role of Computations (LL, EP, TCS, MT), pp. 286–301.
ICLP-2007-Truszczynski #information management #logic programming #representation: Logic Programming for Knowledge Representation (MT), pp. 76–88.
CSL-2006-Truszczynski #algebra #logic: Nonmonotonic Logics and Their Algebraic Foundations (MT), pp. 58–71.
KR-2006-Truszczynski #algebra #approach #equivalence: Strong and Uniform Equivalence of Nonmonotonic Theories — An Algebraic Approach (MT), pp. 389–399.
ICLP-2003-LoncT #modelling #set: Computing Minimal Models, Stable Models, and Answer Sets (ZL, MT), pp. 209–223.
SAT-2003-DransfieldMT #satisfiability: Satisfiability and Computing van der Waerden Numbers (MRD, VWM, MT), pp. 1–13.
ICLP-2002-LoncT #modelling #performance #worst-case: Computing Stable Models: Worst-Case Performance Estimates (ZL, MT), pp. 347–362.
KR-2002-DeneckerMT #approximate #information management #representation: Ultimate Approximations in Nonmonotonic Knowledge Representation Systems (MD, VWM, MT), pp. 177–190.
ICLP-2001-LoncT #complexity #logic programming #parametricity #semantics #source code: Fixed-Parameter Complexity of Semantics for Logic Programs (ZL, MT), pp. 197–211.
CL-2000-LoncT #on the #problem #semantics: On the Problem of Computing the Well-Founded Semantics (ZL, MT), pp. 673–687.
KR-2000-DeneckerMT #logic #semantics: Uniform semantic treatment of default and autoepistemic logic (MD, VWM, MT), pp. 74–84.
ICLP-1999-Truszczynski #modelling #scalability: Computing Large and Small Stable Models (MT), pp. 169–183.
CSL-1998-MarekPT #constraints #logic programming: Revision Programming = Logic Programming + Integrity Constraints (VWM, IP, MT), pp. 73–89.
JICSLP-1996-CholewinskiT #logic programming #problem: Extremal Problems in Logic Programming and Stable Model Computation (PC, MT), pp. 408–422.
KR-1996-CholewinskiMT #reasoning: Default Reasoning System DeReS (PC, VWM, MT), pp. 518–528.
ICLP-1995-CholewinskiMMT #reasoning: Experimenting with Nonmonotonic Reasoning (PC, VWM, AM, MT), pp. 267–281.
KR-1991-GelfondPLT: Disjective Defaults (MG, HP, VL, MT), pp. 230–237.
KR-1991-MarekST #logic: Modal Nonmonotonic Logics: Ranges, Characterization, Computation (VWM, GFS, MT), pp. 395–404.
KR-1989-MarekT #logic: Relating Autoepistemic and Default Logics (VWM, MT), pp. 276–288.
NACLP-1989-MarekT #logic programming #semantics #source code: Stable Semantics for Logic Programs and Default Theories (VWM, MT), pp. 243–256.