Pawel Cholewinski

According to our database, Pawel Cholewinski authored at least 8 papers between 1994 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1999

Extremal Problems in Logic Programming and Stable Model Computation.

Pawel Cholewinski, Miroslaw Truszczynski

J. Log. Program., 1999

Computing with Default Logic.

Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski, Artur Mikitiuk

Artif. Intell., 1999

1996

Seminormal Stratified Default Theories.

Pawel Cholewinski

Ann. Math. Artif. Intell., 1996

Default Reasoning System DeReS.

Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Towards Programming in Default Logic.

Pawel Cholewinski

Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

1995

Reasoning with Stratified Default Theories.

Pawel Cholewinski

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Experimenting with Nonmonotonic Reasoning.

Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski

Proceedings of the Logic Programming, 1995

1994

Stratified Default Theories.

Pawel Cholewinski

Proceedings of the Computer Science Logic, 8th International Workshop, 1994