BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Czech Republic
1 × France
1 × Japan
2 × Italy
8 × USA
Collaborated with:
M.Truszczynski A.Nerode J.B.Remmel M.Denecker P.Cholewinski W.L.Jr. M.R.Dransfield I.Pivkina J.Dix G.Gottlob G.F.Shvarts A.Mikitiuk
Talks about:
logic (8) nonmonoton (5) program (5) default (5) theori (3) system (3) reason (3) autoepistem (2) complex (2) semant (2)

Person: V. Wiktor Marek

DBLP DBLP: Marek:V=_Wiktor

Contributed to:

SAT 20032003
KR 20022002
KR 20002000
CSL 19981998
KR 19961996
LICS 19961996
ICLP 19951995
LICS 19951995
ICLP 19941994
JICSLP 19921992
KR 19911991
LICS 19901990
KR 19891989
NACLP 19891989
ICALP 19741974

Wrote 15 papers:

SAT-2003-DransfieldMT #satisfiability
Satisfiability and Computing van der Waerden Numbers (MRD, VWM, MT), pp. 1–13.
KR-2002-DeneckerMT #approximate #information management #representation
Ultimate Approximations in Nonmonotonic Knowledge Representation Systems (MD, VWM, MT), pp. 177–190.
KR-2000-DeneckerMT #logic #semantics
Uniform semantic treatment of default and autoepistemic logic (MD, VWM, MT), pp. 74–84.
CSL-1998-MarekPT #constraints #logic programming
Revision Programming = Logic Programming + Integrity Constraints (VWM, IP, MT), pp. 73–89.
KR-1996-CholewinskiMT #reasoning
Default Reasoning System DeReS (PC, VWM, MT), pp. 518–528.
LICS-1996-MarekNR #abduction #complexity #on the
On the Complexity of Abduction (VWM, AN, JBR), pp. 513–522.
ICLP-1995-CholewinskiMMT #reasoning
Experimenting with Nonmonotonic Reasoning (PC, VWM, AM, MT), pp. 267–281.
LICS-1995-MarekNR #complexity #logic #reasoning
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning (VWM, AN, JBR), pp. 178–185.
ICLP-1994-DixGM #logic programming #modelling #source code
Causal Models of Disjunctive Logic Programs (JD, GG, VWM), pp. 290–302.
JICSLP-1992-MarekNR #logic programming #modelling
The Stable Models of a Predicate Logic Program (VWM, AN, JBR), pp. 446–460.
KR-1991-MarekST #logic
Modal Nonmonotonic Logics: Ranges, Characterization, Computation (VWM, GFS, MT), pp. 395–404.
LICS-1990-MarekNR #formal method
A Theory of Nonmonotonic Rule Systems (VWM, AN, JBR), pp. 79–94.
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.
ICALP-1974-LipskiM #graph
File Organization, An Application of Graph Theory (WLJ, VWM), pp. 270–279.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.