Concepedia

Halina Przymusinska

HP

Statistics

Publications

15

Citations

841

H-Index

13

Active since

1985

Affiliations

The University of Texas at El Paso(Current)

California State Polytechnic University

University of California, Riverside

Halina Przymusinska is an author at The University of Texas at El Paso specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringSemanticsFormal MethodsLanguageLinguisticsComputer ScienceLogic ProgrammingEpistemologyFormal Semantics

Publications per year

1985–2002

15

Publications

15

Dynamic updates of non-monotonic knowledge bases

José Júlio Alferes, João Leite, Luı́s Moniz Pereira et al. · The Journal of Logic Programming · 2000 · 180 citations

Knowledge Base, Distributed Knowledge, Engineering +6

On the relationship between circumscription and negation as failure

Michael Gelfond, Halina Przymusinska, Teodor C. Przymusiński · Artificial Intelligence · 1989 · 154 citations

Formal Semantics, Philosophy Of Language, Syntax +5

LUPS—A language for updating logic programs

José Júlio Alferes, Luı́s Moniz Pereira, Halina Przymusinska et al. · Artificial Intelligence · 2002 · 88 citations

Engineering, Automated Reasoning, Lups—a Language +4

Weakly Perfect Model Semantics for Logic Programs.

Halina Przymusinska, Teodor C. Przymusiński · International Conference on Lightning Protection · 1988 · 76 citations

Engineering, Automated Reasoning, Formal Methods +4

Dynamic Logic Programming.

José Júlio Alferes, João Leite, Luı́s Moniz Pereira et al. · Revista de Estudos Anglo-Portugueses/Journal of Anglo-Portuguese Studies · 1998 · 58 citations · Full text

1–5 of 15