Concepedia

Witold Łukaszewicz

WŁ

Statistics

Publications

15

Citations

530

H-Index

12

Active since

1984

Affiliations

Linköping University(Current)

University of Warsaw

University of Computer Sciences and Economics in Olsztyn

Witold Łukaszewicz is an author at Linköping University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningSemanticsReasoningLanguageLinguisticsData ScienceSemantic Web

Publications per year

1984–2005

15

Publications

15

Considerations on default logic: an alternative approach1

Witold Łukaszewicz · Computational Intelligence · 1988 · 154 citations

Applied Logic, Non-classical Logic, Important Properties +11

Computing Circumscription Revisited: A Reduction Algorithm

Patrick Doherty, Witold Łukaszewicz, Andrzej Szałas · Journal of Automated Reasoning · 1997 · 134 citations

Considerations on Default Logic.

Witold Łukaszewicz · Non-Monotonic Reasoning · 1984 · 46 citations

Reasoning, Non-classical Logic, Applied Logic +5

Computing strongest necessary and weakest sufficient conditions of first-order formulas

Patrick Doherty, Witold Łukaszewicz, Andrzej Szałas · 2001 · 33 citations

Towards a framework for approximate ontologies

Patrick Doherty, Michał Grabowski, Witold Łukaszewicz et al. · Fundamenta Informaticae · 2003 · 24 citations

Ontological Analysis, Engineering, Information Retrieval +13

1–5 of 15