V. Wiktor Marek - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 88 from 88

2006

Generating Cellular Puzzles with Logic ProgramsMiroslaw Truszczynski, V. Wiktor Marek, Raphael A. Finkel. icai 2006: 403-407

2004

2003

Uniform semantic treatment of default and autoepistemic logicsMarc Denecker, V. Wiktor Marek, Miroslaw Truszczynski. ai, 143(1):79-122, 2003. [doi]

Satisfiability and Computing van der Waerden NumbersMichael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski. sat 2004: 1-13 [doi]

On the expressibility of stable logic programmingV. Wiktor Marek, Jeffrey B. Remmel. tplp, 3(4-5):551-567, 2003.

2002

Ultimate Approximations in Nonmonotonic Knowledge Representation SystemsMarc Denecker, V. Wiktor Marek, Miroslaw Truszczynski. kr 2002: 177-190

Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint ProblemsRaphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski. jelia 2002: 513-516 [doi]

Annotated revision programsV. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski. ai, 138(1-2):149-180, 2002. [doi]

2001

2000

Uniform semantic treatment of default and autoepistemic logicMarc Denecker, V. Wiktor Marek, Miroslaw Truszczynski. kr 2000: 74-84

1999

Computing with Default LogicPawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski, Artur Mikitiuk. ai, 112(1-2):105-146, 1999. [doi]

Contributions to the Theory of Rough SetsV. Wiktor Marek, Miroslaw Truszczynski. FUIN, 39(4):389-409, 1999.

Annotated Revision ProgramsV. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski. lpnmr 1999: 49-62 [doi]

Logic Programs, Well-Orderings, and Forward ChainingV. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel. APAL, 96(1-3):231-276, 1999.

1998

1997

1996

1995

The Expressiveness of Locally Stratified ProgramsHoward A. Blair, V. Wiktor Marek, John S. Schlipf. AMAI, 15(2):209-229, 1995.

Algorithms for Maintaining Authorization BasesWilliam Brooks, V. Wiktor Marek, Miroslaw Truszczynski. oois 1995: 99-110

Experimenting with Nonmonotonic ReasoningPawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski. ICLP 1995: 267-281

Revision Programming, Database Updates and Integrity ConstraintsV. Wiktor Marek, Miroslaw Truszczynski. icdt 1995: 368-382 [doi]

On Logical Constraints in Logic ProgrammingV. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel. lpnmr 1995: 43-56

Complexity of Normal Default Logic and Related Modes of Nonmonotonic ReasoningV. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel. lics 1995: 178-185

Complexity of Computing with Extended Propositional Logic ProgramsV. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski. AMAI, 15(3-4):357-378, 1995.

1994

1993

1992

The Pure Logic of NecessitationMelvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski. logcom, 2(3):349-373, 1992.

More on modal aspects of default logicV. Wiktor Marek, Miroslaw Truszczynski. FUIN, 17(1-2):99-116, 1992.

The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic ProgramsV. Wiktor Marek, V. S. Subrahmanian. TCS, 103(2):365-386, 1992.

How Complicated is the Set of Stable Models of a Recursive Logic Program?V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel. APAL, 56(1-3):119-135, 1992.

A Theory of Nonmonotonic Rule Systems IIV. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel. AMAI, 5(2-4):229-263, 1992.

Rule Systems and Well-OrderingsV. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel. ICLP 1992: 69-92

The Stable Models of a Predicate Logic ProgramV. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel. ICLP 1992: 446-460

Complexity of Computing with Extended Propositional Logic ProgramsV. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski. ICLP 1992: 93-102

1991

Normal Form Results for Default LogicV. Wiktor Marek, Miroslaw Truszczynski. nil 1993: 270-283

Computing Intersection of Autoepistemic ExpansionsV. Wiktor Marek, Miroslaw Truszczynski. lpnmr 1991: 37-50

Modal Nonmonotonic Logics: Ranges, Characterization, ComputationV. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski. kr 1991: 395-404

Autoepistemic LogicV. Wiktor Marek, Miroslaw Truszczynski. JACM, 38(3):588-619, 1991. [doi]

1990

Ranges of Strong Modal Nonmonotonic LogicsV. Wiktor Marek, Grigori Schwarz, Miroslaw Truszczynski. nil 1991: 85-99

Modal Logic for Default ReasoningV. Wiktor Marek, Miroslaw Truszczynski. AMAI, 1:275-302, 1990.

A Theory of Nonmonotonic Rule Systems IV. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel. AMAI, 1:241-273, 1990.

A Theory of Nonmonotonic Rule SystemsV. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel. lics 1990: 79-94

1989

Relating Autoepistemic and Default LogicsV. Wiktor Marek, Miroslaw Truszczynski. kr 1989: 276-288

Stable Semantics for Logic Programs and Default TheoriesV. Wiktor Marek, Miroslaw Truszczynski. SLP 1989: 243-256

The Relationship Between Logic Program Semantics and Non-Monotonic ReasoningV. Wiktor Marek, V. S. Subrahmanian. ICLP 1989: 600-617

On the Classification and Existence of Structures in Default LogicAidong Zhang, V. Wiktor Marek. epia 1989: 129-140

1988

A Natural Semantics for Modal Logic Over DatabasesV. Wiktor Marek. TCS, 56:187-209, 1988.

Book review: The Art of Prolog Advanced Programming Techniques by L. Sterling and E. Shapiro (The MIT Press)V. Wiktor Marek. sigart, 105:12, 1988. [doi]

1987

Investigating Logical Properties of the Rule-Based Expert Systems Using Combinatorial and Geometrical Techniques IJerzy W. Jaromczyk, V. Wiktor Marek. ismis 1987: 96-106

Book review: Combinatorics, Set Systems, Hypergraphs, Families of Vectors and Combinatorial Probability by B. Bollobas (Cambridge University Press)V. Wiktor Marek. sigart, 101:14, 1987. [doi]

1986

Approximating Sets with Equivalence RelationsV. Wiktor Marek, Helena Rasiowa. TCS, 48(3):145-152, 1986.

Completeness and Consistency in Knowledge Base SystemsV. Wiktor Marek. treds 1986: 119-126

Executing Temporal Logic Programs by Ben MoszkowskiV. Wiktor Marek. sigart, 98:15, 1986. [doi]

Approximating sets with equivalence relationsV. Wiktor Marek, Helena Rasiowa. ismis 1986: 190-200 [doi]

1984

A Natural Semantics for Modal Logic over Databases and Model-Theoretic ForcingV. Wiktor Marek. lpnmr 1984: 194-240

1982

On Some σ-Algebras Containing the Projective Sets ICarlos A. Di Prisco, V. Wiktor Marek. mlq, 28(33-38):525-538, 1982. [doi]

1979

Information systems: on queries involving cardinalitiesWitold Lipski Jr., V. Wiktor Marek. is, 4(1):241-246, 1979.

1976

Information Storage and Retrieval Systems: Mathematical FoundationsV. Wiktor Marek, Zdzislaw Pawlak. TCS, 1(4):331-354, 1976.

1975

-V. Wiktor Marek, M. Srebrny. mlq, 21(1):225-228, 1975. [doi]

1974

File Organization, An Application of Graph TheoryWitold Lipski Jr., V. Wiktor Marek. icalp 1974: 270-279

1973

On Transitive Models for Fragments of Set TheoryV. Wiktor Marek, M. Srebrny. bapmam, 21(5):389-392, 1973.

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'V. Wiktor Marek'

Viewing Publication 1 - 88 from 88

2006

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992

1991

1990

1989

1988

1987

1986

1984

1982

1979

1976

1975

1974

1973

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'V. Wiktor Marek'

Viewing Publication 1 - 88 from 88

2006

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992

1991

1990

1989

1988

1987

1986

1984

1982

1979

1976

1975

1974

1973

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1