Searching for authors named "Witold Lukaszewicz" – sorted by Relevance.
-
'TOWARDS DISCOURSE-0RIENTED NONMONOTONIC SYSTEM,Barbara Dunin-K~plicz
- 'TOWARDS DISCOURSE-0RIENTED NONMONOTONIC SYSTEM ,Barbara Dunin-K~plicz Witold Lukaszewicz
- Add To MetaCart
-
Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report
- : Preliminary Report* Witold Lukaszewicz and Ewa Madaliriska-Bugaj Abstract We apply Dijkstra's semantics
- Cited by 6 (0 self) – Add To MetaCart
-
General Domain Circumscription and its Effective Reductions
- University S-581 83 Linkoping, Sweden e-mail: patdo@(email omitted); Witold / Lukaszewicz and Andrzej Sza/las z
- Cited by 5 (5 self) – Add To MetaCart
-
Reasoning about plans
- Reasoning about Plans* Witold Lukaszewicz and Ewa Madalinska-Bugaj Abstract In classical planning
- Cited by 1 (0 self) – Add To MetaCart
-
A Reduction Result for Circumscribed Semi-Horn Formulas
- A Reduction Result for Circumscribed Semi-Horn Formulas Patrick Doherty Witold / Lukaszewicz y
- Cited by 8 (8 self) – Add To MetaCart
-
General Domain Circumscription and its First-Order Reduction
- General Domain Circumscription and its First-Order Reduction Patrick Doherty 1? , Witold
- Cited by 5 (5 self) – Add To MetaCart
-
Declarative PTIME Queries for Relational Databases using Quantifier Elimination
- Witold / Lukaszewicz Andrzej Sza/las January 19, 1999 Abstract In this paper, we consider the problem
- Cited by 4 (4 self) – Add To MetaCart
-
Explaining Explanation Closure
- Explaining Explanation Closure Patrick Doherty 1 and Witold / Lukaszewicz 2 and Andzrej Sza
- Cited by 14 (2 self) – Add To MetaCart
-
The PMA and Relativizing Change for Action Update
- Linkoping University S-58183 Linkoping, Sweden patdo@(email omitted); Witold / Lukaszewicz Ewa Madali
- Cited by 15 (5 self) – Add To MetaCart
-
Computing Circumscription Revisited: Preliminary Report
- Science Linkoping University S-581 83 Linkoping, Sweden Witold / Lukaszewicz y Andrzej Sza/las y
- Cited by 12 (8 self) – Add To MetaCart

