MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Halina Przymusinska – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

Weakly Stratified Logic Programs
by Halina Przymusinska, Teodor Przymusinski — 1990
…Weakly Stratified Logic Programs Halina Przymusinska Department of Computer Science University…
Cited by 12 (1 self) – Add To MetaCart

Towards a Theory of Elaboration Tolerance: Logic Programming Approach
by Michael Gelfond, Halina Przymusinska — 1995 — Int'l Journal of Software Engineering and Knowledge Engineering
… of Texas at El Paso mgelfond@(email omitted); Halina Przymusinska California State Polytechnic University halina…
Cited by 13 (4 self) – Add To MetaCart

Stationary Default Extensions
by Halina Przymusinska, Teodor Prymusinski — 1992 — Fundamenta Informaticae
…Stationary Default Extensions Halina Przymusinska Department of Computer Science California…
Cited by 20 (0 self) – Add To MetaCart

Reasoning in Open Domains
by Michael Gelfond, Halina Przymusinska — 1993 — In Logic Programming and Non-Monotonic Reasoning
… Paso El Paso, Texas 79968 mgelfond@(email omitted); Halina Przymusinska Computer Science Department…
Cited by 15 (1 self) – Add To MetaCart

Semantic Issues in Deductive Databases and Logic Programs
by Halina Przymusinska, Teodor Przymusinski — 1990 — Formal Techniques in Artificial Intelligence
… Semantic Issues in Deductive Databases and Logic Programs Halina Przymusinska Department…
Cited by 54 (12 self) – Add To MetaCart

On the Relationship Between CWA, Minimal Model and Minimal Herbrand Model Semantics
by Michael Gelfond, Halina Przymusinska, Teodor Przymusinski — 1995 — International Journal of Intelligent Systems
… Gelfond Halina Przymusinska Teodor Przymusinski March 3, 1995 Abstract The purpose of this paper…
Cited by 8 (3 self) – Add To MetaCart

Soundness and Completeness of Partial Deductions for Well-Founded Semantics
by Halina Przymusinska, Teodor Przymusinski, Hirohisa Seki — 1992 — Proc. of the International Conference on Automated Reasoning, LNAI 624
…Soundness and Completeness of Partial Deductions for Well-Founded Semantics Halina Przymusinska…
Cited by 6 (1 self) – Add To MetaCart

LUPS - a language for updating logic programs
by José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski — 2000
… Halina Przymusinska b;c and Teodor C. Przymusinski c a Centro de Intelig^encia Articial, FCT/UNL, P…
Cited by 61 (34 self) – Add To MetaCart

An Exercise with Dynamic Knowledge Representation
by Jose Julio Alferes, Halina Przymusinska, Paulo Quaresma, Luís Moniz Pereira, Teodor C. Przymusinski
… Przymusinska Dept. Computer Science California State Polytechnic Univ. Pomona, CA 91768, USA halina…
Add To MetaCart

Dynamic Knowledge Representation and its Applications
by José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski, Paulo Quaresma — 2000 — In AIMSA'00. Springer LNAI
… Pereira 2 , Halina Przymusinska 3 Teodor C. Przymusinski 4 , and Paulo Quaresma 1;2 1 Dept. de…
Cited by 3 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB