Searching for authors named "Witold Lukaszewicz" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
'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
Showing 1 through 10.
